{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:30:16Z","timestamp":1760596216371},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540203629"},{"type":"electronic","value":"9783540397182"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39718-2_4","type":"book-chapter","created":{"date-parts":[[2010,9,4]],"date-time":"2010-09-04T02:01:33Z","timestamp":1283565693000},"page":"47-63","source":"Crossref","is-referenced-by-count":9,"title":["Web Ontology Reasoning with Datatype Groups"],"prefix":"10.1007","author":[{"given":"Jeff Z.","family":"Pan","sequence":"first","affiliation":[]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"Description Logic Handbook: Theory, implementation and applications","year":"2002","key":"4_CR1","unstructured":"Baader, F., McGuiness, D.L., Nardi, D., Patel-Schneider, P. (eds.): Description Logic Handbook: Theory, implementation and applications. Cambridge University Press, Cambridge (2002)"},{"key":"4_CR2","unstructured":"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\u2013457 (1991)"},{"key":"4_CR3","unstructured":"Biron, P.V., Malhotra, A.: Extensible Markup Language (XML) Schema Part 2: Datatypes \u2013 W3C Recommendation. Technical report, World Wide Web Consortium (May 02, 2001), Available at http:\/\/www.w3.org\/TR\/xmlschema-2\/"},{"key":"4_CR4","unstructured":"Brickley, D., Guha, R.V.: Resource Description Framework (RDF) Schema Specification 1.0. W3C Recommentdation (March 2000), http:\/\/www.w3.org\/TR\/rdf-schema"},{"issue":"2","key":"4_CR5","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/5254.920598","volume":"16","author":"D. Fensel","year":"2001","unstructured":"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\u00a016(2), 38\u201345 (2001)","journal-title":"IEEE Intelligent Systems"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-48242-3_11","volume-title":"Logic Programming and Automated Reasoning","author":"I. Horrocks","year":"1999","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical Reasoning for Expressive Description Logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol.\u00a01705, pp. 161\u2013180. Springer, Heidelberg (1999)"},{"key":"4_CR7","unstructured":"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\u201335 (2001), http:\/\/ceur-ws.org\/Vol-49\/"},{"key":"4_CR8","unstructured":"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\u2013204 (2001)"},{"key":"4_CR9","volume-title":"Advances in Modal Logics","author":"C. Lutz","year":"2002","unstructured":"Lutz, C.: Description logics with concrete domains \u2013 a survey. In: Advances in Modal Logics, vol.\u00a04, World Scientific Publishing Co. Pte. Ltd., Singapore (2002)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Lutz, C.: The Complexity of Reasoning with Concrete Domains. PhD thesis, Teaching and Research Area for Theoretical Computer Science, RWTH Aachen (2001)","DOI":"10.25368\/2022.105"},{"key":"4_CR11","unstructured":"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)"},{"key":"4_CR12","unstructured":"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)"},{"key":"4_CR13","unstructured":"Pan, J.Z., Horrocks, I.: Reasoning in the $\\mathcal{SHOQ}(D_n)$ Description Logic (Online Proofs) (2003)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web - ISWC 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39718-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T04:51:34Z","timestamp":1685767894000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39718-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540203629","9783540397182"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39718-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}