Presentations and Publications

Overview Presentations
Application: Finance including Financial Risk Management
Application: Intelligence, Defense, and Security
Application: Decision Management
Application: Health Care
Probabilistic Reasoning
Semantic Web
Ontologies
Standards
Research

Overview Presentations

“New Wave KRR: Rulelog-based Deep Reasoning with NLP for Financial Regulatory Compliance and More” (30-minute presentation) by Benjamin Grosof.  Keynote presented at the International Joint Conference on AI (IJCAI-16) Industry Day, New York, NY, July 15, 2016.  (Audience of several hundred.)

 

“Advanced Decision Analytics via Decision Analysis on Diverse Data: For Health Care and More” (30-minute presentation) by Benjamin Grosof and Janine Bloomfield, presented at DecisionCAMP 2016, July 8, 2016, Stony Brook, NY.  Video of the presentation is to the right including a demo of Ergo in the health care domain beginning at 10:40.

  “The Power of Deep Reasoning with Large Graph Data” (45-minute presentation) by Benjamin Grosof and Janine Bloomfield, presented at Smart Data Conference 2015, August 18-20, San Jose, CA.

“Explanation-based E-Learning for Business Decision Making and Education” by Benjamin Grosof and Janine Bloomfield.  Presented at DecisionCAMP 2014, October 14, 2014, San Jose California.

“Bringing Coherence to Cognition: Flexible Semantics, Deep Reasoning, and Explanations” (5 minute, ‘lightning talk’) by Benjamin Grosof and Janine Bloomfield.  Presented at the Cognitive Computing Forum, August 20, 2014, and at the Semantic Technology & Business Conference 2014, August 19, 2014, both in San Jose, California.

Data Science

“Rulelog: What the New Advances in Logic-Based AI Can Do for Data Science” by Benjamin Grosof.  Presented at Seattle Data Science meetup, February 24, 2016, Seattle, Washington.

Note:  Ergo Suite was formerly named Episto; some presentations and publications on this page still refer to Episto.

Audience Specific Presentations

Finance including Financial Risk Management

Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog by Benjamin Grosof, Janine Bloomfield, Paul Fodor, Michael Kifer, Isaac Grosof, Miguel Calejo, and Theresa Swift.  Presented (slides for 15 minute talk) at the 9th International Web Rule Symposium (RuleML-2015), August 5, 2015, Berlin, Germany.

Detailed Explanations in English of Rich Reasoning, for E-Learning and Compliance (30 minute presentation) by Benjamin Grosof and Janine Bloomfield.  Presented at the Semantic Technology & Business Conference 2014, August 21, 2014, San Jose, California.

“Thoughts on Rules for the FIBO Effort” (30-min. kickoff + outbrief presentation for Rules Area).  By Benjamin Grosof.  FIBO (Financial Industry Business Ontology) Summit, at Semantic Technology & Business Conference (SemTechBiz SF), San Francisco, CA, June 4, 2013.

  • Brief overview (5-slides) of rules for financial risk management
  • Supplemental example of representing financial regulatory rules in Rulelog – Regulation W: Definitional rules about what are affiliate companies of a bank.
  • Additional examples on contracts and financial reporting in Rulelog
  • Outbrief Summary of Rules Area (1-slide).  By Benjamin Grosof (facilitator), Elie Abi-Lahoud (scribe), David Newman (Summit co-chair), and Dennis Wisnosky Summit co-chair). June 5, 2013.

About the FIBO (Financial Business Industry Ontology) Summit:

Intelligence, Defense, and Security

“Highly Expressive yet Scalable Knowledge for Intelligence, Defense, and Security” by Benjamin Grosof. Keynote presentation at STIDS 2013 conference (Semantic Technology for Intelligence, Defense, and Security), Fairfax, VA, November 13, 2013.

Decision Management

“Making Very Expressive Rules Practical in Logic and Text” by Benjamin Grosof. Invited talk at the Decision CAMP 2013 conference on decision management, November 5, 2013, San Jose, CA.

Health Care

