{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T04:14:48Z","timestamp":1725596088648},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642226878"},{"type":"electronic","value":"9783642226885"}],"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-22688-5_2","type":"book-chapter","created":{"date-parts":[[2011,7,18]],"date-time":"2011-07-18T11:35:40Z","timestamp":1310988940000},"page":"19-34","source":"Crossref","is-referenced-by-count":0,"title":["Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Rudolph","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"2_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1004275029985","volume":"27","author":"H. Andr\u00e9ka","year":"1998","unstructured":"Andr\u00e9ka, H., van Benthem, J.F.A.K., N\u00e9meti, I.: Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic\u00a027(3), 217\u2013274 (1998)","journal-title":"Journal of Philosophical Logic"},{"key":"2_CR2","unstructured":"Boley, H., Hallmark, G., Kifer, M., Paschke, A., Polleres, A., Reynolds, D. (eds.): RIF Core Dialect. W3C Recommendation (June 22, 2010), http:\/\/www.w3.org\/TR\/rif-core\/"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Boley, H., Kifer, M. (eds.): RIF Basic Logic Dialect. W3C Recommendation (June 22, 2010), http:\/\/www.w3.org\/TR\/rif-bld\/","DOI":"10.1109\/TKDE.2010.84"},{"key":"2_CR4","unstructured":"Brickley, D., Guha, R. (eds.): RDF Vocabulary Description Language 1.0: RDF Schema. W3C Recommendation (February 10, 2004), http:\/\/www.w3.org\/TR\/rdf-schema\/"},{"key":"2_CR5","unstructured":"de Bruijn, J. (ed.): RIF RDF and OWL Compatibility. W3C Recommendation (June 22, 2010), http:\/\/www.w3.org\/TR\/rif-rdf-owl\/"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K. G\u00f6del","year":"1931","unstructured":"G\u00f6del, K.: \u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme. Monatshefte f\u00fcr Mathematik und Physik\u00a038, 173\u2013198 (1931)","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"key":"2_CR7","unstructured":"G\u00f6del, K.: \u00dcber die Vollst\u00e4ndigkeit des Logikkalk\u00fcls. Ph.D. thesis, Universit\u00e4t Wien (1929)"},{"key":"2_CR8","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), http:\/\/www.ihmc.us\/users\/phayes\/CL\/SW2SCL.html"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Hitzler, P., Kr\u00f6tzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall\/CRC (2009)","DOI":"10.1201\/9781420090512"},{"key":"2_CR10","unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B.N., Dean, M.: SWRL: A Semantic Web Rule Language. W3C Member Submission (May 21, 2004), http:\/\/www.w3.org\/Submission\/SWRL\/"},{"key":"2_CR11","unstructured":"ISO\/IEC JTC 1: Common Logic (CL): A Framework for a Family of Logic-based Languages. No. ISO\/IEC 24707: 2007(E), ISO International Standard (October 1, 2007), http:\/\/cl.tamu.edu\/"},{"key":"2_CR12","unstructured":"Kifer, M., Boley, H. (eds.): RIF Overview. W3C Recommendation (June 22, 2010), http:\/\/www.w3.org\/TR\/rif-overview\/"},{"key":"2_CR13","unstructured":"Manola, F., Miller, E. (eds.): Resource Description Framework (RDF). Primer. W3C Recommendation (February 10, 2004), http:\/\/www.w3.org\/TR\/rdf-primer\/"},{"key":"2_CR14","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL\u00a02 Web Ontology Language: Profiles. W3C Recommendation (October 27, 2009), http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"key":"2_CR15","unstructured":"Motik, B., Patel-Schneider, P.F., Cuenca Grau, B. (eds.): OWL\u00a02 Web Ontology Language: Direct Semantics. W3C Recommendation (October 27, 2009), http:\/\/www.w3.org\/TR\/owl2-direct-semantics\/"},{"key":"2_CR16","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), http:\/\/www.w3.org\/TR\/owl2-syntax\/"},{"key":"2_CR17","unstructured":"OWL Working Group, W: OWL\u00a02 Web Ontology Language: Document Overview. W3C Recommendation (October 27, 2009), http:\/\/www.w3.org\/TR\/owl2-overview\/"},{"key":"2_CR18","unstructured":"Patel-Schneider, P.F., Motik, B. (eds.): OWL\u00a02 Web Ontology Language: Mapping to RDF Graphs. W3C Recommendation (October 27, 2009), http:\/\/www.w3.org\/TR\/owl2-mapping-to-rdf\/"},{"key":"2_CR19","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1613\/jair.3029","volume":"39","author":"S. Rudolph","year":"2010","unstructured":"Rudolph, S., Glimm, B.: Nominals, inverses, counting, and conjunctive queries or: Why infinity is your friend! J. Artif. Intell. Res. (JAIR)\u00a039, 429\u2013481 (2010)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"2_CR20","unstructured":"Rudolph, S., Schneider, M.: On the utility and feasibility of reasoning with undecidable semantic web formalisms. Technical Report 3016, Institute AIFB, Karlsruhe Institute of Technology (2011), http:\/\/www.aifb.kit.edu\/web\/Techreport3016\/en"},{"key":"2_CR21","unstructured":"Schneider, M. (ed.): OWL\u00a02 Web Ontology Language: RDF-Based Semantics. W3C Recommendation (27 October 2009), http:\/\/www.w3.org\/TR\/owl2-rdf-based-semantics\/"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Schneider, M., Sutcliffe, G.: Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving. In: Bj\u00f8rner, N., Sofronie-Stokkermans, V. (eds.) Proceedings of the 23rd International Conference on Automated Deduction, CADE 23 (2011) (to appear)","DOI":"10.1007\/978-3-642-22438-6_35"},{"key":"2_CR23","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)"},{"issue":"2","key":"2_CR24","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1112\/plms\/s2-42.1.230","volume":"42","author":"A.M. Turing","year":"1937","unstructured":"Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society\u00a042(2), 230\u2013265 (1937)","journal-title":"Proceedings of the London Mathematical Society"},{"key":"2_CR25","unstructured":"Villanueva-Rosales, N., Dumontier, M.: Describing Chemical Functional Groups in OWL-DL for the Classification of Chemical Compounds. In: Golbreich, C., Kalyanpur, A., Parsia, B. (eds.) Proceedings of the 3rd International Workshop on OWL: Experiences and Directions (OWLED 2007). CEUR Workshop Proceedings, vol.\u00a0258 (2007), http:\/\/ceur-ws.org\/Vol-258\/paper28.pdf"},{"key":"2_CR26","first-page":"1607","volume-title":"Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003)","author":"A. Voronkov","year":"2003","unstructured":"Voronkov, A.: Automated Reasoning: Past Story and New Trends. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 1607\u20131612. Morgan Kaufmann Publishers Inc., San Francisco (2003)"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures for Discovering Knowledge"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22688-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T01:36:01Z","timestamp":1560389761000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22688-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642226878","9783642226885"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22688-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}