{"type":"ScholarlyArticle","title":"Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies","authors":[{"name":"Stefan Schlobach","slug":"stefan-schlobach","given":"Stefan","family":"Schlobach","affiliation":""},{"name":"Ronald Cornet","slug":"ronald-cornet","given":"Ronald","family":"Cornet","affiliation":""}],"abstract":"Current Description Logic reasoning systems provide only limited support for debugging logically erroneous knowledge bases. In this paper we propose new non-standard reasoning services which we designed and implemented to pinpoint logical contradictions when developing the medical terminology DICE. We provide complete algorithms for unfoldable A.CC-TBoxes based on minimisation of axioms using Boolean methods for minimal imsatisfiability-preserving sub-TBoxes, and an incomplete bottom-up method for generalised incoherence-preserving terminologies.","doi":null,"url":"https://ijcai.org/proceedings/2003/53","pdf":"https://ijcai.org/proceedings/2003/0053.pdf","markdown":"https://ijcai.org/proceedings/2003/53.md","bibtex":"https://ijcai.org/proceedings/2003/bibtex/53","volume":{"slug":"2003","title":"Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2003","url":"https://ijcai.org/proceedings/2003/","year":2003,"location":"Acapulco, Mexico","dates":"","editors":"Georg Gottlob","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":53,"pages":{"first":355,"last":361},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}