Advertisement

Combining Production Systems and Ontologies

  • Martín Rezk
  • Werner Nutt
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6902)

Abstract

Production systems are an established paradigm in knowledge representation, while ontologies are widely used to model and reason about the domain of an application. Description logics, underlying for instance the Web ontology language OWL, are a well-studied formalism to express ontologies. In this work we combine production systems (ps) and Description Logics (dl) in such a way that allows one to express both, facts and rules, using an ontology language.

We explore the space of design options for combining the traditional closed world semantics of PS with the open world semantics of dl and propose a generic semantics for such combination. We show how to encode our semantics in a fixpoint extension of first-order logic. We show that in special cases (monotonic and light ps) checking properties of the system such as termination is decidable.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  2. 2.
    Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-lite family. J. of Automated Reasoning 39(3), 385–429 (2007)CrossRefzbMATHGoogle Scholar
  3. 3.
    de Bruijn, J., Rezk, M.: A logic based approach to the static analysis of production systems. In: Polleres, A., Swift, T. (eds.) RR 2009. LNCS, vol. 5837, pp. 254–268. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  4. 4.
    De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On instance-level update and erasure in description logic ontologies. J. Log. and Comput. 19, 745–770 (2009)CrossRefzbMATHGoogle Scholar
  5. 5.
    Forgy, C.: Rete: A fast algorithm for the many patterns/many objects match problem. Artif. Intell. 19(1), 17–37 (1982)CrossRefGoogle Scholar
  6. 6.
    Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating Description Logic ABoxes. In: Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 46–56 (2006)Google Scholar
  7. 7.
    Rezk, M., de Bruijn, J., Nutt, W.: Combining production systems and ontologies. Technical report, Free University of Bolzano (2011), http://www.inf.unibz.it/~mrezk/techreportPOS.pdf

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Martín Rezk
    • 1
  • Werner Nutt
    • 1
  1. 1.KRDB Research Centre, Faculty of Computer ScienceFree University of Bozen-BolzanoItaly

Personalised recommendations