Local closed world reasoning with description logics under the well-founded semantics

Artificial Intelligence

Volumn 175, Issue 9-10, 2011, Pages 1528-1554

  Knorr, Matthias ^a   Alferes, José Júlio ^a   Hitzler, Pascal ^b  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b Wright State University   (United States)

Author keywords

Description logics and ontologies; Knowledge representation; Logic programming; Non monotonic reasoning; Semantic Web

Indexed keywords

DESCRIPTION LOGIC; DESCRIPTION LOGICS AND ONTOLOGIES; INTEGRATED ONTOLOGY; KNOWLEDGE BASIS; LOGIC PROGRAMS; NON-MONOTONIC REASONING; ONTOLOGY LANGUAGE; OPEN WORLD; RULE-BASED LANGUAGE; STABLE MODEL SEMANTICS; WELL FOUNDED SEMANTICS;

DATA DESCRIPTION; FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; ONTOLOGY; SEMANTICS; USER INTERFACES;

SEMANTIC WEB;

EID: 79953847776     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2011.01.007     Document Type: Article

References (62)

1. J.J. Alferes, M. Knorr, and T. Swift Queries to hybrid MKNF knowledge bases through oracular tabling Abraham Bernstein, David R. Karger, Tom Heath, Lee Feigenbaum, Diana Maynard, Enrico Motta, Krishnaprasad Thirunarayan, International Semantic Web Conference 2009 Springer 1 16
2. F. Baader, S. Brandt, C. Lutz, Pushing the EL envelope further, in: K. Clark, P.F. Patel-Schneider (Eds.), Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008.
3. F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, and P.F. Patel-Schneider The Description Logic Handbook: Theory, Implementation, and Applications 2nd edition 2007 Cambridge University Press
4. F. Baader, and B. Hollunder Embedding defaults into terminological representation systems J. Automat. Reason. 14 1995 149 180
5. P. Bonatti, C. Lutz, and F. Wolter Expressive non-monotonic description logics based on circumscription P. Doherty, J. Mylopoulos, C. Welty, Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR06) 2006 AAAI Press 400 410
6. W. Chen, and D.S. Warren Tabled evaluation with delaying for general logic programs J. ACM 43 1 1996 20 74 (Pubitemid 126607634)
7. E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov Complexity and expressive power of logic programming ACM Comput. Surv. 33 3 2001 374 425 (Pubitemid 33768487)
8. J. de Bruijn, T. Eiter, A. Polleres, and H. Tompits Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07) Hyderabad, India, January 6-12, 2007 2007 AAAI Press 304 309
9. J. de Bruijn, D. Pearce, A. Polleres, and A. Valverde Quantified equilibrium logic and hybrid rules Proceedings of the First International Conference on Web Reasoning and Rule Systems 2007 Springer
10. F.M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf AL-log: Integrating datalog and description logics J. Intelligent Inform. Syst. 10 3 1998 227 252
11. F.M. Donini, D. Nardi, and R. Rosati Description logics of minimal knowledge and negation as failure ACM Trans. Comput. Log. 3 2 2002 177 225
12. W. Drabent, and J. Małuszynski Well-founded semantics for hybrid rules Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR 2007) 2007 Springer 1 15
13. T. Eiter, G. Ianni, T. Krennwallner, and A. Polleres Rules and ontologies for the semantic web C. Baroglio, P.A. Bonatti, J. Maluszynski, M. Marchiori, A. Polleres, S. Schaffert, Reasoning Web, 4th International Summer School 2008, Tutorial Lectures Venice, Italy, September 7-11, 2008 Lecture Notes in Comput. Sci. vol. 5224 2008 Springer Berlin 1 53
14. T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer, and H. Tompits Combining answer set programming with description logics for the semantic web Artificial Intelligence 172 12-13 August 2008 1495 1539
15. T. Eiter, G. Ianni, R. Schindlauer, and H. Tompits Effective integration of declarative rules with external evaluations for semantic web reasoning Y. Sure, J. Domingue, Proceedings of the 3rd European Conference on Semantic Web (ESWC 2006) 2006 Springer 273 287 (Pubitemid 44071165)
16. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits Well-founded semantics for description logic programs in the semantic web G. Antoniou, H. Boley, Rules and Rule Markup Languages for the Semantic Web, RuleML04 LNCS 2004 Springer 81 97
17. C. Feier, S. Heymans, Hybrid reasoning with forest logic programs, in: 6th Annual European Semantic Web Conference (ESWC 2009), June 2009, pp. 338-352.
18. M. Fitting First-Order Logic and Automated Theorem Proving 2nd ed. 1996 Springer
19. M. Gelfond, and V. Lifschitz The stable model semantics for logic programming R.A. Kowalski, K.A. Bowen, Int. Conference on Logic Programming, ICLP 1988 MIT Press 1070 1080
20. A.S. Gomes, J.J. Alferes, and T. Swift Implementing query answering for hybrid mknf knowledge bases Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010 Madrid, Spain, January 18-19, 2010 2010 Springer 25 39
21. S. Grimm, and P. Hitzler A preferential tableaux calculus for circumscriptive ALCO A. Polleres, T. Swift, Web Reasoning and Rule Systems, Third International Conference, RR 2009 Chantilly, VA, USA, October 2009 2009 Springer 197 211
22. S. Grimm, and P. Hitzler Semantic matchmaking of web resources with local closed-world reasoning Internat. J. e-Commerce 12 2 2007-2008 89 126
23. S. Grimm, B. Motik, and C. Preist Matching semantic service descriptions with local closed-world reasoning Y. Sure, J. Domingue, The Semantic Web: Research and Applications, 3rd European Semantic Web Conference, ESWC 2006 Budva, Montenegro, June 11-14, 2006 2006 Springer 575 589 (Pubitemid 44071185)
24. B. Grosof, I. Horrocks, R. Volz, and S. Decker Description logic programs: Combining logic programs with description logics Proceedings of the World Wide Web Conference (WWW 2003) Budapest, Hungary 2003 ACM 48 57
25. S. Heymans, D. Van Nieuwenborgh, and D. Vermeir Open answer set programming for the semantic web J. Appl. Log. 5 1 2007 144 169 (Pubitemid 46097554)
26. P. Hitzler, M. Krötzsch, B. Parsia, P.F. Patel-Schneider, S. Rudolph (Eds.), OWL 2 Web Ontology Language: Primer, W3C Recommendation 27 October 2009, available from http://www.w3.org/TR/owl2-primer/, 2009.
27. P. Hitzler, M. Krötzsch, and S. Rudolph Foundations of Semantic Web Technologies 2009 Chapman & Hall/CRC
28. P. Hitzler, and B. Parsia Ontologies and rules S. Staab, R. Studer, Handbook on Ontologies 2nd edition 2009 Springer 111 132
29. P. Hitzler, and M. Wendt A uniform approach to logic programming semantics Theory Pract. Log. Program. 5 1-2 2005 123 159
30. I. Horrocks, O. Kutz, and U. Sattler The even more irresistible SROIQ P. Doherty, J. Mylopoulos, C.A. Welty, Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006) 2006 AAAI Press 57 67
31. I. Horrocks, B. Motik, R. Rosati, and U. Sattler Can OWL and logic programming live together happily ever after? I.F. Cruz, S. Decker, D. Allemang, C. Preist, D. Schwabe, P. Mika, Michael Uschold, Lora Aroyo, Proc. of the 5th Int. Semantic Web Conference (ISWC 2006) LNCS vol. 4273 2006 Springer 501 514 (Pubitemid 44892052)
32. I. Horrocks, and P.F. Patel-Schneider A proposal for an OWL rules language Proc. of the 13th Int. World Wide Web Conference (WWW 2004) 2004 ACM 723 731 (Pubitemid 40752807)
33. U. Hustadt, B. Motik, and U. Sattler Data complexity of reasoning in very expressive description logics Proc. of the 19th Int. Joint Conference on Artifical Intelligence (IJCAI) 2005 ACM 466 471
34. P. Ke, U. Sattler, Next steps for description logics of minimal knowledge and negation as failure, in: F. Baader, C. Lutz, B. Motik (Eds.), Proc. of the 2008 Description Logic Workshop (DL 2008), 2008.
35. EL + with nonmonotonic rules Proceedings of the 19th European Conference on Artificial Intelligence, ECAI 2010 2010 IOS Press 1079 1080
36. M. Knorr, J.J. Alferes, and P. Hitzler Towards tractable local closed world reasoning for the semantic web J. Neves, M.F. Santos, J. Machado, Progress in Artificial Intelligence 2007 Springer 3 14
37. M. Knorr, J.J. Alferes, and P. Hitzler A coherent well-founded model for hybrid MKNF knowledge bases M. Ghallab, C.D. Spyropoulos, N. Fakotakis, N. Avouris, Proceedings of the 18th European Conference on Artificial Intelligence, ECAI 2008 2008 IOS Press 99 103
38. M. Knorr, P. Hitzler, A comparison of disjunctive well-founded semantics, in: FAInt-07, Foundations of Artificial Intelligence, Workshop at KI 2007, CEUR Workshop Proceedings, vol. 277, 2007.
39. M. Krötzsch Description Logic Rules Stud. Semantic Web. vol. 008 2010 IOS Press/AKA
40. M. Krötzsch Efficient inferencing for OWL EL T. Janhunen, I. Niemelä, Proc. of the 12th European Conf. on Logics in Artificial Intelligence (JELIA10) 2010 Springer 234 246
41. M. Krötzsch, S. Rudolph, and P. Hitzler Description logic rules Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikos Avouris, Proceedings of the 18th European Conference on Artificial Intelligence, ECAI 2008 2008 IOS Press 80 84
42. M. Krötzsch, S. Rudolph, and P. Hitzler ELP: Tractable rules for OWL 2 A. Sheth, S. Staab, M. Dean, M. Paolucci, D. Maynard, T. Finin, K. Thirunarayan, Proceedings of the 7th International Semantic Web Conference (ISWC-08) 2008 Springer 649 664
43. M. Krötzsch, S. Rudolph, and Pascal Hitzler Complexity boundaries for Horn description logics Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI07) 2007 AAAI Press 452 457 (Pubitemid 350149612)
44. M. Krötzsch, S. Rudolph, and Peter H. Schmitt On the semantic relationship between datalog and description logics Proceedings of the 4th Interational Conference on Web Reasoning and Rule Systems (RR10) LNCS 2010 Springer 88 102
45. M. Krötzsch, F. Maier, A.A. Krisnadhi, P. Hitzler, A better uncle for OWL: Nominal schemas for integrating rules and ontologies, in: Proceedings of the 20th International World Wide Web Conference, WWW 2011, March/April 2011, in press, available from http://knoesis.org/library/.
46. A.Y. Levy, and M. Rousset Combining Horn rules and description logics in CARIN Artificial Intelligence 104 1-2 1998 165 209 (Pubitemid 128400989)
47. V. Lifschitz, Nonmonotonic databases and epistemic queries, in: International Joint Conference on Artifical Intelligence, IJCAI91, 1991, pp. 381-386.
48. T. Lukasiewicz A novel combination of answer set programming with description logics for the semantic web E. Franconi, M. Kifer, W. May, Proceedings of the 4th European Semantic Web Conference (ESWC 2007) 2007 Springer 384 398 (Pubitemid 47290021)
49. T. Matzner, and P. Hitzler Any-world access to OWL from Prolog J. Hertzberg, M. Beetz, R. Englert, KI 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI Osnabrück, Germany, September 2007 2007 Springer 84 98
50. B. Motik, R. Rosati, Closing semantic web ontologies, Technical report, University of Manchester, UK, 2006.
51. B. Motik, and R. Rosati A faithful integration of description logics with logic programming Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07) Hyderabad, India, January 6-12, 2007 2007 AAAI Press 477 482
52. B. Motik, and R. Rosati Reconciling description logics and rules J. ACM 57 5 2010 93 154
53. B. Motik, U. Sattler, and R. Studer Query-answering for OWL-DL with rules J. Web Semantics 3 1 2005 41 60
54. 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 ISWC/ASWC 2007 Springer 816 829
55. L.M. Pereira, J.J. Alferes, Well founded semantics for logic programs with explicit negation, in: European Conference on Artifical Intelligence, ECAI, 1992, pp. 102-106.
56. R. Reiter What should a database know? J. Log. Program. 14 1-2 1992 127 153
57. R. Rosati On the decidability and complexity of integrating ontologies and rules J. Web Semantics 3 1 2005 41 60
58. R. Rosati DL+Log: A tight integration of description logics and disjunctive datalog P. Doherty, J. Mylopoulos, C. Welty, Tenth International Conference on the Principles of Knowledge Representation and Reasoning, KR06 2006 AAAI Press 68 78
59. A. Tarski Lattice-theoretic fixpoint theorem and its applications Pacific J. Math. 5 2 1955 285 309
60. A. van Gelder The alternating fixpoint of logic programs with negation Principles of Database Systems 1989 ACM Press 1 10
61. A. van Gelder, K.A. Ross, and J.S. Schlipf The well-founded semantics for general logic programs J. ACM 38 3 1991 620 650
62. M.Y. Vardi Why is modal logic so robustly decidable? Neil Immerman, Phokion G. Kolaitis, Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop January 14-17, 1996, Princeton University 1996 American Mathematical Society 149 184