Model-based Most Specific Concepts in Description Logics with Value Restrictions

Felix DistelFelix Distel

Felix Distel
Model-based Most Specific Concepts in Description Logics with Value Restrictions
Technical Report, Institute for theoretical computer science, TU Dresden, volume 08-04, 2008

Details
Bibtex

KurzfassungAbstract
Non-standard inferences are particularly useful in the bottom-up construction of ontologies in Description Logics. One of the more common non-standard reasoning tasks is the most specific concept (msc) for an ABox-individual. In this paper we present similar non-standard reasoning task: model-based most specific concepts (model-mscs). We show that, although they look similar to ABox-mscs their computational behaviour can be different. We present constructions for model-mscs in the logics ensuremath{mathcal{FLO
Bemerkung: Note: See http://lat.inf.tu-dresden.de/research/reports.html.

@techreport{D2008,
  author      = {Felix Distel},
  title       = {Model-based Most Specific Concepts in Description Logics with
                 Value Restrictions},
  institution = {Institute for theoretical computer science, {TU} Dresden},
  year        = {2008}
}

and ensuremath{mathcal{FLE}} with cyclic TBoxes and for ensuremath{mathcal{ALC}^{cupast}} with acyclic TBoxes. Since subsumption in ensuremath{mathcal{FLE}} with cyclic TBoxes has not been examined previously, we present a characterization of subsumption and give a construction for the least common subsumer in this setting.

|ISBN= |ISSN= |Link= |Download=modelmscs.pdf |Slides= |DOI Name= |Projekt= |Forschungsgruppe=Automatentheorie |BibTex=@techreport{ Dist08,

 address = {Dresden, Germany},
 author = {Felix {Distel} },
 institution = {Institute for theoretical computer science, TU Dresden},
 note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
 number = {08-04},
 title = {Model-based Most Specific Concepts in Description Logics with Value Restrictions},
 year = {2008},

} }}