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

Sebastian BrandtSebastian Brandt, Anni-Yasmin TurhanAnni-Yasmin Turhan, Ralf KüstersRalf Küsters

Datei:BrandtTurhan+LPAR-03.ps.gz

Download

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

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

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