{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,11]],"date-time":"2024-08-11T01:32:35Z","timestamp":1723339955534},"reference-count":28,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2012,4,1]],"date-time":"2012-04-01T00:00:00Z","timestamp":1333238400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,16]],"date-time":"2013-07-16T00:00:00Z","timestamp":1373932800000},"content-version":"vor","delay-in-days":471,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Web Semantics"],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1016\/j.websem.2011.12.006","type":"journal-article","created":{"date-parts":[[2011,12,31]],"date-time":"2011-12-31T04:34:52Z","timestamp":1325306092000},"page":"88-103","source":"Crossref","is-referenced-by-count":31,"special_numbering":"C","title":["Interactive ontology debugging: Two query strategies for efficient fault localization"],"prefix":"10.1016","volume":"12-13","author":[{"given":"Kostyantyn","family":"Shchekotykhin","sequence":"first","affiliation":[]},{"given":"Gerhard","family":"Friedrich","sequence":"additional","affiliation":[]},{"given":"Philipp","family":"Fleiss","sequence":"additional","affiliation":[]},{"given":"Patrick","family":"Rodler","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.websem.2011.12.006_b0005","doi-asserted-by":"crossref","unstructured":"K. Shchekotykhin, G. Friedrich, Query strategy for sequential ontology debugging, in: P.F. Patel-Schneider, P. Yue, P. Hitzler, P. Mika, Z. Lei, J. Pan, I. Horrocks, B. Glimm (Eds.), The Semantic Web \u2013 ISWC 2010 \u2013 9th International Semantic Web Conference, Shanghai, China, 2010, pp. 696\u2013712.","DOI":"10.1007\/978-3-642-17746-0_44"},{"issue":"4","key":"10.1016\/j.websem.2011.12.006_b0010","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","article-title":"OWL 2: the next step for OWL","volume":"6","author":"Grau","year":"2008","journal-title":"Web Semantics: Sci. Serv. Agents World Wide Web"},{"issue":"4","key":"10.1016\/j.websem.2011.12.006_b0015","doi-asserted-by":"crossref","first-page":"400","DOI":"10.1016\/0010-0285(71)90023-5","article-title":"Sources of error in syllogistic reasoning","volume":"2","author":"Ceraso","year":"1971","journal-title":"Cognitive Psychol."},{"key":"10.1016\/j.websem.2011.12.006_b0020","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1146\/annurev.psych.50.1.109","article-title":"Deductive reasoning","volume":"50","author":"Johnson-Laird","year":"1999","journal-title":"Annu. Rev. Psychol."},{"key":"10.1016\/j.websem.2011.12.006_b0025","series-title":"Engineering Knowledge in the Age of the SemanticWeb 14th International Conference, EKAW 2004","first-page":"63","article-title":"OWL pizzas: practical experience of teaching OWL-DL: common errors & common patterns","author":"Rector","year":"2004"},{"key":"10.1016\/j.websem.2011.12.006_b0030","series-title":"International Conference On Knowledge Capture","first-page":"205","article-title":"A catalogue of OWL ontology antipatterns","author":"Roussey","year":"2009"},{"issue":"3","key":"10.1016\/j.websem.2011.12.006_b0035","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/s10817-007-9076-z","article-title":"Debugging incoherent terminologies","volume":"39","author":"Schlobach","year":"2007","journal-title":"J. Autom. Reason."},{"key":"10.1016\/j.websem.2011.12.006_b0040","series-title":"The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007+ASWC 2007","first-page":"267","article-title":"Finding all justifications of OWL DL entailments","volume":"vol. 4825","author":"Kalyanpur","year":"2007"},{"key":"10.1016\/j.websem.2011.12.006_b0045","series-title":"The Semantic Web \u2013 ISWC 2005, 4th International Semantic Web Conference","first-page":"232","article-title":"A general diagnosis method for ontologies","author":"Friedrich","year":"2005"},{"key":"10.1016\/j.websem.2011.12.006_b0050","doi-asserted-by":"crossref","unstructured":"M. Horridge, B. Parsia, U. Sattler, Laconic and precise justifications in OWL, in: Proceedings of the 7th International Semantic Web Conference, ISWC 2008, vol. 5318, 2008, pp. 323\u2013338.","DOI":"10.1007\/978-3-540-88564-1_21"},{"key":"10.1016\/j.websem.2011.12.006_b0055","series-title":"The Semantic Web: Research and Applications, 3rd European Semantic Web Conference, ESWC 2006","first-page":"170","article-title":"Repairing unsatisfiable concepts in OWL ontologies","volume":"vol. 4011","author":"Kalyanpur","year":"2006"},{"issue":"2","key":"10.1016\/j.websem.2011.12.006_b0060","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","article-title":"Pellet: a practical OWL-DL reasoner","volume":"5","author":"Sirin","year":"2007","journal-title":"Web Semantics: Sci. Serv. Agents World Wide Web"},{"key":"10.1016\/j.websem.2011.12.006_b0065","series-title":"1st International Joint Conference on Automated Reasoning","first-page":"701","article-title":"RACER system description","volume":"vol. 2083","author":"Haarslev","year":"2001"},{"issue":"1","key":"10.1016\/j.websem.2011.12.006_b0070","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1613\/jair.2811","article-title":"Hypertableau reasoning for description logics","volume":"36","author":"Motik","year":"2009","journal-title":"J. Artif. Intell. Res."},{"issue":"1\u20132","key":"10.1016\/j.websem.2011.12.006_b0075","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0004-3702(96)00004-5","article-title":"On the relative expressiveness of description logics and predicate logics","volume":"82","author":"Borgida","year":"1996","journal-title":"Artif. Intell."},{"key":"10.1016\/j.websem.2011.12.006_b0080","series-title":"Description Logic Handbook","first-page":"485","article-title":"Appendix: description logic terminology","author":"Baader","year":"2003"},{"issue":"1","key":"10.1016\/j.websem.2011.12.006_b0085","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","article-title":"A theory of diagnosis from first principles","volume":"32","author":"Reiter","year":"1987","journal-title":"Artif. Intell."},{"issue":"1","key":"10.1016\/j.websem.2011.12.006_b0090","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","article-title":"Diagnosing multiple faults","volume":"32","author":"de Kleer","year":"1987","journal-title":"Artif. Intell."},{"key":"10.1016\/j.websem.2011.12.006_b0095","series-title":"Proceedings of the Nineteenth National Conference on Artificial Intelligence","first-page":"167","article-title":"QUICKXPLAIN: preferred explanations and relaxations for over-constrained problems","volume":"vol. 3","author":"Junker","year":"2004"},{"issue":"2","key":"10.1016\/j.websem.2011.12.006_b0100","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/S0004-3702(98)00086-1","article-title":"A complete anytime algorithm for number partitioning","volume":"106","author":"Korf","year":"1998","journal-title":"Artif. Intell."},{"issue":"3","key":"10.1016\/j.websem.2011.12.006_b0105","doi-asserted-by":"crossref","first-page":"626","DOI":"10.2307\/3214002","article-title":"Probabilistic analysis of optimum partitioning","volume":"23","author":"Karmarkar","year":"1986","journal-title":"J. Appl. Prob."},{"issue":"1","key":"10.1016\/j.websem.2011.12.006_b0110","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/BF00116251","article-title":"Induction of decision trees","volume":"1","author":"Quinlan","year":"1986","journal-title":"Mach. Learn."},{"key":"10.1016\/j.websem.2011.12.006_b0115","series-title":"Algorithmic Program Debugging","author":"Shapiro","year":"1983"},{"key":"10.1016\/j.websem.2011.12.006_b0120","series-title":"Proceedings of the 5th International Conference on Machine Learning ({ICML\u201988})","first-page":"339","article-title":"Machine invention of first-order predicates by inverting resolution","author":"Muggleton","year":"1988"},{"issue":"3\u20134","key":"10.1016\/j.websem.2011.12.006_b0125","first-page":"245","article-title":"Inverse entailment and progol, new generation computing","volume":"13","author":"Muggleton","year":"1995","journal-title":"Induct. Logic Program."},{"key":"10.1016\/j.websem.2011.12.006_b0130","doi-asserted-by":"crossref","unstructured":"L. Console, G. Friedrich, D.T. Dupre, Model-based diagnosis meets error diagnosis in logic programs, in: IJCAI, 1993, pp. 1494\u20131501.","DOI":"10.1007\/BFb0019402"},{"key":"10.1016\/j.websem.2011.12.006_b0135","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/S0004-3702(03)00117-6","article-title":"Consistency-based diagnosis of configuration knowledge bases","volume":"152","author":"Felfernig","year":"2004","journal-title":"Artif. Intell."},{"issue":"1\u20132","key":"10.1016\/j.websem.2011.12.006_b0140","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0004-3702(99)00034-X","article-title":"Model-based diagnosis of hardware designs","volume":"111","author":"Friedrich","year":"1999","journal-title":"Artif. Intell."}],"container-title":["Journal of Web Semantics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570826811001077?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570826811001077?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,6,29]],"date-time":"2020-06-29T22:14:26Z","timestamp":1593468866000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1570826811001077"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4]]},"references-count":28,"alternative-id":["S1570826811001077"],"URL":"https:\/\/doi.org\/10.1016\/j.websem.2011.12.006","relation":{},"ISSN":["1570-8268"],"issn-type":[{"value":"1570-8268","type":"print"}],"subject":[],"published":{"date-parts":[[2012,4]]}}}