{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T12:22:51Z","timestamp":1773318171067,"version":"3.50.1"},"reference-count":17,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2004,10,1]],"date-time":"2004-10-01T00:00:00Z","timestamp":1096588800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Web Semantics"],"published-print":{"date-parts":[[2004,10]]},"DOI":"10.1016\/j.websem.2004.06.003","type":"journal-article","created":{"date-parts":[[2004,8,10]],"date-time":"2004-08-10T19:56:00Z","timestamp":1092167760000},"page":"345-357","source":"Crossref","is-referenced-by-count":140,"title":["Reducing OWL entailment to description logic satisfiability"],"prefix":"10.1016","volume":"1","author":[{"given":"Ian","family":"Horrocks","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Patel-Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.websem.2004.06.003_bib1","unstructured":"Dave Beckett. RDF\/XML syntax specification (revised). W3C Recommendation, 2004. Available at: http:\/\/www.w3.org\/TR\/rdf-syntax-grammar\/"},{"key":"10.1016\/j.websem.2004.06.003_bib2","unstructured":"Tim Berners-Lee, Weaving the Web. Harpur, San Francisco, 1999."},{"key":"10.1016\/j.websem.2004.06.003_bib3","unstructured":"P.V. Biron, A. Malhotra. XML schema part 2: Datatypes. W3C Recommendation, 2001. Available at: http:\/\/www.w3.org\/TR\/[2003\/WD-xmlschema-2-20010502\/]"},{"key":"10.1016\/j.websem.2004.06.003_bib4","unstructured":"M. Dean, G. Schreiber, S. Bechhofer, F. van Harmelen, J. Hendler, I. Horrocks, D.L. McGuinness, P.F. Patel-Schneider, L. Andrea Stein. OWL web ontology language reference. W3C Recommendation, 2004. Available at: http:\/\/www.w3.org\/TR\/owl-ref\/"},{"key":"10.1016\/j.websem.2004.06.003_bib5","series-title":"Proceedings of the 2000 Description Logic Workshop (DL 2000)","first-page":"89","article-title":"Knowledge representation on the web","author":"Decker","year":"2000"},{"key":"10.1016\/j.websem.2004.06.003_bib6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/inco.1997.2625","article-title":"The complexity of concept languages","volume":"134","author":"Donini","year":"1997","journal-title":"Inform. Comput."},{"issue":"2","key":"10.1016\/j.websem.2004.06.003_bib7","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/5254.920598","article-title":"OIL: An ontology infrastructure for the semantic web","volume":"16","author":"Fensel","year":"2001","journal-title":"IEEE Intell. Syst."},{"key":"10.1016\/j.websem.2004.06.003_bib8","unstructured":"V. Haarslev, R. M\u00f6ller, RACER system description, in: Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2001), vol. 2083, Lecture Notes in Artificial Intelligence, Springer, 2001, pp. 701-705."},{"key":"10.1016\/j.websem.2004.06.003_bib9","unstructured":"P. Hayes. RDF semantics. W3C Recommendation, 2004. Available at http:\/\/www.w3.org\/TR\/rdf-mt\/"},{"key":"10.1016\/j.websem.2004.06.003_bib10","series-title":"Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001)","first-page":"199","article-title":"Ontology reasoning in the shoq description logic. newblock","author":"Horrocks","year":"2001"},{"key":"10.1016\/j.websem.2004.06.003_bib11","unstructured":"I. Horrocks, U. Sattler, S. Tobies, Practical reasoning for expressive description logics. in: H. Ganzinger, D. McAllester, A. Voronkov, (Eds.), Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR\u2019 99), vol. 1705, Lecture Notes in Artificial Intelligence, Springer, 1999, pp. 161-180."},{"key":"10.1016\/j.websem.2004.06.003_bib12","series-title":"Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR\u20192000)","article-title":"How to decide query containment under constraints using a description logic","author":"Horrocks","year":"2000"},{"key":"10.1016\/j.websem.2004.06.003_bib13","series-title":"Proceedings of the 18th National Conference on Artificial Intelligence (AAAI 2002)","article-title":"Reviewing the design of DAML + OIL: an ontology language for the semantic web","author":"Horrocks","year":"2002"},{"key":"10.1016\/j.websem.2004.06.003_bib14","unstructured":"Graham Klyne, Jeremy J. Carroll. Resource description framework (RDF): Concepts and abstract syntax. W3C Recommendation, 2004. Available at http:\/\/www.w3.org\/TR\/rdf-concepts\/"},{"key":"10.1016\/j.websem.2004.06.003_bib15","unstructured":"Ora Lassila, 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"},{"key":"10.1016\/j.websem.2004.06.003_bib16","unstructured":"P.F. Patel-Schneider, P. Hayes, I. Horrocks. OWL web ontology language semantics and abstract syntax. W3C Recommendation, 2004. Available at http:\/\/www.w3.org\/TR\/owl-semantics\/"},{"key":"10.1016\/j.websem.2004.06.003_bib17","unstructured":"S. Tobies, Complexity results and practical algorithms for logics in knowledge representation, PhD thesis, LuFG Theoretical Computer Science, RWTH-Aachen, Germany, 2001"}],"container-title":["Journal of Web Semantics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570826804000095?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570826804000095?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,11,15]],"date-time":"2018-11-15T06:29:17Z","timestamp":1542263357000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1570826804000095"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,10]]},"references-count":17,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2004,10]]}},"alternative-id":["S1570826804000095"],"URL":"https:\/\/doi.org\/10.1016\/j.websem.2004.06.003","relation":{},"ISSN":["1570-8268"],"issn-type":[{"value":"1570-8268","type":"print"}],"subject":[],"published":{"date-parts":[[2004,10]]}}}