{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T05:42:14Z","timestamp":1673415734634},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2009,11,13]],"date-time":"2009-11-13T00:00:00Z","timestamp":1258070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1007\/s10506-009-9082-z","type":"journal-article","created":{"date-parts":[[2009,11,12]],"date-time":"2009-11-12T10:04:13Z","timestamp":1258020253000},"page":"291-320","source":"Crossref","is-referenced-by-count":2,"title":["Meta-relation and ontology closure in Conceptual Structure Theory"],"prefix":"10.1007","volume":"17","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","published-online":{"date-parts":[[2009,11,13]]},"reference":[{"key":"9082_CR1","unstructured":"Bechhofer S et al (2004) OWL Web Ontology Language Reference Feb 2004, http:\/\/www.w3.org\/TR\/owl-ref\/"},{"key":"9082_CR2","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0004-3702(92)90055-3","volume":"55","author":"C Beierle","year":"1992","unstructured":"Beierle C et al (1992) An order-sorted logic for knowledge representation systems. Artif Intell 55:149\u2013191","journal-title":"Artif Intell"},{"key":"9082_CR3","first-page":"73","volume-title":"Legal knowledge and information systems (Jurix 2002)","author":"J Breuker","year":"2002","unstructured":"Breuker J, Elhag L, Petkov E, Winkels R (2002) Ontologies for legal information serving and knowledge management. In: Bench-Capon T et al (eds) Legal knowledge and information systems (Jurix 2002). IOS Press, Amsterdam, pp 73\u201382"},{"issue":"3","key":"9082_CR4","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W Chen","year":"1993","unstructured":"Chen W, Kifer M, Warren D (1993) HiLog: a foundation for higher-order logic programming. J Log Program 15(3):187\u2013230","journal-title":"J Log Program"},{"issue":"6","key":"9082_CR5","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"EF Codd","year":"1970","unstructured":"Codd EF (1970) A relational model of data for large shared data banks. Commun ACM 13(6):377\u2013387","journal-title":"Commun ACM"},{"key":"9082_CR6","first-page":"89","volume":"3","author":"AG Cohn","year":"1989","unstructured":"Cohn AG (1989) Taxonomic reasoning with many sorted logics. Artif Intell Rev 3:89\u2013128","journal-title":"Artif Intell Rev"},{"key":"9082_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-0087-2","volume-title":"Reasoning and unification over conceptual graphs","author":"D Corbett","year":"2003","unstructured":"Corbett D (2003) Reasoning and unification over conceptual graphs. Kluwer Academic Publishers, New York"},{"key":"9082_CR8","unstructured":"Dillion T, Chang E, Hadzic M, Wongthongtham P (2008) Differentiating conceptual modelling from data modelling, knowledge modelling and ontology modelling and a notation for ontology modelling, 5th Asia-Pacific conference on conceptual modelling, Wollongong, Australia, Jan 2008"},{"issue":"1","key":"9082_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/375360.375363","volume":"33","author":"R Greiner","year":"2001","unstructured":"Greiner R, Darken C, Santoso N (2001) Efficient reasoning. ACM Comput Surv 33(1):1\u201330","journal-title":"ACM Comput Surv"},{"key":"9082_CR10","unstructured":"ISO\/IEC International Standard (2007) Information technology\u2014common logic (CL): a framework for a family of logic-based languages, ISO\/IEC 24707:2007(E), Oct 2007"},{"key":"9082_CR11","unstructured":"Kaneiwa K (2001) An order-sorted logic with predicate hierarchy, eventuality and implicit negation, PhD thesis, Japan Advanced Inst. of Science and Technology, 2001"},{"issue":"2","key":"9082_CR12","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/j.artint.2004.05.001","volume":"158","author":"K Kaneiwa","year":"2004","unstructured":"Kaneiwa K (2004) Order-sorted logic programming with predicate hierarchy. Artif Intell 158(2):155\u2013188","journal-title":"Artif Intell"},{"key":"9082_CR13","unstructured":"Kaneiwa K, Tojo S (1999) Event, property and hierarchy in order-sorted logic. Proceedings of international conference on logic programming, Las Cruces, USA, pp 94\u2013108"},{"key":"9082_CR14","doi-asserted-by":"crossref","unstructured":"Kaneiwa K, Iwazume M, Fukuda K (2007) An upper ontology for event classifications and relations, 20th Australian joint conference on artificial intelligence, Dec 2007, Gold Coast, Australia, LNCS, Vol 4830, pp 394\u2013403","DOI":"10.1007\/978-3-540-76928-6_41"},{"issue":"2","key":"9082_CR15","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1109\/TKDE.2006.18","volume":"18","author":"P Nguyen","year":"2006","unstructured":"Nguyen P, Corbett D (2006a) A basic mathematical framework for conceptual graphs. IEEE Trans Knowl Data Eng 18(2):261\u2013271","journal-title":"IEEE Trans Knowl Data Eng"},{"key":"9082_CR16","doi-asserted-by":"crossref","unstructured":"Nguyen P, Corbett D (2006b) Building corporate knowledge through ontology integration. Pacific Rim Knowledge Acquisition Workshop (PKAW-06), 08-2006, Guilin, China, LNAI 4303, pp 223\u2013229","DOI":"10.1007\/11961239_21"},{"key":"9082_CR17","unstructured":"Nguyen P, Corbett D (2007) A formalization of subjective and objective time ontologies. 3rd Australasian ontology workshop (AOW-07), Dec 2007, Gold Coast, Australia, CRPIT, Vol 85, pp 45\u201354"},{"key":"9082_CR18","doi-asserted-by":"crossref","unstructured":"Nguyen P, Kaneiwa K, Corbett D, Nguyen MQ (2008) An ontology formalization of relation type hierarchy in conceptual structure theory. 21st Australasian conference on AI, Auckland, NZ, Dec 2008, LNAI 5360, pp 79\u201385","DOI":"10.1007\/978-3-540-89378-3_8"},{"key":"9082_CR19","doi-asserted-by":"crossref","unstructured":"Nitta K et al (1995) New HELIC-II: A software tool for legal reasoning. 5th international conference on artificial intelligence and law, College Park, MD, ACM Press, pp 287\u2013296","DOI":"10.1145\/222092.222260"},{"key":"9082_CR20","volume-title":"An introduction to formal logic","author":"P Smith","year":"2003","unstructured":"Smith P (2003) An introduction to formal logic. Cambridge University Press, Cambridge"},{"key":"9082_CR21","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1186\/gb-2005-6-5-r46","volume":"6","author":"B Smith","year":"2005","unstructured":"Smith B et al (2005) Relations in biomedical ontologies. Genome Biol 6:46","journal-title":"Genome Biol"},{"key":"9082_CR22","volume-title":"Conceptual structures\u2014information processing in mind and machine","author":"J Sowa","year":"1984","unstructured":"Sowa J (1984) Conceptual structures\u2014information processing in mind and machine. Addison-Wesley, Reading"},{"key":"9082_CR23","volume-title":"Knowledge representation: logical, philosophical, and computational foundations","author":"J Sowa","year":"2000","unstructured":"Sowa J (2000) Knowledge representation: logical, philosophical, and computational foundations. Brooks Cole Publishing Co, Pacific Grove"},{"key":"9082_CR24","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/978-3-642-52449-3_4","volume-title":"Wissensmanagement mit Referenzmodellen\u2014Konzepte f\u00fcr die Anwendungssystem und Organisationsgestaltung","author":"G Stumme","year":"2002","unstructured":"Stumme G (2002) Using ontologies and formal concept analysis for organizing business knowledge. In: Becke J, Knackstedt R (eds) Wissensmanagement mit Referenzmodellen\u2014Konzepte f\u00fcr die Anwendungssystem und Organisationsgestaltung. Physica, Heidelberg, pp 163\u2013174"},{"key":"9082_CR25","volume-title":"Ordered sets","author":"R Wille","year":"1982","unstructured":"Wille R (1982) Restructuring lattice theory: an approach based on hierarchies of concepts. In: Rival I (ed) Ordered sets. Reidel, Dordrecht"},{"key":"9082_CR26","unstructured":"World Wide Web Consortium (2004) OWL web ontology language\u2014use cases and requirements, 2004, http:\/\/www.w3.org\/TR\/webont-req\/"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-009-9082-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10506-009-9082-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-009-9082-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T18:57:16Z","timestamp":1559156236000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10506-009-9082-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11,13]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["9082"],"URL":"https:\/\/doi.org\/10.1007\/s10506-009-9082-z","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"value":"0924-8463","type":"print"},{"value":"1572-8382","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,11,13]]}}}