{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:01:21Z","timestamp":1725494481505},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540767183"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76719-0_48","type":"book-chapter","created":{"date-parts":[[2007,11,12]],"date-time":"2007-11-12T14:38:05Z","timestamp":1194878285000},"page":"496-501","source":"Crossref","is-referenced-by-count":0,"title":["Term Consistency Checking of Ontology Model Based on Description Logics"],"prefix":"10.1007","author":[{"given":"Changrui","family":"Yu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"Luo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"48_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":"Symbolic Logic"},{"volume-title":"The Description Logic Handbook - Theory, Implementation and Applications","year":"2003","key":"48_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":"48_CR3","unstructured":"Baclawski, K., Kokar, M., Smith, J.: Consistency Checking of RM-ODP Specifications. International Conference on Enterprise Information Systems, Set\u00fabal, Portugal (2001)"},{"key":"48_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":"48_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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.) Conceptual Modeling for Advanced Application Domains. LNCS, vol.\u00a03289, pp. 198\u2013209. Springer, Heidelberg (2004)"},{"key":"48_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-24750-0","volume-title":"Handbooks on Ontologies","author":"S. Staab","year":"2004","unstructured":"Staab, S., Studer, R.: Handbooks on Ontologies. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76719-0_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:36:10Z","timestamp":1619519770000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76719-0_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540767183"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76719-0_48","relation":{},"subject":[]}}