Extensions of Non-standard Inferences to Description Logics with transitive Roles

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Extensions of Non-standard Inferences to Description Logics with transitive Roles

Sebastian BrandtSebastian Brandt,  Anni-Yasmin TurhanAnni-Yasmin Turhan,  Ralf KüstersRalf Küsters
Sebastian Brandt, Anni-Yasmin Turhan, Ralf Küsters
Extensions of Non-standard Inferences to Description Logics with transitive Roles
In Moshe Vardi and Andrei Voronkov, eds., Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2003), Lecture Notes in Computer Science, 2003. Springer
  • 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
The final publication is available at Springer.
@inproceedings{ BrandtKuesters-LPAR03,
  author = {Sebastian {Brandt} and Anni-Yasmin {Turhan} and Ralf {K{\"u}sters}},
  booktitle = {Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning ({LPAR 2003})},
  editor = {Moshe {Vardi} and Andrei {Voronkov}},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Extensions of Non-standard Inferences to Description Logics with transitive Roles},
  year = {2003},
}