Number Restrictions on Complex Roles in Description Logics: A Preliminary Report

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 restrictionson 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 di erent combinations. We will present two decidability results (for the basic languagethat extends ALC by number restrictions on roles with composition, and for one extension of thi...

• Type: Conference
• Year: 1996
• Where: DLOG
• Authors: Franz Baader, Ulrike Sattler
• Keywords: Atomic Roles, Automated Reasoning, DLOG 1996, Number Restrictions, Role Constructors