Combining description logic and defeasible logic for the semantic web

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

Volumn 3323 LNCS, Issue , 2004, Pages 170-181

  Wang, Kewen ^a   Billington, David ^a   Blee, Jeff ^a   Antoniou, Grigoris ^b  

^a GRIFFITH UNIVERSITY   (Australia)

^b UNIVERSITY OF CRETE   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

BASIC PROPERTIES; DEFEASIBILITY; DEFEASIBLE LOGIC; DESCRIPTION LOGIC; KNOWLEDGE BASE; NON-MONOTONIC REASONING; NONMONOTONIC;

COMPUTER PROGRAMMING LANGUAGES; DATA DESCRIPTION; KNOWLEDGE BASED SYSTEMS; LINGUISTICS; MARKUP LANGUAGES; ONTOLOGY; PHOTOLITHOGRAPHY; QUERY LANGUAGES; SEMANTICS; COMPUTATIONAL LINGUISTICS; FORMAL LANGUAGES;

SEMANTIC WEB;

EID: 77249111418     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30504-0_13     Document Type: Conference Paper

References (19)

1. G. Antoniou, D. Billington, G. Governatori, and M. J. Maher. Representation results for defeasible logic. ACM Transactions on Computationl Logic, 2(2):255-287, 2001.
2. G.Antoniou and G.Wagner. A rule-based approach to the semantic web (preliminary report). In Proceedings of the 2nd Workshop on Rules and Rule Markup Languages for the Semantic Web (RuleML2003), pages 111-120, 2003.
3. F. Baader, D. Calvanese, D.McGuinness, D. Nardi, and P. Patel-Schneider. The Description Logic Handbook. Cambridge University Press, 2002.
4. M. Cadoli and M. Schaerf. A survey on complexity results for non-monotonic logics. Journal of Logic Programming, 17, 1993.
5. D. Connolly, F. van Harmelen, I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider, and L. A. Stein. Daml+oil (march 2001) reference description. http://www.w3.org/tr2001/note-daml+oil-reference-20011218, W3C Note, 18 December 2001.
6. E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov. Complexity and expressive power of logic programming. ACM Computing Survey, 33(3):374-425, 2001.
7. M. Dean, D. Connolly, F. van Harmelen, J. Hendler, I. Horrocks, D. McGuinness, P. Patel-Schneider, and L. Stein. Owl web ontology language reference. http://www.w3.org/tr2003/wd-owl-ref-20030331, W3C Working Draft, 31 March 2003.
8. F. Donini, M. Lenzerini, D. Nardi, andA. Schaerf. AL-log: Integrating datalog and description logics. Journal of Intelligent Information Systems, 10(3):227-252, 1998.
9. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining answer set programming with description logics for the semantic web. In Proceedings of the 9th International Conference on Principlesof Knowledge Representationand Reasoning, pages 141-151, 2004.
10. G. Governatori. Defeasible description logic. In Proceedings of RuleML'2004 (to appear). Springer-Verlag, 2004.
11. B. Grosof, I. Horrocks, R. Volz, and S. Decker. Description logic programs: Combining logic programs with description logics. In Proceedings of the 12th International World Wide Web Conference, pages 48-57, 2003.
12. S.HeymansandD.Vermeir. Integrating semanticweb reasoning andanswer set programming. In Proceedings of ASP'03, pages 194-208, 2003.
13. A. Levy and M. Rousset. Combining horn logic rules and description logics in carin. Artificial Intelligence, 104(1-2):165-209, 1998.
14. M. J. Maher. Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming, 1(6):691-711, 2001.
15. M. J. Maher,A. Rock, G.Antoniou, D. Billington, andT. Miller. Efficient defeasible reasoning systems. In Proceedings of the IEEE Conference on Tools with Artificial Intelligence, pages 384-392, 2000.
16. D. Nute. Defeasible logic. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming Vol.3, pages 353-395. Oxford University Press, 1994.
17. R. Rosati. Towards expressive kr systems integrating datalog and description logics: Preliminary report. In Proceedings of DL'99, pages 160-164, 1999.
18. T. Swift. Deduction in ontologies via asp. In Proceeding of LPNMR-7. Springer-Verlag, 2004.
19. K. van Belleghem, M. Denecker, and D. de Schreye. A strong correspondence between description logics and open logic programming. In Proceedings of the International Conference on Logic Programming(ICLP'97), pages 346-360, 1997.