{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:15:17Z","timestamp":1725585317041},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642210631"},{"type":"electronic","value":"9783642210648"}],"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-21064-8_40","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T12:26:10Z","timestamp":1307708770000},"page":"487-491","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning in Expressive Extensions of the RDF Semantics"],"prefix":"10.1007","author":[{"given":"Michael","family":"Schneider","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"40_CR1","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":"40_CR2","unstructured":"Glimm, B., Ogbuji, C. (eds.): SPARQL 1.1 Entailment Regimes. W3C Working Draft (October 14, 2010)"},{"key":"40_CR3","unstructured":"Hawke, S.: Surnia (2003), \n                    \n                      http:\/\/www.w3.org\/2003\/08\/surnia"},{"key":"40_CR4","unstructured":"Hayes, P.: Translating Semantic Web Languages into Common Logic (July 18, 2005), \n                    \n                      http:\/\/www.ihmc.us\/users\/phayes\/CL\/SW2SCL.html"},{"key":"40_CR5","unstructured":"Hayes, P. (ed.): RDF Semantics. W3C Recommendation (February 10, 2004)"},{"key":"40_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)"},{"issue":"4","key":"40_CR7","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":"40_CR8","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)"},{"key":"40_CR9","unstructured":"Schneider, M. (ed.): OWL\u00a02 Web Ontology Language: RDF-Based Semantics. W3C Recommendation (October 27, 2009)"},{"key":"40_CR10","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":"40_CR11","unstructured":"Voronkov, A.: Automated Reasoning: Past Story and New Trends. In: Proc. IJCAI 2003, pp. 1607\u20131612 (2003)"},{"key":"40_CR12","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","The Semanic Web: Research and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21064-8_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T15:07:01Z","timestamp":1553785621000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21064-8_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642210631","9783642210648"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21064-8_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}