{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T06:23:50Z","timestamp":1774592630382,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642224379","type":"print"},{"value":"9783642224386","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22438-6_35","type":"book-chapter","created":{"date-parts":[[2011,7,18]],"date-time":"2011-07-18T18:21:44Z","timestamp":1311013304000},"page":"461-475","source":"Crossref","is-referenced-by-count":8,"title":["Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving"],"prefix":"10.1007","author":[{"given":"Michael","family":"Schneider","sequence":"first","affiliation":[]},{"given":"Geoff","family":"Sutcliffe","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"35_CR1","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","unstructured":"Baader, F., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"35_CR2","unstructured":"Fikes, R., McGuinness, D., Waldinger, R.: A First-Order Logic Semantics for Semantic Web Markup Languages. Tech. Rep. KSL-02-01, Knowledge Systems Laboratory, Stanford University, Stanford, CA 94305 (January 2002)"},{"key":"35_CR3","unstructured":"Hawke, S.: Surnia. Homepage (2003), \n                  \n                    http:\/\/www.w3.org\/2003\/08\/surnia"},{"key":"35_CR4","unstructured":"Hayes, P.: Translating Semantic Web Languages into Common Logic. Tech. rep., IHMC Florida Institute for Human & Machine Cognition, 40 South Alcaniz Street, Pensacola, FL 32502 (July 18, 2005), \n                  \n                    http:\/\/www.ihmc.us\/users\/phayes\/CL\/SW2SCL.html"},{"key":"35_CR5","unstructured":"Hayes, P. (ed.): RDF Semantics. W3C Recommendation (February 10, 2004), \n                  \n                    http:\/\/www.w3.org\/TR\/rdf-mt\/"},{"key":"35_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/11663881_12","volume-title":"Foundations of Information and Knowledge Systems","author":"I. Horrocks","year":"2006","unstructured":"Horrocks, I., Voronkov, A.: Reasoning Support for Expressive Ontology Languages Using a Theorem Prover. In: Dix, J., Hegner, S.J. (eds.) FoIKS 2006. LNCS, vol.\u00a03861, pp. 201\u2013218. Springer, Heidelberg (2006)"},{"key":"35_CR7","unstructured":"Klyne, G., Carroll, J.J. (eds.): Resource Description Framework (RDF): Concepts and Abstract Syntax. W3C Recommendation (February 10, 2004), \n                  \n                    http:\/\/www.w3.org\/TR\/rdf-concepts\/"},{"issue":"4","key":"35_CR8","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1093\/logcom\/exm027","volume":"17","author":"B. Motik","year":"2007","unstructured":"Motik, B.: On the Properties of Metamodeling in OWL. Journal of Logic and Computation\u00a017(4), 617\u2013637 (2007)","journal-title":"Journal of Logic and Computation"},{"key":"35_CR9","unstructured":"Motik, B., Grau, B.C., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL\u00a02 Web Ontology Language: Profiles. W3C Recommendation (October 27, 2009), \n                  \n                    http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"key":"35_CR10","unstructured":"Motik, B., Patel-Schneider, P.F., Parsia, B. (eds.): OWL\u00a02 Web Ontology Language: Structural Specification and Functional-Style Syntax. W3C Recommendation (October 27, 2009), \n                  \n                    http:\/\/www.w3.org\/TR\/owl2-syntax\/"},{"issue":"1-2","key":"35_CR11","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0004-3702(02)00368-5","volume":"144","author":"D. Plaisted","year":"2003","unstructured":"Plaisted, D., Yahya, A.: A Relevance Restriction Strategy for Automated Deduction. Artificial Intelligence\u00a0144(1-2), 59\u201393 (2003)","journal-title":"Artificial Intelligence"},{"key":"35_CR12","unstructured":"Schneider, M. (ed.): OWL\u00a02 Web Ontology Language: RDF-Based Semantics. W3C Recommendation (October 27, 2009), \n                  \n                    http:\/\/www.w3.org\/TR\/owl2-rdf-based-semantics\/"},{"key":"35_CR13","unstructured":"Schneider, M., Mainzer, K.: A Conformance Test Suite for the OWL\u00a02 RL\/RDF Rules Language and the OWL\u00a02 RDF-Based Semantics. In: Hoekstra, R., Patel-Schneider, P.F. (eds.) Proceedings of the 6th International Workshop on OWL: Experiences and Directions (OWLED 2009). CEUR Workshop Proceedings, vol.\u00a0529 (2009), \n                  \n                    http:\/\/ceur-ws.org\/Vol-529\/owled2009_submission_19.pdf"},{"issue":"4","key":"35_CR14","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/s10817-009-9143-8","volume":"43","author":"G. Sutcliffe","year":"2009","unstructured":"Sutcliffe, G.: The TPTP Problem Library and Associated Infrastructure. The FOF and CNF Parts, v3.5.0. Journal of Automated Reasoning\u00a043(4), 337\u2013362 (2009)","journal-title":"Journal of Automated Reasoning"},{"key":"35_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/978-3-540-30475-3_33","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"D. Tsarkov","year":"2004","unstructured":"Tsarkov, D., Riazanov, A., Bechhofer, S., Horrocks, I.: Using Vampire to Reason with OWL. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 471\u2013485. Springer, Heidelberg (2004)"},{"key":"35_CR16","unstructured":"W3C OWL Working Group (ed.): OWL\u00a02 Web Ontology Language: Document Overview. W3C Recommendation (October 27, 2009), \n                  \n                    http:\/\/www.w3.org\/TR\/owl2-overview\/"},{"key":"35_CR17","unstructured":"W3C WebOnt OWL Working Group: OWL\u00a01 Test Results (March 9, 2004), \n                  \n                    http:\/\/www.w3.org\/2003\/08\/owl-systems\/test-results-out"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2013 CADE-23"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22438-6_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,30]],"date-time":"2019-03-30T02:41:29Z","timestamp":1553913689000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22438-6_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642224379","9783642224386"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22438-6_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}