A well-founded semantics for hybrid MKNF knowledge bases

CEUR Workshop Proceedings

Volumn 250, Issue , 2007, Pages 347-354

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

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL PROPERTIES; FIX POINT CONSTRUCTION; FIXPOINTS; KNOWLEDGE BASE; KNOWLEDGE BASIS; MODEL SEMANTICS; NEGATION AS FAILURES; THREE-VALUED; WELL FOUNDED SEMANTICS; WELL-FOUNDED MODELS;

DATA DESCRIPTION; FORMAL LANGUAGES; KNOWLEDGE BASED SYSTEMS;

SEMANTICS;

EID: 84872977112     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
2. J. de Bruijn, T. Eiter, A. Polleres, and H. Tompits. Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI- 07), Hyderabad, India, January 6-12 2007. AAAI Press.
3. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining answer set programming with description logics for the semantic web. In D. Dubois, C. Welty, and M.-A. Williams, editors, KR'04, pages 141-151. AAAI Press, 2004.
4. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Well-founded semantics for description logic programs in the semantic web. In G. Antoniou and H. Boley, editors, RuleML'04, pages 81-97. Springer, LNCS, 2004.
5. M. Fitting. The family of stable models. Journal of Logic Programming, 17(2/3&4):197-225, 1993.
6. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. A. Kowalski and K. A. Bowen, editors, ICLP. MIT Press, 1988.
7. S. Heymans, D. V. Nieuwenborgh, and D. Vermeir. Guarded open answer set programming. In C. Baral, G. Greco, N. Leone, and G. Terracina, editors, LPNMR'05, pages 92-104. Springer, LNAI, 2005.
8. V. Lifschitz. Nonmonotonic databases and epistemic queries. In IJCAI'91, pages 381-386, 1991.
9. B. Motik and R. Rosati. Closing semantic web ontologies. Technical report, University of Manchester, UK, 2006.
10. B. Motik and R. Rosati. A faithful integration of description logics with logic programming. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), pages 477-482, Hyderabad, India, January 6-12 2007. AAAI Press.
11. R. Rosati. Reasoning about minimal belief and negation as failure. J. of Artificial Intelligence Research, 11:277-300, 1999.
12. R. Rosati. Dl+Log: A tight integration of description logics and disjunctive datalog. In P. Doherty, J. Mylopoulos, and C. Welty, editors, KR'06. AAAI Press, 2006.
13. A. van Gelder. The alternating fixpoint of logic programs with negation. In Principles of Database Systems, pages 1-10. ACM Press, 1989.
14. A. van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620-650, 1991.