User Tools

Site Tools


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

@INPROCEEDINGS{BrandtTurhanKuesters-LPAR-2003,
  author = {S.~Brandt and A.-Y.~Turhan and R.~K{\"u}sters},
  title = {Extensions of Non-standard Inferences to Description Logics with transitive Roles},
  booktitle = {Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2003)},
  pages = {122--136},
  year = 2003,
  editor = {M.~Vardi and A.~Voronkov},
  volume = 2850,
  series = {Lecture Notes in Artificial Intelligence},
  publisher = {Springer},
  abstract = {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 constructing and maintaining 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).}
}