FUB Production systems and ontologies integration via Transaction Logic with Partially Defined Actions

From ONTORULE Show Case

Jump to: navigation, search


The main contribution of this work is three-fold:

  • a new semantics for production systems augmented with DL ontologies that includes looping-rules, and can handle inconsistency;
  • a sound embedding of the combination of PS and rule-based ontologies into Transaction Logic with partially defined actions (abbr., TR-PAD), which provides a model-theoretic semantics to the combination;
  • an extension of TR-PAD with default negation under a variant of the well-founded semantics for TR-PAD.

The present formalization is significantly more general than RIF-PRD or other existing formalizations of production rules in that it supports wider ontology integration and covers important extensions that exist in commercial systems such as the aforesaid FOR-loop.

Corresponding results are reported in Deliverable 3.4

Retrieved from "http://ontorule-project.eu/showcase/FUB_Production_systems_and_ontologies_integration_via_Transaction_Logic_with_Partially_Defined_Actions"
Facts about FUB Production systems and ontologies integration via Transaction Logic with Partially Defined ActionsRDF feed
Component Description The component consists of: (i) a new semantics for production systems augmented with DL ontologies that includes looping-rules, and and can handle inconsistency; (ii) a sound embedding of the combination of PS and rule-based ontologies into the TR-PAD transaction logic; and (iii) an extension of TR-PAD with default negation.
Component Name Production systems and ontologies integration via Transaction Logic with Partially Defined Actions  +
Implementing Vendor Universita Libera di Bolzano  +
sitemap