Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
LATPub329
Abstract To use description logics (DLs) in an appl
To use description logics (DLs) in an application, it is crucial to identify a DL that is sufficiently expressive to represent the relevant notions of the application domain, but for which reasoning is still decidable. Two means of expressivity that are required by many modern applications of DLs are concrete domains and general TBoxes. The former are used for defining concepts based on concrete qualities of their instances such as the weight, age, duration, and spatial extension. The purpose of the latter is to capture background knowledge by stating that the extension of a concept is included in the extension of another concept. Unfortunately, it is well- known that combining concrete domains with general TBoxes often leads to DLs for which reasoning is undecidable. In this paper, we identify a general property of concrete domains that is sufficient for proving decidability of DLs with both concrete domains and general TBoxes. We exhibit some useful concrete domains, most notably a spatial one based on the RCC-8 relations, which have this property. Then, we present a tableau algorithm for reasoning in DLs equipped with concrete domains and general TBoxes.
with concrete domains and general TBoxes.  +
Author M. Milicic + , Carsten Lutz +
BibTex
@article{ LutzMilicic-JAR06,
  author = {C. {Lutz} and M.  {Milicic}},
  journal = {Journal of Automated Reasoning. Special Issue on on Automated Reasoning with Analytic Tableaux and Related Methods},
  note = {To appear.},
  publisher = {Springer},
  title = {A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes},
  year = {2006},
}
Bibtype Article  +
Download LutzMilicic-JAR06.pdf  +
ErsterAutorNachname Lutz  +
ErsterAutorVorname Carsten  +
Forschungsgruppe Automatentheorie +
Journal Journal of Automated Reasoning. Special Issue on on Automated Reasoning with Analytic Tableaux and Related Methods  +
Note To appear.  +
Publication text Carsten Lutz, M. Milicic<br/> '''[[
Carsten Lutz, M. Milicic<br/> '''[[LATPub329|A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes]]''' <br/>__NOTOC__Journal of Automated Reasoning. Special Issue on on Automated Reasoning with Analytic Tableaux and Related Methods, to appear<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub329|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:LutzMilicic-JAR06.pdf|Download]]
; [[Media:LutzMilicic-JAR06.pdf|Download]]  +
Publication text en Carsten Lutz, M. Milicic<br/> '''[[
Carsten Lutz, M. Milicic<br/> '''[[LATPub329/en|A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes]]''' <br/>__NOTOC__Journal of Automated Reasoning. Special Issue on on Automated Reasoning with Analytic Tableaux and Related Methods, to appear<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub329|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:LutzMilicic-JAR06.pdf|Download]]
; [[Media:LutzMilicic-JAR06.pdf|Download]]  +
Publisher Springer  +
Referiert 1  +
Title A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes  +
To appear 1  +
Type article  +
Year 2006  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
LATPub329 + , LATPub329 + , LATPub329 + , LATPub329 + , LATPub329 + , LATPub329 +
Kategorien Article , Publikation
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
25 März 2015 14:34:05  +
verstecke Attribute die hierhin verlinken 
LATPub329/en + Weiterleitungsseite
 

 

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