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

From International Center for Computational Logic
Toggle side column

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
  • 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},
}