{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T10:25:06Z","timestamp":1768559106146,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540203629","type":"print"},{"value":"9783540397182","type":"electronic"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39718-2_2","type":"book-chapter","created":{"date-parts":[[2010,9,3]],"date-time":"2010-09-03T22:01:33Z","timestamp":1283551293000},"page":"17-29","source":"Crossref","is-referenced-by-count":93,"title":["Reducing OWL Entailment to Description Logic Satisfiability"],"prefix":"10.1007","author":[{"given":"Ian","family":"Horrocks","sequence":"first","affiliation":[]},{"given":"Peter F.","family":"Patel-Schneider","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Beckett, D.: RDF\/XML syntax specification (revised). W3C Working Draft (2003), Available at \n                    \n                      http:\/\/www.w3.org\/TR\/2003\/WD-rdf-syntax-grammar-20030123"},{"key":"2_CR2","volume-title":"Weaving the Web","author":"T. Berners-Lee","year":"1999","unstructured":"Berners-Lee, T.: Weaving the Web. Harpur, San Francisco (1999)"},{"key":"2_CR3","unstructured":"Biron, P.V., Malhotra, A.: XML schema part 2: Datatypes. W3C Recommendation (2001), Available at \n                    \n                      http:\/\/www.w3.org\/TR\/2003\/WD-xmlschema-2-20010502\/"},{"key":"2_CR4","unstructured":"Dean, M., Connolly, D., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: Web ontology language (OWL) reference version 1.0. W3C Working Draft (2003), Available at \n                    \n                      http:\/\/www.w3.org\/TR\/2003\/WD-owl-ref-20030331"},{"key":"2_CR5","unstructured":"Decker, S., Fensel, D., van Harmelen, F., Horrocks, I., Melnik, S., Klein, M., Broekstra, J.: Knowledge representation on the web. In: Proc. of the 2000 Description Logic Workshop (DL 2000), pp. 89\u201398 (2000)"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1997.2625","volume":"134","author":"F.M. Donini","year":"1997","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W.: The complexity of concept languages. Information and Computation\u00a0134, 1\u201358 (1997)","journal-title":"Information and Computation"},{"issue":"2","key":"2_CR7","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., 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":"2_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER system description. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 701\u2013705. Springer, Heidelberg (2001)"},{"key":"2_CR9","unstructured":"Hayes, P.: RDF semantics. W3C Working Draft (2003), Available at \n                    \n                      http:\/\/www.w3.org\/TR\/2003\/WD-rdf-mt-20030123"},{"key":"2_CR10","unstructured":"Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: Reviewing the design of DAML+OIL: An ontology language for the semantic web. In: Proc. of the 18th Nat. Conf. on Artificial Intelligence (AAAI 2002) (2002)"},{"key":"2_CR11","first-page":"199","volume-title":"Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001)","author":"I. Horrocks","year":"2001","unstructured":"Horrocks, I., Sattler, U.: Ontology reasoning in the SHOQ description logic. In: Nebel, B. (ed.) Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pp. 199\u2013204. Morgan Kaufmann, San Francisco (2001)"},{"key":"2_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/3-540-44404-1_21","volume-title":"Logic for Programming and Automated Reasoning","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tessaris, S., Tobies, S.: How to decide query containment under constraints using a description logic. In: Parigot, M., Voronkov, A. (eds.) LPAR 2000. LNCS (LNAI), vol.\u00a01955, pp. 326\u2013343. Springer, Heidelberg (2000)"},{"key":"2_CR13","series-title":"LNAI","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 (LNAI), vol.\u00a01705, pp. 161\u2013180. Springer, Heidelberg (1999)"},{"key":"2_CR14","unstructured":"Klyne, G., Carroll, J.J.: Resource description framework (RDF): Concepts and abstract syntax. W3C Working Draft (2003), Available at \n                    \n                      http:\/\/www.w3.org\/TR\/2003\/WD-rdf-concepts-20030123"},{"key":"2_CR15","unstructured":"Lassila, O., Swick, R.R.: Resource description framework (RDF) model and syntax specification. W3C Recommendation (1999), Available at \n                    \n                      http:\/\/www.w3.org\/TR\/1999\/REC-rdf-syntax-19990222"},{"key":"2_CR16","unstructured":"Patel-Schneider, P.F., Hayes, P., Horrocks, I., van Harmelen, F.: Web ontology language (OWL) abstract syntax and semantics. W3C Working Draft (2003), Available at \n                    \n                      http:\/\/www.w3.org\/TR\/2003\/WD-owl-ref-20030331"},{"key":"2_CR17","unstructured":"Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, LuFG Theoretical Computer Science, RWTH-Aachen, Germany (2001)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web - ISWC 2003"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39718-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T17:25:40Z","timestamp":1558286740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39718-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540203629","9783540397182"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39718-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}