Cited By
View all- Eiter TFeier CFink M(2012)Simulating production rules using ACTHEXCorrect Reasoning10.5555/2363344.2363359(211-228)Online publication date: 1-Jan-2012
Formalizing production systems with rule-based ontologies
Pages 332 - 351
Abstract
In this paper we proposed a new semantics for the combination of production systems with arbitraryDL 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 (ΤRPAD). This reduction adds a declarative semantics to the combination. To model production systems in ΤRPAD, we extend ΤRPAD with default negation and define the well-founded semantics for it.
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)
[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)
[3]
Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D., Patel-Schneider, P. F. (eds.): The Description Logic Handbook. Cambridge University Press (2003)
[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)
[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)
[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)
[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)
[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)
[11]
Davulcu, H., Kifer, M., Ramakrishnan, C. R., Ramakrishnan, I. V.: Logic based modeling and analysis of workflows. In: PODS, pp. 25-33 (1998)
[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)
[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)
[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)
[16]
Fodor, P., Kifer, M.: Transaction logic with defaults and argumentation theories. In: ICLP (Technical Communications), pp. 162-174 (2011)
[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)
[18]
Horrocks, I.: Ontologies and the semantic web. Commun. ACM 51, 58-67 (2008)
[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)
[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)
[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)
[23]
Raschid, L.: A semantics for a class of stratified production system programs. J. Log. Program. 21(1), 31-57 (1994)
[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)
[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)
[27]
Roman, D., Kifer, M.: Reasoning about the behavior of semantic web services with concurrent transaction logic. In: VLDB, pp. 627-638 (2007)
[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)
[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)
[30]
Winslett, M.: Updating logical databases. Cambridge University Press, New York (1990)
[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)
Index Terms
- Formalizing production systems with rule-based ontologies
Index terms have been assigned to the content through auto-classification.
Recommendations
Query-Driven Procedures for Hybrid MKNF Knowledge Bases
Hybrid MKNF knowledge bases are one of the most prominent tightly integrated combinations of open-world ontology languages with closed-world (nonmonotonic) rule paradigms. Based on the logic of minimal knowledge and negation as failure (MKNF), the ...
Description logic programs: combining logic programs with description logic
WWW '03: Proceedings of the 12th international conference on World Wide WebWe show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a ...
Hybrid rules with well-founded semantics
A general framework is proposed for integration of rules and external first-order theories. It is based on the well-founded semantics of normal logic programs and inspired by ideas of Constraint Logic Programming (CLP) and constructive negation for ...
Comments
Information & Contributors
Information
Published In
Sponsors
- Artificial Intelligence Journal by Elsevier, The Netherlands: Artificial Intelligence Journal by Elsevier, The Netherlands
- EATCS: European Association for Theoretical Computer Science
- ASL: Association for Symbolic Logic
- Digitale Wirtschaft Schleswig-Holstein: Digitale Wirtschaft Schleswig-Holstein
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 05 March 2012
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 30 Aug 2024
Other Metrics
Citations
Cited By
View all- Eiter TFeier CFink M(2012)Simulating production rules using ACTHEXCorrect Reasoning10.5555/2363344.2363359(211-228)Online publication date: 1-Jan-2012