LATPub341

PublikationenPublications

• Nach AutorBy Author
  • Franz BaaderFranz Baader
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

Nonstandard Inferences in Description Logics: The Story So Far

Franz BaaderFranz Baader,  R. KüstersR. Küsters

• Download

Franz Baader, R. Küsters
Nonstandard Inferences in Description Logics: The Story So Far
In D.M. Gabbay and S.S. Goncharov and M. Zakharyaschev, eds., Mathematical Problems from Applied Logic I, volume 4 of International Mathematical Series, 1-75. Springer, 2006

• Details
• Bibtex

• KurzfassungAbstract
  Description logics (DLs) are a successful family of logic-based knowledge representation formalisms that can be used to represent the terminological knowledge of an application domain in a structured and formally well-founded way. DL systems provide their users with inference procedures that allow to reason about the represented knowledge. Standard inference problems (such as the subsumption and the instance problem) are now well-understood. Their computational properties (such as decidability and complexity) have been investigated in detail, and modern DL systems are equipped with highly optimized implementations of these inference procedures, which - in spite of their high worst-case complexity - perform quite well in practice. In applications of DL systems it has turned out that building and maintaining large DL knowledge bases can be further facilitated by procedures for other, non-standard inference problem, such as computing the least common subsumer and the most specific concept, and rewriting and matching of concepts. While the research concerning these non-standard inferences is not as mature as the one for the standard inferences, it has now reached a point where it makes sense to motivate these inferences within a uniform application framework, give an overview of the results obtained so far, describe the remaining open problems, and give perspectives for future research in this direction.
• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@incollection{ BaaderKuesters-IMAT-06,
  author = {F. {Baader} and R. {K{\"u}sters}},
  booktitle = {Mathematical Problems from Applied Logic {I}},
  editor = {D.M. {Gabbay} and S.S. {Goncharov} and M. {Zakharyaschev}},
  pages = {1--75},
  publisher = {Springer-Verlag},
  series = {International Mathematical Series},
  title = {Nonstandard Inferences in Description Logics: The Story So Far},
  volume = {4},
  year = {2006},
}