Thumbnail
Access Restriction
Open

Author Deng, Xi ♦ Haarslev, Volker ♦ Shiri, Nematollaah
Source CiteSeerX
Content type Text
Publisher Springer
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Previous Work ♦ First-order Logic ♦ Description Language ♦ Inconsistency Reasoning ♦ Main Advantage ♦ Resolution Technique ♦ Description Logic ♦ Description Logic Alc ♦ Specific Dl Reasoner ♦ Inconsistent Terminology ♦ Knowledge Base ♦ Experienced Knowledge Engineer ♦ Unsatisfiable Concept
Description With the increasing number of applications of description logics (DLs), unsatisfiable concepts and inconsistent terminologies become quite common, especially when the knowledge bases are large and complex. Even for an experienced knowledge engineer, it can be extremely difficult to identify and resolve the origins of these unsatisfiabilities and inconsistencies. Thus it is crucial to provide services to explain how and why a result is derived. Motivated by the possibilities of applying resolution technique in first-order logic to construct explanations for description logics, we extend our previous work and present an algorithm that generates explanations for unsatisfiability and inconsistency reasoning in the description language. The main advantage of our approach is that it is independent of any specific DL reasoners.
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 2006-01-01
Publisher Institution IN: PROCEEDINGS OF THE CANADIAN SEMANTIC WEB WORKING SYMPOSIUM