{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:28:28Z","timestamp":1726406908395},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540459163"},{"type":"electronic","value":"9783540459170"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11881599_72","type":"book-chapter","created":{"date-parts":[[2006,9,22]],"date-time":"2006-09-22T10:05:25Z","timestamp":1158919525000},"page":"607-610","source":"Crossref","is-referenced-by-count":0,"title":["Extended Ontology Model and Ontology Checking Based on Description Logics"],"prefix":"10.1007","author":[{"given":"Yu","family":"Changrui","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wang","family":"Hongwei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luo","family":"Yan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"72_CR1","doi-asserted-by":"publisher","first-page":"129","DOI":"10.2307\/421020","volume":"4","author":"C.A. Anderson","year":"1998","unstructured":"Anderson, C.A.: Alonzo Church\u2019s contributions to philosophy and intensional logic. Bull. Symbolic Logic\u00a04(2), 129\u2013171 (1998)","journal-title":"Bull. Symbolic Logic"},{"volume-title":"The Description Logic Handbook - Theory, Implementation and Applications","year":"2003","key":"72_CR2","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D. (eds.): The Description Logic Handbook - Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"72_CR3","unstructured":"Baclawski, K., Kokar, M., Smith, J.: Consistency Checking of RM-ODP Specifications. In: International Conference on Enterprise Information Systems, Set\u00fabal, Portugal (2001)"},{"key":"72_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"454","DOI":"10.1007\/3-540-48005-6_40","volume-title":"The Semantic Web - ISWC 2002","author":"K. Baclawski","year":"2002","unstructured":"Baclawski, K., Kokar, M., et al.: Consistency Checking of Semantic Web Ontologies. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, pp. 454\u2013459. Springer, Heidelberg (2002)"},{"key":"72_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-540-30466-1_19","volume-title":"Conceptual Modeling for Advanced Application Domains","author":"F. Weitl","year":"2004","unstructured":"Weitl, F., Freitag, B.: Checking semantic integrity constraints on integrated web documents. In: Wang, S., Tanaka, K., Zhou, S., Ling, T.-W., Guan, J., Yang, D.-q., Grandi, F., Mangina, E.E., Song, I.-Y., Mayr, H.C. (eds.) ER Workshops 2004. LNCS, vol.\u00a03289, pp. 198\u2013209. Springer, Heidelberg (2004)"},{"issue":"3","key":"72_CR6","first-page":"101","volume":"21","author":"W. Hongwei","year":"2003","unstructured":"Hongwei, W., Jiachun, W., Fu, J.: Study on naive ontology model based on Description Logics. System Engineering\u00a021(3), 101\u2013106 (2003)","journal-title":"System Engineering"},{"key":"72_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/10722086_1","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"F. Baader","year":"2000","unstructured":"Baader, F., Sattler, U.: Tableau algorithm for description logics. In: Dyckhoff, R. (ed.) TABLEAUX 2000. LNCS, vol.\u00a01847, pp. 1\u201318. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Fuzzy Systems and Knowledge Discovery"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11881599_72.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:29:52Z","timestamp":1619508592000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11881599_72"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540459163","9783540459170"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/11881599_72","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}