Generalized ontology-based production systems

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2012, Pages 435-445

  Rosati, Riccardo ^a   Franconi, Enrico ^b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; DATA DESCRIPTION; KNOWLEDGE REPRESENTATION; QUERY LANGUAGES; SEMANTICS;

DESCRIPTION LOGIC; FORMAL PROPERTIES; LIGHT WEIGHT; ONTOLOGY LANGUAGE; ONTOLOGY QUERY; ONTOLOGY-BASED; PRODUCTION SYSTEM; VERIFICATION TASK;

ONTOLOGY;

EID: 84878291862     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P. F., eds. 2003. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press.
2. Baral, C, and Lobo, J. 1995. Characterizing production systems using logic programming and situation calculus. http://www.public.asu.edu/~cbaral/ papers/char-prod-systems.ps.
3. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2007a. EQL-Lite: Effective first-order query processing in description logics. In Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI2007), 274-279.
4. Calvanese, D.; De Giacomo, G; Lembo, D.; Lenzerini, M.; and Rosati, R. 2007b. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. Journal of Automated Reasoning 39(3):385-429.
5. Calvanese, D.; Kharlamov, E.; Nutt, W.; and Zheleznyakov, D. 2010. Evolution of DL-Lite knowledge bases. In Proceedings of the Ninth International Semantic Web Conference (ISWC 2010), Volume 6496 of Lecture Notes in Computer Science, 112-128. Springer.
6. Calvanese, D.; De Giacomo, G; and Lenzerini, M. 1998. On the decidability of query containment under constraints. In Proceedings of the Seventeenth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'98), 149-158.
7. Cangialosi, P.; De Giacomo, G; De Masellis, R.; and Rosati, R. 2010. Conjunctive artifact-centric services. In Proceedings of the Eighth International Joint Conference on Service Oriented Computing (ICSOC 2010), Volume 6470 of Lecture Notes in Computer Science, 318-333. Springer.
8. Damasio, C. V.; Alferes, J. J.; and Leite, J. 2010. Declarative semantics for the rule interchange format production rule dialect. In Proceedings of the Ninth International Semantic Web Conference (ISWC 2010), 798-813.
9. de Bruijn, J., and Rezk, M. 2009. A logic based approach to the static analysis of production systems. In Proceedings of the Third International Conference on Web Reasoning and Rule Systems (RR 2009), 254-268.
10. De Giacomo, G; Lenzerini, M.; Poggi, A.; and Rosati, R. 2009. On instance-level update and erasure in description logic ontologies. Journal of Logic and Computation, Special Issue on Ontology Dynamics 19(5):745-770.
11. de Sainte Marie, C.; Hallmark, G.; and Paschke, A. (editors) 2010. RIF production rule dialect. W3C Recommendation, http://www.w3.org/TR/rif-prd/.
12. Emerson, E. A. 1996. Model checking and the mu-calculus. In Descriptive Complexity and Finite Models, 185-214.
13. Glimm, B. 2011. Using sparql with rdfs and owl entailment. In Reasoning Web 2011, Volume 6848 of Lecture Notes in Computer Science, 137-201.
14. Kowalski, R., and Sadri, F. 2009. Integrating logic programming and production systems in abductive logic programming agents. In Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems, RR '09, 1-23. Springer-Verlag.
15. Lenzerini, M., and Savo, D. F. 2011. On the evolution of the instance level of DL-Lite knowledge bases. In Proceedings of the Twentyfourth International Workshop on Description Logic (DL 2011), Volume 745 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/.
16. Levesque, H. J., and Lakemeyer, G. 2001. The Logic of Knowledge Bases. The MIT Press.
17. Levesque, H. J. 1984. Foundations of a functional approach to knowledge representation. Artificial Intelligence 23:155-212.
18. Levy, A. Y., and Rousset, M.-C. 1998. Combining Horn rules and description logics in CARIN. Artificial Intelligence 104(1-2):165-209.
19. Liu, H.; Lutz, C.; Milicic, M.; and Wolter, F. 2006. Updating description logic ABoxes. In Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006), 46-56.
20. Liu, H.; Lutz, C.; Milicic, M.; and Wolter, F. 2011. Foundations of instance level updates in expressive description logics. Artif. Intell. 175(18):2170-2197.
21. Lunardhi, A. D., and Passino, K. M. 1995. Verification of qualitative properties of rule-based expert systems. Applied Artificial Intelligence 9(6):587-621.
22. Lutz, C. 2007. Inverse roles make conjunctive queries hard. In Proceedings of the Twentieth International Workshop on Description Logic (DL 2007), Volume 250 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/, 100-111.
23. Lutz, C. 2008. The complexity of conjunctive query answering in expressive description logics. In Proceedings of the Fourth International Joint Conference on Automated Reasoning (IJCAR 2008), Volume 5195 of Lecture Notes in Artificial Intelligence, 179-193. Springer.
24. Poggi, A.; Lembo, D.; Calvanese, D.; De Giacomo, G.; Lenzerini, M.; and Rosati, R. 2008. Linking data to ontologies. Journal on Data Semantics X:133-173.
25. Raschid, L. 1994. A semantics for a class of stratified production system programs. J. Log. Program. 21(1):31-57.
26. Rezk, M., and Nutt, W. 2011. Combining production systems and ontologies. In Proceedings of the Fifth International Conference on Web Reasoning and Rule Systems (RR 2011), 287-293.
27. Rosati, R. 2007. The limits of querying ontologies. In Proceedings of the Eleventh International Conference on Database Theory (ICDT 2007), Volume 4353 of Lecture Notes in Computer Science, 164-178. Springer.
28. Sirin, E., and Parsia, B. 2007. SPARQL-DL: SPARQL query for OWL-DL. In Proc. OWLED 2007.