Any-world access to OWL from prolog

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

Volumn 4667 LNAI, Issue , 2007, Pages 84-98

  Matzner, Tobias ^a   Hitzler, Pascal ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; FEATURE EXTRACTION; HYBRID COMPUTERS; KNOWLEDGE REPRESENTATION; ONTOLOGY; SEMANTICS;

INTERLACING; OPEN-WORLD SEMANTICS; PROLOG;

FORMAL LANGUAGES;

EID: 38149095081     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74565-5_9     Document Type: Conference Paper

References (22)

1. Loyer, Y., Straccia, U.: Any-world assumptions in logic programming. Theoretical Computer Science 342, 351-381 (2005)
2. Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and framebased languages. Journal of the ACM 42, 741-843 (1995)
3. Angele, J., Lausen, G.: Ontologies in F-logic. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, pp. 29-50. Springer, Heidelberg (2004)
4. Ginsberg, M.L.: Multivalued logics: A uniform approach to inference in artificial intelligence. Computational Intelligence 4, 265-316 (1988)
5. Belnap, N.D.: A useful four-valued logic. In: Epstein, G., Dunn, J.M. (eds.) Modern Uses of Multiple-Valued Logic, pp. 5-37. Reidel, Dordrecht, Netherlands (1977)
6. Fitting, M.: The family of stable models. Journal of Logic Programming 17, 197225 (1993)
7. Fitting, M.: A kripke-kleene semantics for logic programs. Journal of Logic Programming 2, 295-312 (1985)
8. Fitting, M.C.: Bilattices in logic programming. In: 20th International Symposium on Multiple-Valued Logic, Charlotte, pp. 238-247. IEEE CS Press, Los Alamitos (1990)
9. van Gelder, A., Ross, K., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM 38, 620-650 (1991)
10. Tarski, A.: A lattice-theoretic fixpoint theorem and its applications. Pacific Journal of Mathematics 5, 285-309 (1955)
11. Motik, B.: Reasoning in description logics using resolution and deductive databases. PhD thesis, Universität Karlsruhe (2006)
12. Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol. 1705, pp. 161-180. Springer, Heidelberg (1999)
13. Fitting, M.: Fixpoint semantics for logic programming - a survey. Theoretical Computer Science 278, 25-51 (2002)
14. Kunen, K.: Negation in logic programming. Journal of Logic Programming 4, 289-308 (1987)
15. 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)
16. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: Dubois, D., Welty, C.A., Williams, M.A. (eds.) KR2004: Principles of Knowledge Representation and Reasoning, pp. 141-151. AAAI Press, Menlo Park, California (2004)
17. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365-386 (1991)
18. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective integration of declarative rules with external evaluations for semantic-web reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 273-287. Springer, Heidelberg (2006)
19. Motik, B., Rosati, R.: Closing semantic web ontologies. Technical report, University of Manchester, UK (2006)
20. Lifschitz, V.: Nonmonotonic databases and epistemic queries. In: Proceedings of IJCAI-91, San Mateo, CA., pp. 381-386. Morgan Kaufmann, San Francisco (1991)
21. Rosati, R.: DL+log: Tight integration of description logics and disjunctive datalog. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006, pp. 68-78. AAAI Press (2006)
22. Rosati, R.: Semantic and computational advantages of the safe integration of ontologies and rules. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol. 3703, pp. 50-64. Springer, Heidelberg (2005)