{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T00:26:07Z","timestamp":1742948767736,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540893776"},{"type":"electronic","value":"9783540893783"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-89378-3_8","type":"book-chapter","created":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T16:43:58Z","timestamp":1227717838000},"page":"79-85","source":"Crossref","is-referenced-by-count":4,"title":["An\u00a0Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory"],"prefix":"10.1007","author":[{"given":"Philip H. P.","family":"Nguyen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ken","family":"Kaneiwa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan R.","family":"Corbett","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minh-Quang","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","first-page":"89","volume":"3","author":"A.G. Cohn","year":"1989","unstructured":"Cohn, A.G.: Taxonomic reasoning with many sorted logics. Artificial Intelligence, Rev.\u00a03, 89\u2013128 (1989)","journal-title":"Artificial Intelligence, Rev."},{"key":"8_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0087-2","volume-title":"Reasoning and Unification over Conceptual Graphs","author":"D. Corbett","year":"2003","unstructured":"Corbett, D.: Reasoning and Unification over Conceptual Graphs. Kluwer Academic Publishers, New York (2003)"},{"key":"8_CR3","unstructured":"Dillion, T., et al.: Differentiating Conceptual Modelling from Data Modelling, Knowledge Modelling and Ontology Modelling and a Notation for Ontology Modelling. In: 5th Asia-Pacific Conference on Conceptual Modelling, Wollongong, Australia (January 2008)"},{"issue":"1","key":"8_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/375360.375363","volume":"33","author":"R. Greiner","year":"2001","unstructured":"Greiner, R., Darken, C., Santoso, N.: Efficient Reasoning. ACM Computing Surveys\u00a033(1), 1\u201330 (2001)","journal-title":"ACM Computing Surveys"},{"issue":"2","key":"8_CR5","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/j.artint.2004.05.001","volume":"158","author":"K. Kaneiwa","year":"2004","unstructured":"Kaneiwa, K.: Order-sorted logic programming with predicate hierarchy. Artificial Intelligence\u00a0158(2), 155\u2013188 (2004)","journal-title":"Artificial Intelligence"},{"key":"8_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/978-3-540-76928-6_41","volume-title":"AI 2007: Advances in Artificial Intelligence","author":"K. Kaneiwa","year":"2007","unstructured":"Kaneiwa, K., Iwazume, M., Fukuda, K.: An Upper Ontology for Event Classifications and Relations. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol.\u00a04830, pp. 394\u2013403. Springer, Heidelberg (2007)"},{"key":"8_CR7","first-page":"287","volume-title":"5th Int. Conf. on Artificial Intelligence and Law","author":"K. Nitta","year":"1995","unstructured":"Nitta, K., et al.: New HELIC-II: A software tool for legal reasoning. In: 5th Int. Conf. on Artificial Intelligence and Law, College Park, MD, pp. 287\u2013296. ACM Press, New York (1995)"},{"issue":"2","key":"8_CR8","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1109\/TKDE.2006.18","volume":"18","author":"P. Nguyen","year":"2006","unstructured":"Nguyen, P., Corbett, D.: A Basic Mathematical Framework for Conceptual Graphs. IEEE Transactions on Knowledge and Data Engineering\u00a018(2), 261\u2013271 (2006)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"8_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/11961239_21","volume-title":"Advances in Knowledge Acquisition and Management","author":"P. Nguyen","year":"2006","unstructured":"Nguyen, P., Corbett, D.: Building Corporate Knowledge through Ontology Integration. In: Hoffmann, A., Kang, B.-h., Richards, D., Tsumoto, S. (eds.) PKAW 2006. LNCS (LNAI), vol.\u00a04303, pp. 223\u2013229. Springer, Heidelberg (2006)"},{"key":"8_CR10","unstructured":"World Wide Web Consortium, OWL Web Ontology Language - Use Cases and Requirements (2004), \n                    \n                      http:\/\/www.w3.org\/TR\/webont-req\/"}],"container-title":["Lecture Notes in Computer Science","AI 2008: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89378-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:45:25Z","timestamp":1558266325000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89378-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540893776","9783540893783"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89378-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}