Towards tractable local closed world reasoning for the semantic web

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4874 LNAI, Issue , 2007, Pages 3-14

  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 COMPLEXITY; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; MATHEMATICAL MODELS;

CLOSED WORLD REASONING; FIXPOINTS;

SEMANTIC WEB;

EID: 38349054337     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77002-2_1     Document Type: Conference Paper

References (17)

1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
2. de Bruijn, J., Eiter, T., Polleres, A., Tompits, H.: Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination. In: IJCAI 2007. Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007, AAAI Press, Stanford, California, USA (2007)
3. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: Dubois, D., Welty, C., Williams, M.-A. (eds.) KR 2004, pp. 141-151. AAAI Press, Stanford, California, USA (2004)
4. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Well-founded semantics for description logic programs in the semantic web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 81-97. Springer, Heidelberg (2004)
5. Fitting, M.: The family of stable models. Journal of Logic Programming 17(2/3&4), 197-225 (1993)
6. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, RA., Bowen, K.A. (eds.) ICLP, MIT Press, Cambridge (1988)
7. Grimm, S., Hitzler, P.: Semantic matchmaking of web resources with local closed-world reasoning. International Journal of e-Commerce (to appear)
8. Grimm, S., Motik, B., Preist, C.: Matching semantic service descriptions with local closed-world reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 575-589. Springer, Heidelberg (2006)
9. Heymans, S., Nieuwenborgh, D.V., Vermeir, D.: Guarded open answer set programming. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol. 3662, pp. 92-104. Springer, Heidelberg (2005)
10. Horrocks, I., Motik, B., Rosati, R., Sattler, U.: Can OWL and logic programming live together happily ever after? In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 501-514. Springer, Heidelberg (2006)
11. Knorr, M., Alferes, J.J., Hitzler, P.: A well-founded semantics for MKNF knowledge bases. In: Calvanese, D., Franconi, E., Haarslev, V., Lembo, D., Motik, B., Turnan, A.-Y., Tessaris, S. (eds.) Description Logics 2007, CEUR-WS, pp. 417-425 (2007)
12. Lifschitz, V.: Nonmonotonic databases and epistemic queries. In: IJCAI 1991, pp. 381-386 (1991)
13. Motik, B., Rosati, R.: Closing semantic web ontologies. Technical report, University of Manchester, UK (2006)
14. Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. In: IJCAI 2007. Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007, pp. 477-482. AAAI Press, Stanford, California, USA (2007)
15. Rosati, R.: D1+Log: A tight integration of description logics and disjunctive datalog. In: Doherty, P., Mylopoulos, J., Welty, C. (eds.) KR 2006, AAAI Press, Stanford, California, USA (2006)
16. van Gelder, A.: The alternating fixpoint of logic programs with negation. In: Principles of Database Systems, pp. 1-10. ACM Press, New York (1989)
17. van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM 38(3), 620-650 (1991)