Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
LATPub341
Abstract Description logics (DLs) are a successful
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.
ves for future research in this direction.  +
Author R. Küsters + , Franz Baader +
BibTex
@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},
}
Bibtype Incollection  +
Booktitle Mathematical Problems from Applied Logic I  +
Download BaaderKuesters-IMAT-06.pdf  +
Editor D.M. Gabbay and S.S. Goncharov and M. Zakharyaschev  +
ErsterAutorNachname Baader  +
ErsterAutorVorname Franz  +
Forschungsgruppe Automatentheorie +
Pages 1-75  +
Publication text Franz Baader, R. Küsters<br /> '''[[
Franz Baader, R. Küsters<br /> '''[[LATPub341|Nonstandard Inferences in Description Logics: The Story So Far]]''' <br>__NOTOC__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<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub341|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:BaaderKuesters-IMAT-06.pdf|Download]]
edia:BaaderKuesters-IMAT-06.pdf|Download]]  +
Publication text en Franz Baader, R. Küsters<br /> '''[[
Franz Baader, R. Küsters<br /> '''[[LATPub341/en|Nonstandard Inferences in Description Logics: The Story So Far]]''' <br>__NOTOC__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<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub341|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:BaaderKuesters-IMAT-06.pdf|Download]]
edia:BaaderKuesters-IMAT-06.pdf|Download]]  +
Publisher Springer  +
Series International Mathematical Series  +
Title Nonstandard Inferences in Description Logics: The Story So Far  +
To appear 0  +
Type incollection  +
Volume 4  +
Year 2006  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
LATPub341 + , LATPub341 + , LATPub341 + , LATPub341 + , LATPub341 + , LATPub341 +
Kategorien Incollection , Publikation
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
25 März 2015 14:34:05  +
verstecke Attribute die hierhin verlinken 
LATPub341/en + Weiterleitungsseite
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.