The representation of structured objects in DLs using description graphs

CEUR Workshop Proceedings

Volumn 353, Issue , 2008, Pages

  Motik, Boris ^a   Grau, Bernardo Cuenca ^a   Sattler, Ulrike ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (10)

1. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining Answer Set Programming with Description Logics for the Semantic Web. In Proc. KR 2004, pages 141-151, 2004.
2. I. Horrocks and P. F. Patel-Schneider. A Proposal for an OWL Rules Language. In Proc. WWW 2004, pages 723-731, 2004.
3. I. Horrocks, U. Sattler, and S. Tobies. Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL, 8(3):239-263, 2000.
4. O. Kutz, I. Horrocks, and U. Sattler. The Even More Irresistible SROIQ. In Proc. KR 2006, pages 68-78, 2006.
5. A. Y. Levy and M.-C. Rousset. Combining Horn Rules and Description Logics in CARIN. Artificial Intelligence, 104(1-2):165-209, 1998.
6. B. Motik, B. Cuenca Grau, and U. Sattler. Structured Objects in OWL: Representation and Reasoning. In Proc. WWW 2008, Beijing, China, April 21-25 2008. ACM Press. To appear.
7. B. Motik and R. Rosati. A Faithful Integration of Description Logics with Logic Programming. In Proc. IJCAI 2007, pages 477-482, 2007.
8. B. Motik, U. Sattler, and R. Studer. Query Answering for OWL-DL with Rules. Journal of Web Semantics, 3(1):41-60, 2005.
9. R. Rosati. DL + log: A Tight Integration of Description Logics and Disjunctive Datalog. In Proc. KR 2006, pages 68-78, 2006.
10. W.D. Solomon, A. Roberts, J. E. Rogers, C. J. Wroe C.J., and A. L. Rector. Having our cake and eating it too: How the GALEN Intermediate Representation reconciles . . .. In Proc. AMIA, pages 819-823, 2000.