{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:58:28Z","timestamp":1760597908357},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T00:00:00Z","timestamp":1564963200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T00:00:00Z","timestamp":1564963200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61672261","61502199","61872159"],"award-info":[{"award-number":["61672261","61502199","61872159"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[2020,2]]},"DOI":"10.1007\/s10489-019-01528-y","type":"journal-article","created":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T07:02:53Z","timestamp":1564988573000},"page":"620-633","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Exploring duality on ontology debugging"],"prefix":"10.1007","volume":"50","author":[{"given":"Jie","family":"Gao","sequence":"first","affiliation":[]},{"given":"Dantong","family":"Ouyang","sequence":"additional","affiliation":[]},{"given":"Yuxin","family":"Ye","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,8,5]]},"reference":[{"key":"1528_CR1","unstructured":"Baader F, Calvanese D, McGuinness DL, Nardi D., Patel-schneider PF (eds) (2003) The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge"},{"key":"1528_CR2","doi-asserted-by":"crossref","unstructured":"Baader F, Pen\u0307aloza R (2007) Axiom pinpointing in general tableaux. In: Automated reasoning with analytic tableaux and related methods, 16th international conference, TABLEAUX 2007. Proceedings, Aix en Provence, pp 11\u201327","DOI":"10.1007\/978-3-540-73099-6_4"},{"key":"1528_CR3","doi-asserted-by":"crossref","unstructured":"Baader F, Pen\u0307aloza R (2008) Automata-based axiom pinpointing. In: Automated reasoning, 4th International Joint Conference, IJCAR 2008. Proceedings, Sydney, pp. 226\u2013241","DOI":"10.1007\/978-3-540-71070-7_19"},{"key":"1528_CR4","unstructured":"Baader F, Suntisrivaraporn B (2008) Debugging SNOMED CT using axiom pinpointing in the description logic EL+. In: Proceedings of the Third International Conference on Knowledge Representation in Medicine, Phoenix, Arizona"},{"key":"1528_CR5","doi-asserted-by":"crossref","unstructured":"Du J, Qi G, Fu X (2014) A practical fine-grained approach to resolving incoherent OWL 2 DL terminologies. In: Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, CIKM 2014, Shanghai, China, pp 919\u2013928","DOI":"10.1145\/2661829.2662046"},{"key":"1528_CR6","doi-asserted-by":"crossref","unstructured":"Du J, Qi G, Pan JZ, Shen Y (2011) A decomposition-based approach to OWL DL ontology diagnosis. In: IEEE 23Rd international conference on tools with artificial intelligence, ICTAI 2011, Boca Raton, pp 659\u2013664","DOI":"10.1109\/ICTAI.2011.104"},{"key":"1528_CR7","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1613\/jair.3025","volume":"38","author":"A Feldman","year":"2010","unstructured":"Feldman A, Provan GM, van Gemund AJC (2010) Approximate model-based diagnosis using greedy stochastic search. J Artif Intell Res 38:371\u2013413","journal-title":"J Artif Intell Res"},{"key":"1528_CR8","doi-asserted-by":"crossref","unstructured":"Friedrich G, Shchekotykhin K (2005) A general diagnosis method for ontologies. In: The semantic web - ISWC 2005, 4th international semantic web conference, ISWC 2005. Proceedings, Galway, pp 232\u2013246","DOI":"10.1007\/11574620_19"},{"key":"1528_CR9","doi-asserted-by":"crossref","unstructured":"Horridge M, Parsia B, Sattler U (2009) Explaining inconsistencies in OWL ontologies. In: Scalable uncertainty management, third international conference, SUM 2009. Proceedings, Washington, pp 124\u2013137","DOI":"10.1007\/978-3-642-04388-8_11"},{"key":"1528_CR10","unstructured":"Horridge M, Parsia B, Sattler U (2010) Justification masking in OWL. In: Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario"},{"key":"1528_CR11","doi-asserted-by":"crossref","unstructured":"Horridge M, Parsia B, Sattler U (2012) Extracting justifications from bioportal ontologies. In: The semantic web - ISWC 2012 - 11th international semantic web conference. Proceedings, Boston, Part II, pp 287\u2013299","DOI":"10.1007\/978-3-642-35173-0_19"},{"key":"1528_CR12","doi-asserted-by":"crossref","unstructured":"Horrocks I, Patel-schneider PF (2003) Reducing OWL entailment to description logic satisfiability. In: The Semantic Web - ISWC 2003, Second International Semantic Web conference. Proceedings, Sanibel Island, pp 17\u201329","DOI":"10.1007\/978-3-540-39718-2_2"},{"key":"1528_CR13","unstructured":"Ignatiev A, Marques-silva J, Menc\u00eda C, Pen\u0307aloza R (2017) Debugging EL+ ontologies through horn MUS enumeration. In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France"},{"key":"1528_CR14","doi-asserted-by":"crossref","unstructured":"Jannach D, Schmitz T, Shchekotykhin K (2015) Parallelized hitting set computation for model-based diagnosis. In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, Texas, pp 1503\u20131510","DOI":"10.1609\/aaai.v29i1.9389"},{"key":"1528_CR15","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1613\/jair.5001","volume":"55","author":"D Jannach","year":"2016","unstructured":"Jannach D, Schmitz T, Shchekotykhin K (2016) Parallel model-based diagnosis on multi-core computers. J Artif Intell Res 55:835\u2013887","journal-title":"J Artif Intell Res"},{"key":"1528_CR16","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/j.knosys.2014.07.023","volume":"71","author":"Q Ji","year":"2014","unstructured":"Ji Q, Gao Z, Huang Z, Zhu M (2014) Measuring effectiveness of ontology debugging systems. Knowl-Based Syst 71:169\u2013186","journal-title":"Knowl-Based Syst"},{"key":"1528_CR17","doi-asserted-by":"crossref","unstructured":"Kalyanpur A, Parsia B, Horridge M, Sirin E (2007) Finding all justifications of OWL DL entailments. In: The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, pp 267\u2013280","DOI":"10.1007\/978-3-540-76298-0_20"},{"issue":"3","key":"1528_CR18","doi-asserted-by":"publisher","first-page":"225","DOI":"10.3233\/AO-180199","volume":"13","author":"M Katsumi","year":"2018","unstructured":"Katsumi M, Gru\u0307ninger M (2018) The metatheory of ontology reuse. Appl Ontol 13(3):225\u2013254","journal-title":"Appl Ontol"},{"key":"1528_CR19","doi-asserted-by":"crossref","unstructured":"Kazakov Y, Skocovsky\u0307 P (2018) Enumerating justifications using resolution. In: Automated reasoning - 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, floc 2018. Proceedings, Oxford, pp 609\u2013626","DOI":"10.1007\/978-3-319-94205-6_40"},{"key":"1528_CR20","unstructured":"Kleer JD Hitting set algorithms for model-based diagnosis. 22nd International Workshop on Principles of Diagnosis DX-11, pp 100\u2013105"},{"key":"1528_CR21","unstructured":"Kro\u0307tzsch M, Simancik F, Horrocks I (2012) A description logic primer. CoRR arXiv: 1201.4089"},{"key":"1528_CR22","first-page":"62","volume":"10","author":"JSC Lam","year":"2008","unstructured":"Lam JSC, Sleeman DH, Pan JZ, Vasconcelos WW (2008) A fine-grained approach to resolving unsatisfiable ontologies. J Data Semantics 10:62\u201395","journal-title":"J Data Semantics"},{"issue":"14","key":"1528_CR23","doi-asserted-by":"publisher","first-page":"5954","DOI":"10.1016\/j.eswa.2015.03.020","volume":"42","author":"DH Lee","year":"2015","unstructured":"Lee DH, Lee H (2015) Construction of holistic fuzzy cognitive maps using ontology matching method. Expert Syst Appl 42(14):5954\u20135962","journal-title":"Expert Syst Appl"},{"issue":"1","key":"1528_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10817-007-9084-z","volume":"40","author":"MH Liffiton","year":"2008","unstructured":"Liffiton MH, Sakallah KA (2008) Algorithms for computing minimal unsatisfiable subsets of constraints. J Autom Reason 40(1):1\u201333","journal-title":"J Autom Reason"},{"key":"1528_CR25","unstructured":"Meyer TA, Lee K, Booth R, Pan JZ (2006) Finding maximally satisfiable terminologies for the description logic ALC. In: Proceedings, the Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, Boston, Massachusetts, pp 269\u2013274"},{"issue":"2","key":"1528_CR26","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0004-3702(90)90087-G","volume":"43","author":"B Nebel","year":"1990","unstructured":"Nebel B (1990) Terminological reasoning is inherently intractable. Artif Intell 43(2):235\u2013249","journal-title":"Artif Intell"},{"key":"1528_CR27","doi-asserted-by":"crossref","unstructured":"Porello D, Troquard N, Pen\u0307aloza R, Confalonieri R, Galliani P, Kutz O (2018) Two approaches to ontology aggregation based on axiom weakening. In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, Stockholm, Sweden, pp 1942\u20131948","DOI":"10.24963\/ijcai.2018\/268"},{"issue":"1","key":"1528_CR28","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 (1987) A theory of diagnosis from first principles. Artif Intell 32(1):57\u201395","journal-title":"Artif Intell"},{"key":"1528_CR29","doi-asserted-by":"crossref","unstructured":"Schekotihin K, Rodler P, Schmid W Ontodebug: Interactive ontology debugging plug-in for prot\u00e9g\u00e9. In: Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018. Proceedings, Budapest, pp 340\u2013359","DOI":"10.1007\/978-3-319-90050-6_19"},{"issue":"3","key":"1528_CR30","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/s10817-007-9076-z","volume":"39","author":"S Schlobach","year":"2007","unstructured":"Schlobach S, Huang Z, Cornet R, van Harmelen F (2007) Debugging incoherent terminologies. J Autom Reason 39(3):317\u2013349","journal-title":"J Autom Reason"},{"key":"1528_CR31","unstructured":"Shchekotykhin K, Friedrich G, Jannach D (2008) On computing minimal conflicts for ontology debugging. In: ECAI 2008 - 18Th european conference on artificial intelligence. Proceedings, Patras, pp 7\u201311"},{"key":"1528_CR32","unstructured":"Shchekotykhin K, Fleiss P, Rodler P, Friedrich G (2012) Direct computation of diagnoses for ontology debugging. CoRR arXiv: 1209.0997"},{"key":"1528_CR33","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1016\/j.websem.2011.12.006","volume":"12","author":"K Shchekotykhin","year":"2012","unstructured":"Shchekotykhin K, Friedrich G, Fleiss P, Rodler P (2012) Interactive ontology debugging: Two query strategies for efficient fault localization. J Web Sem 12:88\u2013103","journal-title":"J Web Sem"},{"key":"1528_CR34","unstructured":"Stern RT, Kalech M, Feldman A, Provan GM (2012) Exploring the duality in conflict-directed model-based diagnosis. In: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, Toronto, Ontario"},{"key":"1528_CR35","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1016\/j.eswa.2017.11.034","volume":"95","author":"M Teymourlouie","year":"2018","unstructured":"Teymourlouie M, Zaeri A, Nematbakhsh M, Thimm M, Staab S (2018) Detecting hidden errors in an ontology using contextual knowledge. Expert Syst Appl 95:312\u2013323","journal-title":"Expert Syst Appl"},{"key":"1528_CR36","doi-asserted-by":"crossref","unstructured":"Troquard N, Confalonieri R, Galliani P, Pen\u0307aloza R, Porello D, Kutz O (2018) Repairing ontologies via axiom weakening. In: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, pp 1981\u20131988","DOI":"10.1609\/aaai.v32i1.11567"},{"key":"1528_CR37","doi-asserted-by":"crossref","unstructured":"Yamada N, Fukuta N (2016) Toward performance-oriented ontology debugging support using heuristic approaches and DL reasoning. In: 2016 IEEE\/WIC\/ACM International conference on web intelligence - workshops, WI 2016 workshops, Omaha, NE, pp 88\u201391","DOI":"10.1109\/WIW.2016.036"},{"key":"1528_CR38","doi-asserted-by":"publisher","first-page":"24284","DOI":"10.1109\/ACCESS.2017.2758521","volume":"5","author":"Y Zhang","year":"2017","unstructured":"Zhang Y, Ouyang D, Ye Y (2017) An optimization strategy for debugging incoherent terminologies in dynamic environments. IEEE Access 5:24284\u201324300","journal-title":"IEEE Access"},{"issue":"2","key":"1528_CR39","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/s10489-017-0971-7","volume":"48","author":"X Zhao","year":"2018","unstructured":"Zhao X, Ouyang D, Zhang L (2018) Computing all minimal hitting sets by subset recombination. Appl Intell 48(2):257\u2013270","journal-title":"Appl Intell"}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-019-01528-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10489-019-01528-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-019-01528-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,25]],"date-time":"2022-09-25T04:37:35Z","timestamp":1664080655000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10489-019-01528-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,5]]},"references-count":39,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,2]]}},"alternative-id":["1528"],"URL":"https:\/\/doi.org\/10.1007\/s10489-019-01528-y","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,8,5]]},"assertion":[{"value":"5 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}