Reducing OWL entailment to description logic satisfiability

CEUR Workshop Proceedings

Volumn 81, Issue , 2003, Pages

  Horrocks, Ian ^a   Patel Schneider, Peter F ^b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BIRDS; FORMAL LANGUAGES; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; ONTOLOGY;

DESCRIPTION LOGIC; KNOWLEDGE BASE; ONTOLOGY LANGUAGE; SATISFIABILITY;

DATA DESCRIPTION;

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

References (10)

1. Dave Beckett. RDF/XML syntax specification (revised). W3C Working Draft, 2003. Available at http://www.w3.org/TR/2003/WD-rdf-syntax-grammar-20030123.
2. Mike Dean, Dan Connolly, Frank van Harmelen, James Hendler, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider, and Lynn Andrea Stein. Web ontology language (OWL) reference version 1.0. W3C Working Draft, 2003. Available at http://www.w3.org/TR/2003/WD-owl-ref-20030331.
3. S. Decker, D. Fensel, F. van Harmelen, I. Horrocks, S. Melnik, M. Klein, and J. Broekstra. Knowledge representation on the web. In Proc. of the 2000 Description Logic Workshop (DL 2000), pages 89-98, 2000.
4. Volker Haarslev and Ralf Möller. RACER system description. In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2001), volume 2083 of Lecture Notes in Artificial Intelligence, pages 701-705. Springer, 2001.
5. Patrick Hayes. RDF semantics. W3C Working Draft, 2003. Available at http://www.w3.org/TR/2003/WD-rdf-mt-20030123.
6. I. Horrocks, U. Sattler, S. Tessaris, and S. Tobies. How to decide query containment under constraints using a description logic. In Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR'2000), Lecture Notes in Artificial Intelligence. Springer-Verlag, 2000.
7. Graham Klyne and Jeremy J. Carroll. Resource description framework (RDF): Concepts and abstract syntax. W3C Working Draft, 2003. Available at http://www.w3.org/TR/2003/WD-rdf-concepts-20030123.
8. Ora Lassila and Ralph R. Swick. Resource description framework (RDF) model and syntax specification. W3C Recommendation, 1999. Available at http://www.w3.org/TR/1999/REC-rdf-syntax-19990222.
9. Peter F. Patel-Schneider, Patrick Hayes, Ian Horrocks, and Frank van Harmelen. Web ontology language (OWL) abstract syntax and semantics. W3C Working Draft, 2003. Available at http://www.w3.org/TR/2003/WD-owl-ref-20030331.
10. Stephan Tobies. Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, LuFG Theoretical Computer Science, RWTH-Aachen, Germany, 2001.