Abstract
When providing reasoning services for ontology languages such as DAML+OIL and OWL, it is necessary for description logics to deal with “concrete” datatypes (strings, integers, etc.) as well as “abstract” concepts and relationships. In this paper, we present a new approach, the datatype group approach, to integrating DLs with multiple datatypes. We discuss the advantages of such approach over the existing ones and show how a tableaux algorithm for the description logic \(\mathcal{SHOQ}\)( D n ) can be modified in order to reason with datatype groups.
Chapter PDF
References
Baader, F., McGuiness, D.L., Nardi, D., Patel-Schneider, P. (eds.): Description Logic Handbook: Theory, implementation and applications. Cambridge University Press, Cambridge (2002)
Baader, F., Hanschke, P.: A Schema for Integrating Concrete Domains into Concept Languages. In: Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI 1991), pp. 452–457 (1991)
Biron, P.V., Malhotra, A.: Extensible Markup Language (XML) Schema Part 2: Datatypes – W3C Recommendation. Technical report, World Wide Web Consortium (May 02, 2001), Available at http://www.w3.org/TR/xmlschema-2/
Brickley, D., Guha, R.V.: Resource Description Framework (RDF) Schema Specification 1.0. W3C Recommentdation (March 2000), http://www.w3.org/TR/rdf-schema
Fensel, D., van Harmelen, F., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F.: OIL: An ontology infrastructure for the semantic web. IEEE Intelligent Systems 16(2), 38–45 (2001)
Horrocks, I., Sattler, U., Tobies, S.: Practical Reasoning for Expressive Description Logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol. 1705, pp. 161–180. Springer, Heidelberg (1999)
Horrocks, I., Patel-Schneider, P.F.: The generation of DAML+OIL. In: Proc. of the 2001 Description Logic Workshop (DL 2001), CEUR Electronic Workshop Proceedings, pp. 30–35 (2001), http://ceur-ws.org/Vol-49/
Horrocks, I., Sattler, U.: Ontology reasoning in the SHOQ(D) description logic. In: Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pp. 199–204 (2001)
Lutz, C.: Description logics with concrete domains – a survey. In: Advances in Modal Logics, vol. 4, World Scientific Publishing Co. Pte. Ltd., Singapore (2002)
Lutz, C.: The Complexity of Reasoning with Concrete Domains. PhD thesis, Teaching and Research Area for Theoretical Computer Science, RWTH Aachen (2001)
Pan, J.Z.: Web Ontology Reasoning in the \(\mathcal{SHOQ}(D_n)\) Description Logic. In: Areces, C., de Rijke, M. (eds.) Proceedings of the Methods for Modalities 2 (M4M-2), November 2001, ILLC, University of Amsterdam (2001)
Pan, J.Z., Horrocks, I.: Reasoning in the SHOQ(Dn) Description Logic. In: Horrocks, I., Tessaris, S. (eds.) Proc. of the 2002 Int. Workshop on Description Logics (DL 2002) (April 2002)
Pan, J.Z., Horrocks, I.: Reasoning in the \(\mathcal{SHOQ}(D_n)\) Description Logic (Online Proofs) (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pan, J.Z., Horrocks, I. (2003). Web Ontology Reasoning with Datatype Groups. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds) The Semantic Web - ISWC 2003. ISWC 2003. Lecture Notes in Computer Science, vol 2870. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39718-2_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-39718-2_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20362-9
Online ISBN: 978-3-540-39718-2
eBook Packages: Springer Book Archive