Querying in ℰℒ+ with nonmonotonic rules

Frontiers in Artificial Intelligence and Applications

Volumn 215, Issue , 2010, Pages 1079-1080

  Knorr, Matthias ^a   Alferes, José Júlio ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING; ONTOLOGY;

ALGORITHMIZATION; COMBINING RULES; DATA COMPLEXITY; LOGIC-PROGRAMMING; NONMONOTONIC; ONTOLOGY LANGUAGE; ONTOLOGY'S; QUERY-DRIVEN APPROACH; REASONING TASKS; TOPDOWN;

SEMANTICS;

EID: 77956014557     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-60750-606-5-1079     Document Type: Conference Paper

References (8)

1. J. J. Alferes, M. Knorr, and T. Swift, 'Queries to hybrid MKNF knowledge bases through oracular tabling', in The Semantic Web - ISWC 2009, pp. 1-16. Springer, (2009).
2. F. Baader, S. Brandt, and C. Lutz, 'Pushing the EL envelope', in IJCAI' 05: 19th Int. Joint Conf. on Artificial Intelligence, pp. 364-369. Morgan Kaufmann, (2005).
3. W. Chen and D. S.Warren, 'Tabled Evaluation with Delaying for General Logic Programs', Journal of the ACM, 43(1), 20-74, (1996).
4. M. Knorr, J. J. Alferes, and P. Hitzler, 'A coherent well-founded model for hybrid MKNF knowledge bases', in Proceedings of the 18th European Conference on Artificial Intelligence, ECAI2008, pp. 99-103. IOS Press, (2008).
5. M. Krötzsch, S. Rudolph, and P. Hitzler, 'ELP: Tractable rules for OWL 2', in Proceedings of the 7th International Semantic Web Conference (ISWC-08), volume 5318 of Lecture Notes in Computer Science, pp. 649-664. Springer, (2008).
6. V. Lifschitz, 'Nonmonotonic databases and epistemic queries', in International Joint Conference on Artifical Intelligence, IJCAI'91, pp. 381- 386, (1991).
7. B. Motik and R. Rosati, 'A faithful integration of description logics with logic programming', in 20th Int. Joint Conf on Artificial Intelligence (IJCAI), pp. 477-482, Hyderabad, India, (6-12 2007). AAAI Press.
8. C. Patel, J. J. Cimino, J. Dolby, A. Fokoue, A. Kalyanpur, A. Kershenbaum, L. Ma, E. Schonberg, and K. Srinivas, 'Matching patient records to clinical trials using ontologies.', in ISWC/ASWC, volume 4825 of Lecture Notes in Computer Science, pp. 816-829. Springer, (2007).