Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies

S. BrandtS. Brandt, Anni-Yasmin TurhanAnni-Yasmin Turhan, R. KüstersR. Küsters

Datei:BrTuKu-LTCS-03-02.ps.gz

Download

S. Brandt, Anni-Yasmin Turhan, R. Küsters
Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 03-02, 2003. LTCS-Report

Details
Bibtex

KurzfassungAbstract
Description Logics (DLs) are a family of knowledge representation formalisms used for terminological reasoning. They have a wide range of applications such as medical knowledge-bases, or the semantic web. Research on DLs has been focused on the development of sound and complete inference algorithms to decide satisfiability and subsumption for increasingly expressive DLs.
```
Non-standard inferences are a group of relatively new inference services which provide reasoning support for the building, maintaining, and deployment of DL knowledge-bases. So far, non-standard inferences are not available for very expressive DLs.
```
In this paper we present first results on non-standard inferences for DLs with transitive roles. As a basis, we give a structural characterization of subsumption for DLs where existential and value restrictions can be imposed on transitive roles. We propose sound and complete algorithms to compute the least common subsumer (lcs).
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{ BrTuKu-LTCS-03-02,
  address = {Germany},
  author = {S. {Brandt} and A.-Y. {Turhan} and R. {K{\"u}sters}},
  institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology},
  number = {03-02},
  title = {Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies},
  type = {LTCS-Report},
  year = {2003},
}