{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:23:00Z","timestamp":1725700980859},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642331572"},{"type":"electronic","value":"9783642331589"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-33158-9_6","type":"book-chapter","created":{"date-parts":[[2012,8,18]],"date-time":"2012-08-18T09:54:23Z","timestamp":1345283663000},"page":"211-244","source":"Crossref","is-referenced-by-count":1,"title":["Reasoning with Uncertain and Inconsistent OWL Ontologies"],"prefix":"10.1007","author":[{"given":"Guilin","family":"Qi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianfeng","family":"Du","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"6_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York (2003)"},{"key":"6_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-74565-5_7","volume-title":"KI 2007: Advances in Artificial Intelligence","author":"F. Baader","year":"2007","unstructured":"Baader, F., Pe\u00f1aloza, R., Suntisrivaraporn, B.: Pinpointing in the Description Logic EL \u2009+\u2009. In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol.\u00a04667, pp. 52\u201367. Springer, Heidelberg (2007)"},{"key":"6_CR3","unstructured":"Benferhat, S., Cayrol, C., Dubois, D., Lang, J., Prade, H.: Inconsistency management and prioritized syntax-based entailment. In: Proc. of IJCAI 1993, pp. 640\u2013647 (1993)"},{"issue":"3-4","key":"6_CR4","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1023\/A:1018939502485","volume":"22","author":"C. Cayrol","year":"1998","unstructured":"Cayrol, C., Lagasquie-Schiex, M., Schiex, T.: Nonmonotonic reasoning: From complexity to algorithms. Annals of Mathematics and Artificial Intelligence\u00a022(3-4), 207\u2013236 (1998)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Du, J., Qi, G., Shen, Y.: Weight-based consistent query answering over inconsistent shiq knowledge bases. Knowledge and Information Systems (2012), doi:10.1007\/s10115-012-0478-9","DOI":"10.1007\/s10115-012-0478-9"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Du, J., Shen, Y.: Computing minimum cost diagnoses to repair populated dl-based ontologies. In: Proc. of WWW 2008, pp. 565\u2013574. ACM (2008)","DOI":"10.1145\/1367497.1367574"},{"key":"6_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/SAT190014","volume":"2","author":"N. E\u00e9n","year":"2006","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: Translating pseudo-boolean constraints into SAT. Journal on Satisfiability, Boolean Modeling and Computation\u00a02, 1\u201326 (2006)","journal-title":"Journal on Satisfiability, Boolean Modeling and Computation"},{"issue":"3","key":"6_CR8","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1145\/261124.261126","volume":"22","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Mannila, H.: Disjunctive datalog. ACM Transactions on Database Systems\u00a022(3), 364\u2013418 (1997)","journal-title":"ACM Transactions on Database Systems"},{"key":"6_CR9","volume-title":"Ontology Matching","author":"J. Euzenat","year":"2007","unstructured":"Euzenat, J., Shvaiko, P.: Ontology Matching. Springer, Heidelberg (2007)"},{"key":"6_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2360-3","volume-title":"First-order Logic and Automated Theorem Proving","author":"M. Fitting","year":"1996","unstructured":"Fitting, M.: First-order Logic and Automated Theorem Proving, 2nd edn. Springer-Verlag New York, Inc., Secaucus (1996)","edition":"2"},{"key":"6_CR11","volume-title":"Knowledge in Flux-Modeling the Dynamic of Epistemic States","author":"P. Gardenfors","year":"1988","unstructured":"Gardenfors, P.: Knowledge in Flux-Modeling the Dynamic of Epistemic States. The MIT Press, Cambridge (1988)"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: Proc. of WWW, pp. 717\u2013726 (2007)","DOI":"10.1145\/1242572.1242669"},{"key":"6_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/978-3-540-89765-1_21","volume-title":"Uncertainty Reasoning for the Semantic Web I","author":"P. Haase","year":"2008","unstructured":"Haase, P., V\u00f6lker, J.: Ontology Learning and Reasoning \u2014 Dealing with Uncertainty and Inconsistency. In: da Costa, P.C.G., d\u2019Amato, C., Fanizzi, N., Laskey, K.B., Laskey, K.J., Lukasiewicz, T., Nickles, M., Pool, M. (eds.) URSW 2005 - 2007. LNCS (LNAI), vol.\u00a05327, pp. 366\u2013384. Springer, Heidelberg (2008)"},{"issue":"6","key":"6_CR14","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/BF01054039","volume":"22","author":"S.O. Hansson","year":"1993","unstructured":"Hansson, S.O.: Reversing the Levi identity. Journal of Philosophical Logic\u00a022(6), 637\u2013669 (1993)","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"6_CR15","doi-asserted-by":"publisher","first-page":"845","DOI":"10.2307\/2275912","volume":"59","author":"S.O. Hansson","year":"1994","unstructured":"Hansson, S.O.: Kernel contraction. Journal Symbolic Logic\u00a059(3), 845\u2013859 (1994)","journal-title":"Journal Symbolic Logic"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Hansson, S.O.: A Textbook of Belief Dynamics: Theory Change and Database Updating. Kluwer Academic Publishers (1999)","DOI":"10.1007\/978-94-007-0814-3"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Heinsohn, J.: Probabilistic description logics. In: Proc. of UAI 1994, pp. 311\u2013318. Morgan Kaufmann (1994)","DOI":"10.1016\/B978-1-55860-332-5.50044-4"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-39718-2_2","volume-title":"The Semantic Web - ISWC 2003","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Reducing OWL Entailment to Description Logic Satisfiability. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 17\u201329. Springer, Heidelberg (2003)"},{"issue":"3","key":"6_CR19","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1093\/jigpal\/8.3.239","volume":"8","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for very expressive description logics. Logic Journal of the IGPL\u00a08(3), 239\u2013263 (2000)","journal-title":"Logic Journal of the IGPL"},{"key":"6_CR20","unstructured":"Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proc. of IJCAI, pp. 454\u2013459 (2005)"},{"issue":"3","key":"6_CR21","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s10817-007-9080-3","volume":"39","author":"U. Hustadt","year":"2007","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reasoning in description logics by a reduction to disjunctive datalog. Journal of Automated Reasoning\u00a039(3), 351\u2013384 (2007)","journal-title":"Journal of Automated Reasoning"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Jaeger, M.: Probabilistic reasoning in terminological logics. In: Proc. KR 1994, pp. 305\u2013316. Morgan Kaufmann (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50124-X"},{"issue":"3","key":"6_CR23","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1016\/0022-0000(88)90039-6","volume":"36","author":"M.W. Krentel","year":"1988","unstructured":"Krentel, M.W.: The complexity of optimization problems. Journal of Computer and System Sciences\u00a036(3), 490\u2013509 (1988)","journal-title":"Journal of Computer and System Sciences"},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-540-72982-2_14","volume-title":"Web Reasoning and Rule Systems","author":"D. Lembo","year":"2007","unstructured":"Lembo, D., Ruzzi, M.: Consistent Query Answering over Description Logic Ontologies. In: Marchiori, M., Pan, J.Z., Marie, C.d.S. (eds.) RR 2007. LNCS, vol.\u00a04524, pp. 194\u2013208. Springer, Heidelberg (2007)"},{"issue":"2","key":"6_CR25","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1006\/inco.1995.1134","volume":"121","author":"C. Lynch","year":"1995","unstructured":"Lynch, C., Snyder, W., Bachmair, L., Ganzinger, H.: Basic paramodulation. Information and Computation\u00a0121(2), 172\u2013192 (1995)","journal-title":"Information and Computation"},{"issue":"1-3","key":"6_CR26","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1023\/A:1014445017537","volume":"34","author":"T. Lukasiewicz","year":"2002","unstructured":"Lukasiewicz, T.: Probabilistic default reasoning with conditional constraints. Annals of Mathematics and Artificial Intelligence\u00a034(1-3), 35\u201388 (2002)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"6-7","key":"6_CR27","doi-asserted-by":"publisher","first-page":"852","DOI":"10.1016\/j.artint.2007.10.017","volume":"172","author":"T. Lukasiewicz","year":"2008","unstructured":"Lukasiewicz, T.: Expressive probabilistic description logics. Artificial Intelligence\u00a0172(6-7), 852\u2013883 (2008)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"6_CR28","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.websem.2008.04.001","volume":"6","author":"T. Lukasiewicz","year":"2008","unstructured":"Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. Journal of Web Semantics\u00a06(4), 291\u2013308 (2008)","journal-title":"Journal of Web Semantics"},{"key":"6_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/978-3-540-72667-8_29","volume-title":"The Semantic Web: Research and Applications","author":"Y. Ma","year":"2007","unstructured":"Ma, Y., Hitzler, P., Lin, Z.: Algorithms for Paraconsistent Reasoning with OWL. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol.\u00a04519, pp. 399\u2013413. Springer, Heidelberg (2007)"},{"key":"6_CR30","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-540-74565-5_10","volume-title":"KI 2007: Advances in Artificial Intelligence","author":"C. Meilicke","year":"2007","unstructured":"Meilicke, C., Stuckenschmidt, H.: Applying Logical Constraints to Ontology Matching. In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol.\u00a04667, pp. 99\u2013113. Springer, Heidelberg (2007)"},{"key":"6_CR31","unstructured":"Meilicke, C., Stuckenschmidt, H., Tamilin, A.: Repairing ontology mappings. In: Proc. of AAAI 2007, pp. 1408\u20131413. AAAI Press (2007)"},{"key":"6_CR32","doi-asserted-by":"crossref","unstructured":"Meilicke, C., Stuckenschmidt, H., Tamilin, A.: Reasoning support for mapping revision. Journal of Logic and Computation (2008)","DOI":"10.1093\/logcom\/exn047"},{"key":"6_CR33","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-540-87696-0_11","volume-title":"Knowledge Engineering: Practice and Patterns","author":"C. Meilicke","year":"2008","unstructured":"Meilicke, C., V\u00f6lker, J., Stuckenschmidt, H.: Learning Disjointness for Debugging Mappings between Lightweight Ontologies. In: Gangemi, A., Euzenat, J. (eds.) EKAW 2008. LNCS (LNAI), vol.\u00a05268, pp. 93\u2013108. Springer, Heidelberg (2008)"},{"key":"6_CR34","unstructured":"Meyer, T., Lee, K., Booth, R.: Knowledge integration for description logics. In: Proc. of AAAI 2005, pp. 645\u2013650 (2005)"},{"key":"6_CR35","unstructured":"Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Univesit\u00e4t karlsruhe, Germany (January 2006)"},{"key":"6_CR36","unstructured":"Nebel, B.: Base revision operations and schemes: Semantics, representation and complexity. In: Proc. of ECAI 1994, pp. 341\u2013345 (1994)"},{"issue":"4","key":"6_CR37","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1006\/jsco.1995.1020","volume":"19","author":"R. Nieuwenhuis","year":"1995","unstructured":"Nieuwenhuis, R., Rubio, A.: Theorem proving with ordering and equality constrained clauses. Journal of Symbolic Computation\u00a019(4), 321\u2013351 (1995)","journal-title":"Journal of Symbolic Computation"},{"key":"6_CR38","doi-asserted-by":"crossref","unstructured":"Odintsov, S.P., Wansing, H.: Inconsistency-tolerant Description Logic: Motivation and Basic Systems, pp. 301\u2013335. Kluwer Academic Publishers (2003)","DOI":"10.1007\/978-94-017-3598-8_11"},{"key":"6_CR39","unstructured":"Pe\u00f1aloza, R., Sertkaya, B.: Axiom pinpointing is hard. In: Proc. of DL 2009 (2009)"},{"key":"6_CR40","unstructured":"Qi, G.: A semantic approach for iterated revision in possibilistic logic. In: Proc. of AAAI, pp. 523\u2013528 (2008)"},{"key":"6_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/978-3-540-88564-1_27","volume-title":"The Semantic Web - ISWC 2008","author":"G. Qi","year":"2008","unstructured":"Qi, G., Haase, P., Huang, Z., Ji, Q., Pan, J.Z., V\u00f6lker, J.: A Kernel Revision Operator for Terminologies \u2014 Algorithms and Evaluation. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 419\u2013434. Springer, Heidelberg (2008)"},{"issue":"4","key":"6_CR42","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1002\/int.20470","volume":"26","author":"G. Qi","year":"2011","unstructured":"Qi, G., Ji, Q., Pan, J.Z., Du, J.: Extending description logics with uncertainty reasoning in possibilistic logic. International Journal of Intelligent Systems\u00a026(4), 353\u2013381 (2011)","journal-title":"International Journal of Intelligent Systems"},{"issue":"1-2","key":"6_CR43","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/s10462-007-9044-3","volume":"26","author":"G. Qi","year":"2006","unstructured":"Qi, G., Liu, W., Bell, D.: A revision-based approach to handling inconsistency in description logics. Artificial Intelligence Review\u00a026(1-2), 115\u2013128 (2006)","journal-title":"Artificial Intelligence Review"},{"issue":"1","key":"6_CR44","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(1), 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"6_CR45","doi-asserted-by":"crossref","first-page":"157","DOI":"10.3233\/SAT190020","volume":"2","author":"H.M. Sheini","year":"2006","unstructured":"Sheini, H.M., Sakallah, K.A.: Pueblo: A hybrid pseudo-boolean SAT solver. Journal on Satisfiability, Boolean Modeling and Computation\u00a02, 157\u2013181 (2006)","journal-title":"Journal on Satisfiability, Boolean Modeling and Computation"},{"key":"6_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-89704-0_1","volume-title":"The Semantic Web","author":"B. Suntisrivaraporn","year":"2008","unstructured":"Suntisrivaraporn, B., Qi, G., Ji, Q., Haase, P.: A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments. In: Domingue, J., Anutariya, C. (eds.) ASWC 2008. LNCS, vol.\u00a05367, pp. 1\u201315. Springer, Heidelberg (2008)"},{"key":"6_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/11926078_2","volume-title":"The Semantic Web - ISWC 2006","author":"A. Zimmermann","year":"2006","unstructured":"Zimmermann, A., Euzenat, J.: Three Semantics for Distributed Systems and Their Relations with Alignment Composition. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 16\u201329. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web. Semantic Technologies for Advanced Query Answering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33158-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,12]],"date-time":"2020-07-12T17:56:37Z","timestamp":1594576597000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33158-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642331572","9783642331589"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33158-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}