Web ontology reasoning with datatype groups

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

Volumn 2870, Issue , 2003, Pages 47-63

  Pan, Jeff Z ^a   Horrocks, Ian ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; OIL WELLS; SEMANTIC WEB; SOCIAL NETWORKING (ONLINE);

DAML+OIL; DATA TYPE; DATATYPES; DESCRIPTION LOGIC; NEW APPROACHES; ONTOLOGY LANGUAGE; TABLEAUX ALGORITHM; WEB ONTOLOGY;

DATA DESCRIPTION;

EID: 0242308063     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39718-2_4     Document Type: Article

References (13)

1. F. Baader, D. L. McGuiness, D. Nardi, and P. Patel-Schneider, editors. Description Logic Handbook: Theory, implementation and applications. Cambridge University Press, 2002.
2. Franz Baader and Philipp Hanschke. A Schema for Integrating Concrete Domains into Concept Languages. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI'91), pages 452-457, 1991.
3. Paul V. Biron and Ashok Malhotra. Extensible Markup Language (XML) Schema Part 2: Datatypes - W3C Recommendation 02 May 2001. Technical report, World Wide Web Consortium, 2001. Available at http://www.v3.org/TR/xmlschema-2/.
4. Dan Brickley and R.V. Guha. Resource Description Framework (RDF) Schema Specification 1.0. W3C Recommentdation, URL http://www.w3.org/TR/rdf-schema, Mar. 2000.
5. Dieter Fensel, Frank van Harmelen, Ian Horrocks, Deborah L. McGuinness, and Peter F. Patel-Schneider. OIL: An ontology infrastructure for the semantic web. IEEE Intelligent Systems, 16(2):38-45, 2001.
6. I. Horrocks, U. Sattler, and S. Tobies. Practical Reasoning for Expressive Description Logics. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR'99), pages 161-180, 1999.
7. Ian Horrocks and Peter F. Patel-Schneider. The generation of DAML+OIL. In Proc. of the 2001 Description Logic Workshop (DL 2001), pages 30-35. CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-49/, 2001.
8. Ian Horrocks and Ulrike Sattler. Ontology reasoning in the SHOQ(D) description logic. In Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pages 199-204, 2001.
9. C. Lutz. Description logics with concrete domains - a survey. In Advances in Modal Logics Volume 4. World Scientific Publishing Co. Pte. Ltd., 2002.
10. Carsten Lutz. The Complexity of Reasoning with Concrete Domains. PhD thesis, Teaching and Research Area for Theoretical Computer Science, RWTH Aachen, 2001.
11. n) Description Logic. In Carlos Areces and Maartin de Rijke, editors,Proceedings of the Methods for Modalities 2 (M4M-2), Nov 2001. ILLC, University of Amsterdam.
12. Jeff Z. Pan and Ian Horrocks. Reasoning in the SHOQ(Dn) Description Logic. In Ian Horrocks and Sergio Tessaris, editors, Proc. of the 2002 Int. Workshop on Description Logics (DL-2002), Apr. 2002.
13. n) Description Logic (Online Proofs), 2003.