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