{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,15]],"date-time":"2025-03-15T15:10:02Z","timestamp":1742051402108,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642233906"},{"type":"electronic","value":"9783642233913"}],"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-23391-3_11","type":"book-chapter","created":{"date-parts":[[2011,12,12]],"date-time":"2011-12-12T11:51:14Z","timestamp":1323690674000},"page":"148-162","source":"Crossref","is-referenced-by-count":1,"title":["Common Languages for Web Semantics"],"prefix":"10.1007","author":[{"given":"Seiji","family":"Koide","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hideaki","family":"Takeda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Hayes, McBride, P.B.: RDF Semantics. W3C Recommendation (2004), http:\/\/www.w3.org\/TR\/rdf-mt\/"},{"key":"11_CR2","unstructured":"Smith, M.K., Welty, C., McGuinness, D.L.: OWL Web Ontology Language Guide. W3C Recommendation (2004), http:\/\/www.w3.org\/TR\/owl-guide\/"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/11836025_27","volume-title":"The Semantic Web \u2013 ASWC 2006","author":"S. Koide","year":"2006","unstructured":"Koide, S., Takeda, H.: OWL-Full reasoning from an object oriented perspective. In: Mizoguchi, R., Shi, Z.-Z., Giunchiglia, F. (eds.) ASWC 2006. LNCS, vol.\u00a04185, pp. 263\u2013277. Springer, Heidelberg (2006)"},{"key":"#cr-split#-11_CR4.1","unstructured":"3. Tarski, A.: Introduction to Logic. Dover, New York (1946\/1995)"},{"key":"#cr-split#-11_CR4.2","unstructured":"4. This book is an extended edition of the book of title \"On Mathematical Logic and Deductive Method,\" which appeared at 1936 in Polish"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1207\/s15516709cog0203_5","volume":"2","author":"D. McDermott","year":"1978","unstructured":"McDermott, D.: Tarskian semantics, or no notation without denotation! Cognitive Science\u00a02, 277\u2013282 (1978)","journal-title":"Cognitive Science"},{"key":"11_CR6","volume-title":"Artificial Intelligence: A Modern Approach","author":"S. Russell","year":"2003","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice Hall, Englewood Cliffs (2003)","edition":"2"},{"key":"11_CR7","unstructured":"McGuinness, D.L., van Harmelen. F.: OWL Web Ontology Language Overview, W3C Recommendation (2004), http:\/\/www.w3.org\/TR\/owl-features\/"},{"key":"11_CR8","unstructured":"Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL Web Ontology Language Semantics and Abstract Syntax, W3C Recommendation (2004), http:\/\/www.w3.org\/TR\/owl-semantics\/"},{"key":"11_CR9","unstructured":"Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL Web Ontology Language Semantics and Abstract Syntax section 5 rdf-compatible model-theoretic semantics, W3C Recommendation (2004), http:\/\/www.w3.org\/TR\/owl-semantics\/rdfs.html"},{"key":"11_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1405.001.0001","volume-title":"The Art of the Metaobject Protocol","author":"G. Kiczales","year":"1991","unstructured":"Kiczales, G., des Rivi\u00e8res, J., Bobrow, D.G.: The Art of the Metaobject Protocol. MIT Press, Cambridge (1991)"},{"key":"11_CR11","first-page":"28","volume-title":"The 6th European Lisp Workshop ELW 2009","author":"S. Koide","year":"2009","unstructured":"Koide, S., Takeda, H.: Meta-circularity and mop in common lisp for owl full. In: The 6th European Lisp Workshop ELW 2009, pp. 28\u201334. ACM, New York (2009)"},{"key":"11_CR12","first-page":"23","volume-title":"11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1984","author":"B.C. Smith","year":"1984","unstructured":"Smith, B.C.: Reflection and Semantics in Lisp. In: 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1984, pp. 23\u201335. ACM, New York (1984)"},{"key":"11_CR13","unstructured":"Hayes, P., Menzel, C.: A Semantics for the Knowledge Interchange Format. In: IJCAI 2001 Workshop on the IEEE Standard Upper Ontology (2001)"},{"key":"11_CR14","unstructured":"Neuhaus, F.: The Semantics of Modules in Common Logic. In: Smith, B., Mizoguchi, R., Nakagawa, S. (eds.) Interdisciplinary Ontology, Open Research Centre for Logic and Formal Ontology, Keio University, vol. 3, pp. 107\u2013117 (2010)"},{"key":"11_CR15","unstructured":"Guha, R.V., Hayes, P.: Lbase: Semantics for Languages of the Semantic Web, Note, W3C (2003)"},{"key":"11_CR16","unstructured":"Motik, B., Patel-Schneider, P.F., Grau, B.C.: OWL 2 Web Ontology Language Direct Semantics, W3C Recommendation (2009), http:\/\/www.w3.org\/TR\/owl2-direct-semantics\/"},{"key":"11_CR17","unstructured":"Carroll, J., Herman, I., Patel-Schneider, P.F.: OWL 2 Web Ontology Language RDF-based Semantics, W3C Recommendation (2009), http:\/\/www.w3.org\/TR\/owl2-rdf-based-semantics\/"},{"issue":"5-6","key":"11_CR18","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1006\/ijhc.1995.1068","volume":"43","author":"J.F. Sowa","year":"1995","unstructured":"Sowa, J.F.: Top-level Ontological Categories. Int. J. Hum.-Comput. Stud.\u00a043(5-6), 669\u2013685 (1995)","journal-title":"Int. J. Hum.-Comput. Stud."},{"key":"11_CR19","volume-title":"Knowledge Representation: Logical, Philosophical, and Computational Foundations","author":"J.F. Sowa","year":"1999","unstructured":"Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks Cole Publishing, Monterey (1999)"},{"key":"11_CR20","unstructured":"Guarino, N.: Some Ontological Principles for Designing Upper Level Lexical Resources. In: Rubio, N., Castro, T. (eds.) 1st Int. Conf. Lexical Resources and Evaluation, pp. 527\u2013534 (1998)"},{"issue":"2","key":"11_CR21","doi-asserted-by":"crossref","first-page":"159","DOI":"10.3233\/APO-2007-038","volume":"2","author":"R. Mizoguchi","year":"2007","unstructured":"Mizoguchi, R., Sunagawa, E., Kozaki, K., Kitamura, Y.: The Model of Roles within an Ontology Development Tool: Hozo. Appl. Ontol.\u00a02(2), 159\u2013179 (2007)","journal-title":"Appl. Ontol."},{"key":"11_CR22","unstructured":"Kozaki, K., Sunagawa, E., Kitamura, Y., Mizoguchi, R.: Role Representation Model Using OWL and SWRL. In: 2nd Workshop on Roles and Relationships in Object Oriented Programming, Multiagent Systems, and Ontologies (2007)"},{"issue":"4","key":"11_CR23","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1142\/S0218843095000147","volume":"4","author":"H. Takeda","year":"1995","unstructured":"Takeda, H., Iino, K., Nishida, T.: Agent Organization and Communication with Multiple Ontologies. Int. J. Cooperative Inf. Syst.\u00a04(4), 321\u2013338 (1995)","journal-title":"Int. J. Cooperative Inf. Syst."}],"container-title":["Communications in Computer and Information Science","Evaluation of Novel Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23391-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,15]],"date-time":"2025-03-15T14:40:11Z","timestamp":1742049611000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23391-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642233906","9783642233913"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23391-3_11","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}