Sciweavers

Share
DLOG
1996

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

11 years 9 months ago
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...
Franz Baader, Ulrike Sattler
Added 02 Nov 2010
Updated 02 Nov 2010
Type Conference
Year 1996
Where DLOG
Authors Franz Baader, Ulrike Sattler
Comments (0)
books