Number Restrictions on Complex Roles in Description Logics

Franz BaaderFranz Baader, Ulrike SattlerUlrike Sattler

Franz Baader, Ulrike Sattler
Number Restrictions on Complex Roles in Description Logics
Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR-96), 1996. Morgan Kaufmann, Los Altos

Details
Bibtex

KurzfassungAbstract
Number restrictions are concept constructors that are available in almost all implemented description logic systems. However, even though there has lately been considerable effort on integrating expressive role constructors into description logics, the roles that may occur in number restrictions are usually of a very restricted type. Until now, only languages with number restrictions on atomic roles and inversion of atomic roles, or with number restrictions on intersection of atomic roles have been investigated in detail. In the present paper, we increase the expressive power of description languages by allowing for more complex roles in number restrictions. As role constructors, we consider composition of roles (which will be present in all our languages), and intersection, union and inversion of roles in different combinations. We will present one decidability result (for the basic language that extends ALC by number restrictions on roles with composition), and three undecidability results for three different extensions of the basic language.
Bemerkung: Note: An extended version has appeared as Technical Report LTCS-96-02
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ BaSat96b,
  author = {F. {Baader} and U. {Sattler}},
  booktitle = {Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR-96)},
  note = {An extended version has appeared as Technical Report LTCS-96-02},
  publisher = {Morgan Kaufmann, Los Altos},
  title = {Number Restrictions on Complex Roles in Description Logics},
  year = {1996},
}