{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:58:42Z","timestamp":1760597922785},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2020,1,3]],"date-time":"2020-01-03T00:00:00Z","timestamp":1578009600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,3]],"date-time":"2020-01-03T00:00:00Z","timestamp":1578009600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2020,8]]},"DOI":"10.1007\/s11704-019-7267-5","type":"journal-article","created":{"date-parts":[[2020,1,3]],"date-time":"2020-01-03T05:28:33Z","timestamp":1578029313000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Extracting a justification for OWL ontologies by critical axioms"],"prefix":"10.1007","volume":"14","author":[{"given":"Yuxin","family":"Ye","sequence":"first","affiliation":[]},{"given":"Xianji","family":"Cui","sequence":"additional","affiliation":[]},{"given":"Dantong","family":"Ouyang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,1,3]]},"reference":[{"key":"7267_CR1","unstructured":"Schlobach S, Cornet R. Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence. 2003, 355\u2013362"},{"key":"7267_CR2","doi-asserted-by":"crossref","unstructured":"Kalyanpur A, Parsia B, Horridge M, Sirin E. Finding all justifications of OWL DL entailments. In: Proceedings of the 6th International the Semantic Web and 2nd Asian Conference on Asian Semantic Web Conference. 2007, 267\u2013280","DOI":"10.1007\/978-3-540-76298-0_20"},{"issue":"3","key":"7267_CR3","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 S, Cornet R, Harmelen F V. Debugging incoherent terminologies. Journal of Automated Reasoning, 2007, 39(3): 317\u2013349.","journal-title":"Journal of Automated Reasoning"},{"issue":"2","key":"7267_CR4","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s10817-010-9181-2","volume":"45","author":"F Baader","year":"2010","unstructured":"Baader F, Penaloza R. Automata-based axiom pinpointing. Journal of Automated Reasoning, 2010, 45(2): 91\u2013129","journal-title":"Journal of Automated Reasoning"},{"key":"7267_CR5","unstructured":"Ma Y, Penaloza R. Towards parallel repair: an ontology decomposition-based approach. In: Proceedings of the 27th International Workshop on Description Logics. 2014, 633\u2013645"},{"key":"7267_CR6","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 A, Staab S. Detecting hidden errors in an ontology using contextual knowledge. Expert Systems with Applications, 2018, 95: 312\u2013323","journal-title":"Expert Systems with Applications"},{"issue":"1","key":"7267_CR7","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/s11704-015-4548-5","volume":"10","author":"H Xue","year":"2016","unstructured":"Xue H, Qin B, Liu T. Topic hierarchy construction from heterogeneous evidence. Frontiers of Computer Science, 2016, 10(1): 136\u2013146","journal-title":"Frontiers of Computer Science"},{"issue":"3","key":"7267_CR8","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/s11704-016-5100-y","volume":"11","author":"L Wu","year":"2017","unstructured":"Wu L, Su K, Han Y. Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems. Frontiers of Computer Science, 2017, 11(3): 499\u2013510","journal-title":"Frontiers of Computer Science"},{"issue":"6","key":"7267_CR9","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1007\/s11704-013-2284-2","volume":"7","author":"D Ouyang","year":"2013","unstructured":"Ouyang D, Cui X, Ye Y. Integrity constraints in OWL ontologies based on grounded circumscription. Frontiers of Computer Science, 2013, 7(6): 812\u2013821","journal-title":"Frontiers of Computer Science"},{"key":"7267_CR10","doi-asserted-by":"publisher","first-page":"18725","DOI":"10.1109\/ACCESS.2017.2753381","volume":"5","author":"Y Zhang","year":"2017","unstructured":"Zhang Y, Ouyang D, Ye Y. Glass box debugging algorithm based on unsatisfiable dependent paths. IEEE Access, 2017, 5: 18725\u201318736","journal-title":"IEEE Access"},{"key":"7267_CR11","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. An optimization strategy for debugging incoherent terminologies in dynamic environments. IEEE Access, 2017, 5: 24284\u201324300","journal-title":"IEEE Access"},{"key":"7267_CR12","doi-asserted-by":"crossref","unstructured":"Friedrich G, Shchekotykhin K M. A general diagnosis method for ontologies. In: Proceedings of the 4th International Conference on the Semantic Web. 2005, 232\u2013246","DOI":"10.1007\/11574620_19"},{"key":"7267_CR13","unstructured":"Schlobach S. Diagnosing terminologies. In: Proceedings of the 20th National Conference on Artificial Intelligence. 2005, 670\u2013675"},{"key":"7267_CR14","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1016\/j.websem.2011.12.006","volume":"12","author":"K M Shchekotykhin","year":"2012","unstructured":"Shchekotykhin K M, Friedrich G, Fleiss P, Rodler P. Interactive ontology debugging: two query strategies for efficient fault localization. Journal of Web Semantics, 2012, 12: 88\u2013103","journal-title":"Journal of Web Semantics"},{"key":"7267_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 M. Parallel model-based diagnosis on multi-core computers. Journal of Artificial Intelligence Research, 2016, 55: 835\u2013887","journal-title":"Journal of Artificial Intelligence Research"},{"key":"7267_CR16","unstructured":"Horridge M, Bauer J, Parsia B, Sattler U. Understanding entailments in OWL. In: Proceedings of the 5th OWLED Workshop on OWL. 2008, 26\u201327"},{"key":"7267_CR17","unstructured":"Bail S, Parsia B, Sattler U. Declutter your justifications: determining similarity between OWL explanations. In: Proceedings of the 1st International Workshop on Debugging Ontologies and Ontology Mappings. 2012, 13\u201324"},{"key":"7267_CR18","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, 1987, 32: 57\u201395","journal-title":"Artificial Intelligence"},{"key":"7267_CR19","doi-asserted-by":"crossref","unstructured":"Maaren H V, Wieringa S. Finding guaranteed MUSes fast. In: Proceedings of the 11th International Conferences on Theory and Applications of Satisfiability Testing. 2008, 291\u2013304","DOI":"10.1007\/978-3-540-79719-7_27"},{"key":"7267_CR20","doi-asserted-by":"crossref","unstructured":"Kullmann O, Lynce I, Marques J. Categorisation of clauses in conjunctive normal forms: minimally unsatisfiable sub-clause-sets and the lean kernel. In: Proceedings of the 9th International Conference of Theory and Applications of Satisfiability Testing. 2006, 22\u201335","DOI":"10.1007\/11814948_4"},{"key":"7267_CR21","volume-title":"Semantic Web Technologies: Trends and Research in Ontology-based Systems","author":"Z S Huang","year":"2006","unstructured":"Huang Z S, Harmelen F V, Teije A Y. Reasoning with inconsistent ontologies: framework, prototype, and experiment. In: Davies J, Studer R, Warren P, eds. Semantic Web Technologies: Trends and Research in Ontology-based Systems. Hoboken: John Wiley & Sons, Inc., 2006"},{"key":"7267_CR22","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"I Horrocks","year":"2007","unstructured":"Horrocks I. Implementation and optimisation techniques. In: Baader F, Calvanese D, McGuinness D, Nardi D, Schneider P F, eds. The Description Logic Handbook: Theory, Implementation, and Applications. 2nd ed. London: Cambridge University Press, 2007","edition":"2nd ed."},{"key":"7267_CR23","unstructured":"Parsia B, Halaschek C, Sirin E. Towards incremental reasoning through updates in OWL-DL. In: Proceedings of the 15th International Conference of World Wide Web. 2006"},{"issue":"4","key":"7267_CR24","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/s10817-009-9159-0","volume":"44","author":"B C Grau","year":"2010","unstructured":"Grau B C, Halaschek C, Kazakov Y, Suntisrivaraporn B. Incremental classification of description logics ontologies. Journal of Automated Reasoning, 2010, 44(4): 337\u2013369","journal-title":"Journal of Automated Reasoning"},{"key":"7267_CR25","doi-asserted-by":"crossref","unstructured":"Horrocks I, Schneider P F. Reducing OWL entailment to description logic satisfiability. In: Proceedings of the 2nd International Conference on the Semantic Web. 2003, 17\u201329","DOI":"10.1007\/978-3-540-39718-2_2"},{"key":"7267_CR26","doi-asserted-by":"crossref","unstructured":"Haarslev V, Moller R, Turhan A Y. Exploiting pseudo models for TBox and ABox reasoning in expressive description logics. In: Proceedings of International Joint Conference on Automated Reasoning. 2001, 61\u201375","DOI":"10.1007\/3-540-45744-5_6"},{"key":"7267_CR27","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. Measuring effectiveness of ontology debugging systems. Knowledge-Based Systems, 2014, 71: 169\u2013186","journal-title":"Knowledge-Based Systems"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-019-7267-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11704-019-7267-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-019-7267-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,9]],"date-time":"2022-10-09T20:12:18Z","timestamp":1665346338000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11704-019-7267-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1,3]]},"references-count":27,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,8]]}},"alternative-id":["7267"],"URL":"https:\/\/doi.org\/10.1007\/s11704-019-7267-5","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,1,3]]},"assertion":[{"value":"30 July 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 March 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 January 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"144305"}}