Combining Answer Set Programming with Description Logics for the Semantic Web

Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference, KR 2004

Volumn , Issue , 2004, Pages 141-151

  Eiter, Thomas ^a   Lukasiewicz, Thomas ^a,b   Schindlauer, Roman ^a   Tompits, Hans ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BIRDS; COMPUTER CIRCUITS; DATA DESCRIPTION; FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; SEMANTIC WEB;

% REDUCTIONS; ANSWER SET; ANSWER SET PROGRAMMING; ANSWER SET SEMANTICS; DESCRIPTION LOGIC; DESCRIPTION LOGIC PROGRAMS; HERBRAND MODEL; LOGIC PROGRAMS; MODEL SEMANTICS; ONTOLOGY'S;

ONTOLOGY;

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

References (34)

1. Alsaç, G., and Baral, C. 2001. Reasoning in description logics using declarative logic programming. Technical report, Department of Computer Science and Engineering, Arizona State University.
2. Antoniou, G. 2002. Nonmonotonic rule systems on top of ontology layers. In Proc. ISWC-2002, volume 2342 of LNCS, 394-398. Springer.
3. Baader, F., and Hollunder, B. 1995. Embedding defaults into terminological representation systems. J. Automated Reasoning 14:149-180.
4. Baral, C. 2003. Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge, UK: Cambridge University Press.
5. Baumgartner, P.; Furbach, U.; and Thomas, B. 2002. Model-based deduction for knowledge representation. In Proc. WLP-2002, 156-166.
6. Berners-Lee, T.; Hendler, J.; and Lassila, O. 2001. The Semantic Web. Scientific American 284(5):34-43.
7. Berners-Lee, T. 1999. Weaving the Web. San Francisco, CA: Harper.
8. Boley, H.; Tabet, S.; and Wagner, G. 2001. Design rationale of RuleML: A markup language for semantic web rules. In Proc. SWWS-2001.
9. Dantsin, E.; Eiter, T.; Gottlob, G.; and Voronkov, A. 2001. Complexity and expressive power of logic programming. ACM Computing Surveys 33(3):374-425.
10. Donini, F. M.; Lenzerini, M.; Nardi, D.; and Schaerf, A. 1998. AL-log: Integrating datalog and description logics. Journal of Intelligent Information Systems 10(3):227-252.
11. Eiter, T.; Lukasiewicz, T.; Schindlauer, R.; and Tompits, H. 2003. Combining answer set programming with description logics for the Semantic Web. Technical Report INFSYS RR-1843-03-13, Institut für Informationssysteme, Technische Universität Wien.
12. Fensel, D.; van Harmelen, F.; Horrocks, I.; McGuiness, D. L.; and Patel-Schneider, P. F. 2001. OIL: An ontology infrastructure for the Semantic Web. IEEE Intelligent Systems 16(2):38-45.
13. Fensel, D.; Wahlster, W.; Lieberman, H.; and Hendler, J., eds. 2002. Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential. MIT Press.
14. Grosof, B. N.; Horrocks, I.; Volz, R.; and Decker, S. 2003. Description logic programs: Combining logic programs with description logics. In Proc. WWW-2003.
15. Haarslev, V., and Möller, R. 2001. RACER System Description. In Proc. IJCAR-2001, volume 2083 of LNAI, 701-705. Springer.
16. Hendler, J., and McGuiness, D. L. 2000. The DAR-PA agent markup language. IEEE Intelligent Systems 15(6):67-73.
17. Heymans, S., and Vermeir, D. 2003a. Integrating ontology languages and answer set programming. In Proc. 14th Int. Workshop on Database and Expert Systems Applications, 584-588. IEEE Computer Society.
18. Heymans, S., and Vermeir, D. 2003b. Integrating Semantic Web reasoning and answer set programming. In Proc. ASP-2003, 194-208.
19. Horrocks, I., and Patel-Schneider, P. F. 2003a. A proposal for an OWL Rules Language. Draft Version (16 October 2003). Available at www.cs.man.ac.uk/~horrocks/DAML/Rules/WD-OWL-rules-20031016/.
20. Horrocks, I., and Patel-Schneider, P. F. 2003b. Reducing OWL entailment to description logic satisfiability. In Proc. ISWC-2003, volume 2870 of LNCS, 17-29. Springer.
21. Horrocks, I., and Sattler, U. 2001. Ontology reasoning in the SHOQ(D) description logic. In Proc. IJCAI-2001, 199-204.
22. Horrocks, I.; Patel-Schneider, P. F.; and van Harmelen, F. 2003. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics 1(1):7-26.
23. Horrocks, I.; Sattler, U.; and Tobies, S. 1999. Practical reasoning for expressive description logics. In Proc. LPAR-1999, volume 1705 of LNCS/LNAI, 161-180. Springer.
24. Horrocks, I. 2002a. DAML+OIL: A description logic for the Semantic Web. IEEE Bulletin of the Technical Committee on Data Engineering 25(1):4-9.
25. Horrocks, I. 2002b. DAML+OIL: A reason-able web ontology language. In Proc. EDBT-2002, volume 2287 of LNCS, 2-13. Springer.
26. Leone, N.; Pfeifer, G.; Faber, W.; Eiter, T.; Gottlob, G.; Koch, C.; Mateis, C.; Perri, S.; and Scarcello, F. 2002. The DLV System for knowledge representation and reasoning. Technical Report INFSYS RR-1843-02-14, Institut für Informationssysteme, Technische Universität Wien.
27. Levy, A. Y., and Rousset, M.-C. 1998. Combining Horn rules and description logics in CARIN. Artif. Intell. 104(1-2):165-209.
28. Motik, B.; Volz, R.; and Maedche, A. 2003. Optimizing query answering in description logics using disjunctive deductive databases. In Proc. KRDB-2003, volume 79 of CEUR Workshop Proceedings (CEUR-WS.org/Vol79/).
29. Provetti, A.; Bertino, E.; and Salvetti, F. 2003. Local Closed-World Assumptions for reasoning about Semantic Web data. In Proc. APPIA-GULP-PRODE 2003.
30. Rosati, R. 1999. Towards expressive KR systems integrating datalog and description logics: Preliminary report. In Proc. 1999 Int. Workshop on Description Logics (DL-1999), 160-164.
31. Swift, T. 2004. Deduction in ontologies via ASP. In Proc. LPNMR-2004, volume 2923 of LNCS, 275-288. Springer.
32. Tobies, S. 2001. Complexity Results and Practical Algorithms for Logics in Knowledge Representation. Doctoral Dissertation, RWTH Aachen, Germany.
33. Van Belleghem, K.; Denecker, M.; and De Schreye, D. 1997. A strong correspondence between description logics and open logic programming. In Proc. ICLP-1997, 346-360. MIT Press.
34. W3C. 2004. OWL web ontology language overview. W3C Recommendation (10 February 2004). Available at www.w3.org/TR/2004/REC-owl-features-20040210/.