FUB Generalized Ontology-based Production Systems

From ONTORULE Show Case

The main result presented in this work is twofold. On the one hand, it provides a very general framework for the combination of ontologies and production systems. On the other hand, it defines specific systems combining production rules and ontologies and effective algorithms for the static analysis of such systems.

A generalized ontology-based production systems (GOPSs) is defined, which formalize a very general and powerful combination of ontologies and production systems. It has been proved that GOPSs captures and generalizes many existing formal notions of production systems. A powerful verification query language for GOPSs is introduced, which is able to express the most relevant formal properties of production systems previously considered in the literature. A general sufficient condition for the decidability of answering verification queries over GOPSs is presented. As for the second of the above goals. Specifically, Lite-GOPSs, a particular class of GOPSs based on the use of a light-weight ontology language (DL-Lite_A), a light-weight ontology query language (EQL-Lite(UCQ)), and a tractable semantics for updates over Description Logic ontologies are presented. Decidability has been proved of all the above verification tasks over Lite-GOPSs, and also tractability of some of such tasks.

Corresponding results are reported in Deliverable 3.4