Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies
Aus International Center for Computational Logic
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
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
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
- 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},
}