Adding Numbers to the SHIQ Description Logic—First Results

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Adding Numbers to the SHIQ Description Logic—First Results

Carsten LutzCarsten Lutz
Carsten Lutz
Adding Numbers to the SHIQ Description Logic—First Results
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-01-07, 2001. LTCS-Report
  • KurzfassungAbstract
    Recently, the Description Logic (DL) SHIQ has found a large number of applications. This success is due to the fact that SHIQ combines a rich expressivity with efficient reasoning, as is demonstrated by its implementation in DL systems such as FaCT and RACER. One weakness of SHIQ, however, limits its usability in several application areas: numerical knowledge such as knowledge about the age, weight, or temperature of real-world entities cannot be adequately represented. In this paper, we propose an extension of SHIQ that aims at closing this gap. The new Description Logic Q-SHIQ, which augments SHIQ by additional, ``concrete domain style concept constructors, allows to refer to rational numbers in concept descriptions, and also to define concepts based on the comparison of numbers via predicates such as ``< or ``=. We argue that this kind of expressivity is needed in many application areas such as reasoning about the semantic web. We prove reasoning with Q-SHIQ to be ExpTime-complete (thus not harder than reasoning with SHIQ) by devising an automata-based decision procedure.
  • Bemerkung: Note: See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@techreport{ Lutz-LTCS-01-07,
  address = {Germany},
  author = {C. {Lutz}},
  institution = {LuFG Theoretical Computer Science, RWTH Aachen},
  note = {See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.},
  number = {LTCS-01-07},
  title = {Adding Numbers to the ${\cal SHIQ}$ Description Logic---First Results},
  type = {LTCS-Report},
  year = {2001},
}