Skip to main content
SpringerLink
Log in

Formalizing Production Systems with Rule-Based Ontologies

  • Conference paper
Foundations of Information and Knowledge Systems (FoIKS 2012)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 7153))

Abstract

In this paper we proposed a new semantics for the combination of production systems with arbitrary DL ontologies. Unlike previous approaches, the semantics presented here allow looping rules and can handle inconsistencies produced by the interaction of the rule actions and the ontology. We also define a sound embedding of such semantics, restricted to rule-based DL Ontologies, into Transaction Logic with partial action definitions (\(\mathcal{TR}^{PAD}\)). This reduction adds a declarative semantics to the combination. To model production systems in \(\mathcal{TR}^{PAD}\), we extend \(\mathcal{TR}^{PAD}\) with default negation and define the well-founded semantics for it.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Anicic, D., Fodor, P., Stühmer, R., Stojanovic, N.: An approach for data-driven logic-based complex event processing. In: The 3rd ACM International Conference on Distributed Event-Based Systems, DEBS (2009)

    Google Scholar 

  2. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The dl-lite family and relations. Journal of Artificial Intelligence Research (JAIR) 36, 1–69 (2009)

    MathSciNet  MATH  Google Scholar 

  3. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook. Cambridge University Press (2003)

    Google Scholar 

  4. Baral, C., Lobo, J.: Characterizing production systems using logic programming and situation calculus (1995), http://www.public.asu.edu/~cbaral/papers/char-prod-systems.ps

  5. Bonner, A., Kifer, M.: Transaction logic programming. In: Proc. of International Conference on Logic Programming (ICLP), Budapest, Hungary, pp. 257–282. MIT Press (June 1993)

    Google Scholar 

  6. Bonner, A., Kifer, M.: Transaction logic programming (or a logic of declarative and procedural knowledge). Technical Report CSRI-323, University of Toronto (November 1995), http://www.cs.sunysb.edu/~kifer/TechReports/transaction-logic.pdf

  7. Bonner, A.J., Kifer, M.: A logic for programming database transactions. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, ch. 5, pp. 117–166. Kluwer Academic Publishers (March 1998)

    Google Scholar 

  8. Bonner, A.J., Kifer, M.: Applications of Transaction Logic to Knowledge Representation. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS, vol. 827, pp. 67–81. Springer, Heidelberg (1994)

    Chapter  Google Scholar 

  9. Calvanese, D., Kharlamov, E., Nutt, W., Zheleznyakov, D.: Evolution of DL − Lite Knowledge Bases. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 112–128. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  10. Damásio, C.V., Alferes, J.J., Leite, J.: Declarative Semantics for the Rule Interchange Format Production Rule Dialect. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 798–813. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  11. Davulcu, H., Kifer, M., Ramakrishnan, C.R., Ramakrishnan, I.V.: Logic based modeling and analysis of workflows. In: PODS, pp. 25–33 (1998)

    Google Scholar 

  12. Davulcu, H., Kifer, M., Ramakrishnan, I.V.: Ctr-s: a logic for specifying contracts in semantic web services. In: WWW, pp. 144–153 (2004)

    Google Scholar 

  13. 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)

    Chapter  Google Scholar 

  14. de Sainte Marie, C., Hallmark, G., Paschke, A.: Rif production rule dialect (2010), http://www.w3.org/TR/rif-prd/

  15. Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, pp. 995–1072. Elsevier (1995)

    Google Scholar 

  16. Fodor, P., Kifer, M.: Transaction logic with defaults and argumentation theories. In: ICLP (Technical Communications), pp. 162–174 (2011)

    Google Scholar 

  17. Heymans, S., Eiter, T., Xiao, G.: Tractable reasoning with dl-programs over datalog-rewritable description logics. In: European Conference on Artificial Intelligence, pp. 35–40 (2010)

    Google Scholar 

  18. Horrocks, I.: Ontologies and the semantic web. Commun. ACM 51, 58–67 (2008)

    Article  Google Scholar 

  19. I. JRules, http://www.ibm.com/software/integration/business-rule-management/jrules-family/

  20. Kowalski, R., Sadri, F.: Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. In: Polleres, A., Swift, T. (eds.) RR 2009. LNCS, vol. 5837, pp. 1–23. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  21. Lausen, G., Ludäscher, B., May, W.: On Active Deductive Databases: The Statelog Approach. In: Kifer, M., Voronkov, A., Freitag, B., Decker, H. (eds.) Dagstuhl Seminar 1997, DYNAMICS 1997, and ILPS-WS 1997. LNCS, vol. 1472, pp. 69–106. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  22. Pearce, D., Wagner, G.: Logic Programming with Strong Negation. In: Eriksson, L.-H., Hallnäs, L., Schroeder-Heister, P. (eds.) ELP 1991. LNCS, vol. 596, pp. 311–326. Springer, Heidelberg (1992)

    Google Scholar 

  23. Raschid, L.: A semantics for a class of stratified production system programs. J. Log. Program. 21(1), 31–57 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  24. Rezk, M., Kifer, M.: Formalizing production systems with rule-based ontolgies (2011), http://www.inf.unibz.it/~mrezk/techreportTRPS.pdf

  25. Rezk, M., Kifer, M.: Reasoning with Actions in Transaction Logic. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol. 6902, pp. 201–216. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  26. Rezk, M., Nutt, W.: Combining Production Systems and Ontologies. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol. 6902, pp. 287–293. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  27. Roman, D., Kifer, M.: Reasoning about the behavior of semantic web services with concurrent transaction logic. In: VLDB, pp. 627–638 (2007)

    Google Scholar 

  28. Roman, D., Kifer, M.: Semantic Web Service Choreography: Contracting and Enactment. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 550–566. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  29. Van Gelder, A., Ross, K., Schlipf, J.: The well-founded semantics for general logic programs. Journal of the ACM 38(3), 620–650 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  30. Winslett, M.: Updating logical databases. Cambridge University Press, New York (1990)

    Book  MATH  Google Scholar 

  31. Zaniolo, C.: A unified semantics for active and deductive databases. In: Workshop on Rules In Database Systems (RIDS 1993), pp. 271–287. Springer, Heidelberg (1993)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. KRDB Research Center, Free University of Bozen-Bolzano, Bolzano, Italy

    Martín Rezk

  2. Department of Computer Science, Stony Brook University, NY, 11794-4400, U.S.A.

    Michael Kifer

Authors
  1. Martín Rezk
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Kifer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK

    Thomas Lukasiewicz

  2. Alfréd Rényi Institute, Hungarian Academy of Sciences, Reáltanoda utca 13-15, 1053, Budapest, Hungary

    Attila Sali

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rezk, M., Kifer, M. (2012). Formalizing Production Systems with Rule-Based Ontologies. In: Lukasiewicz, T., Sali, A. (eds) Foundations of Information and Knowledge Systems. FoIKS 2012. Lecture Notes in Computer Science, vol 7153. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28472-4_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-28472-4_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-28471-7

  • Online ISBN: 978-3-642-28472-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation