{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:56:16Z","timestamp":1725688576148},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642299223"},{"type":"electronic","value":"9783642299230"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29923-0_1","type":"book-chapter","created":{"date-parts":[[2012,6,15]],"date-time":"2012-06-15T18:24:21Z","timestamp":1339784661000},"page":"1-16","source":"Crossref","is-referenced-by-count":1,"title":["A Method of Contrastive Reasoning with Inconsistent Ontologies"],"prefix":"10.1007","author":[{"given":"Jun","family":"Fang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhisheng","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"van Harmelen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/BF02127972","volume":"17","author":"J.J.C. Meyer","year":"1996","unstructured":"Meyer, J.J.C., van der Hoek, W.: A modal contrastive logic: The logic of \u2019but\u2019. Annals of Mathematics and Arlificial Intelligence\u00a017, 291\u2013313 (1996)","journal-title":"Annals of Mathematics and Arlificial Intelligence"},{"issue":"5","key":"1_CR2","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1093\/jigpal\/3.5.725","volume":"3","author":"N. Francez","year":"1995","unstructured":"Francez, N.: Contrastive logic. Logic Journal of the IGPL\u00a03(5), 725\u2013744 (1995)","journal-title":"Logic Journal of the IGPL"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"897","DOI":"10.1037\/0022-3514.64.6.897","volume":"64","author":"A.L. McGill","year":"1993","unstructured":"McGill, A.L., Klein, J.G.: Counterfactual and contrastive reasoning in causal judgment. Journal of Personality and Social Psychology\u00a0(64), 897\u2013905 (1993)","journal-title":"Journal of Personality and Social Psychology"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Fang, J., Huang, Z., van Frank, H.: Contrastive reasoning with inconsistent ontologies. In: Proceedings of 2011 IEEE\/WIC\/ACM International Conference on Web Intelligence (WI 2011), pp. 191\u2013194 (2011)","DOI":"10.1109\/WI-IAT.2011.59"},{"key":"1_CR5","unstructured":"Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proceedings of IJCAI 2005, pp. 454\u2013459 (2005)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/11574620_27","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"P. Haase","year":"2005","unstructured":"Haase, P., van Harmelen, F., Huang, Z., Stuckenschmidt, H., Sure, Y.: A Framework for Handling Inconsistency in Changing Ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 353\u2013367. Springer, Heidelberg (2005)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-540-88564-1_12","volume-title":"The Semantic Web - ISWC 2008","author":"Z. Huang","year":"2008","unstructured":"Huang, Z., van Harmelen, F.: Using Semantic Distances for Reasoning with Inconsistent Ontologies. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 178\u2013194. Springer, Heidelberg (2008)"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-540-76298-0_20","volume-title":"The Semantic Web","author":"A. Kalyanpur","year":"2007","unstructured":"Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all Justifications of OWL DL Entailments. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol.\u00a04825, pp. 267\u2013280. Springer, Heidelberg (2007)"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-04388-8_11","volume-title":"Scalable Uncertainty Management","author":"M. Horridge","year":"2009","unstructured":"Horridge, M., Parsia, B., Sattler, U.: Explaining Inconsistencies in OWL Ontologies. In: Godo, L., Pugliese, A. (eds.) SUM 2009. LNCS, vol.\u00a05785, pp. 124\u2013137. Springer, Heidelberg (2009)"},{"key":"1_CR10","unstructured":"Baader, F., Suntisrivaraporn, B.: Debugging SNOMED CT using axiom pinpointing in the description logic $\\mathcal{EL}^+$ . In: KR-MED 2008. CEUR-WS, vol.\u00a0410 (2008)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Du, J., Shen, Y.D.: Computing minimum cost diagnoses to repair populated dl-based ontologies. In: WWW, pp. 565\u2013574 (2008)","DOI":"10.1145\/1367497.1367574"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-642-15280-1_11","volume-title":"Knowledge Science, Engineering and Management","author":"J. Du","year":"2010","unstructured":"Du, J., Qi, G.: Decomposition-Based Optimization for Debugging of Inconsistent OWL DL Ontologies. In: Bi, Y., Williams, M.-A. (eds.) KSEM 2010. LNCS, vol.\u00a06291, pp. 88\u2013100. Springer, Heidelberg (2010)"},{"key":"1_CR13","unstructured":"Flouris, G., Huang, Z., Pan, J.Z., Plexousakis, D., Wache, H.: Inconsistencies, negations and changes in ontologies. In: Proc. of AAAI 2006, pp. 1295\u20131300 (2006)"},{"key":"1_CR14","unstructured":"Brewka, G.: Preferred subtheories: An extended logical framework for default reasoning. In: Proceedings of IJCAI 1989, pp. 1043\u20131048 (1989)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29923-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,30]],"date-time":"2019-06-30T01:17:46Z","timestamp":1561857466000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29923-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642299223","9783642299230"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29923-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}