“Advanced Decision Analytics via Deep Reasoning on Diverse Data: For Health Care and More” by Benjamin Grosof and Janine Bloomfield.  (slides for 35-min. presentation). Presented at DecisionCAMP 2016, July 8, 2016.

“Rulelog as Theoretical Foundation for Universal Health Exchange Language.”  By Benjamin Grosof.  (slides for 20-min. presentation).  Universal Health Exchange Language Workshop, Encinitas, CA, June 25, 2013.

Probabilistic Reasoning (key for integrating machine learning)

Probabilistic reasoning is critical for integrating knowledge from machine learning with other knowledge. The following papers, co-authored by Teri Swift of the Coherent team, treat some of the key technical aspects of Coherent’s approach to probabilistic reasoning. These papers were written for a research audience.

Probabilistic Logic Programming Under the Distribution Semantics by Fabrizio Riguzzi and Terrance Swift (preliminary version). (2014). To appear in a book of collected papers that is a Festschrift in honor of David S. Warren, based on the 2012 symposium “Declarative Logic Programming: Theory, Systems, and Applications”, ed. Michael Kifer and Annie Liu. Surveys and integrates work on techniques for combining deep probabilistic reasoning with declarative logic programs, and thus with Rulelog.

Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics by Fabrizio Riguzzi and Terrance Swift. Theory and Practice of Logic Programming 13(2): 279-302 (2013). Preliminary Version appeared in Italian Conference on Computational Logic (2010).

The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty by Fabrizio Riguzzi and Terrance Swift Theory and Practice of Logic Programming 11(4-5). pp. 433-449. (2011) and presented at International Conference on Logic Programming.

Note: Theresa (Teri) Swift was formerly known as Terrance (Terry) Swift.

Semantic Web

“The Power of Deep Reasoning with Large Graph Data” (45-minute presentation) by Benjamin Grosof and Janine Bloomfield, presented at Smart Data Conference 2015, August 18-20, 2015, San Jose, CA.

“The Power of Deep Reasoning with Large Graph Data – with bonus technology drill downs” by Benjamin Grosof and Janine Bloomfield, presented at Seattle Semantic Technology and Smart Data Meetup, October 28, 2015.

“Acquiring Rich Knowledge from Text”  (45-minute presentation) by Benjamin Grosof and Paul Haley, from the Semantic Technology & Business Conference (SemTechBiz SF), June 3, 2013.  Accompanying that presentation is a mini-demo video of authoring Rulelog-type logical knowledge from an English sentence using Automata Inc.’s Linguist™ software. Overall, the presentation includes a case study as well as some medium-level technical details about a research prototype of our core technology.

Ontologies

Standards

Rulelog is in process of industry standardization via RuleML and W3C:

  • RIF-Rulelog specification, version of of May 24, 2013, Michael Kifer, ed.   RIF-Rulelog is a powerful dialect of W3C Rule Interchange Format (RIF) that is in draft as a submission from RuleML to W3C.

Several industry standards in the areas are based heavily on our team’s contributions to the authoring/editing of the specifications and conducting the underlying research and earlier-phase standards design. These include most notably  the two most important industry standards on rules knowledge:

  • W3C Rule Interchange Format (RIF), which is primarily based on the RuleML standards design (semantic web rules)
  • W3C OWL 2 RL Profile (rule-based web ontologies)

The team has also contributed to the development of W3C SPARQL and ISO Common Logic, and been strongly involved in other related standardization efforts at OMG and Oasis.

Research

Key research papers and presentations about Coherent’s technology:

Research open-source software:

  • Flora-2 is an open-source semantic rule system that implements reasoning in a subset of the logic Rulelog.  Coherent’s Ergo Suite platform product much extends, and matures, the functionality of Flora-2. Coherent contributes to maintaining Flora-2, in order to help researchers.

Our team has published dozens of other research papers and presentations in the area of our core technology and its applications. Many of these are available via the project website of the SILK research effort which prototyped the logical portion of our core technology.   For more, see the team members’ individual websites.