How Many Legs Do I Have? Non−Simple Roles in Number Restrictions Revisited

Conference item

The Description Logics underpinning OWL impose a well-known syntactic restriction in order to preserve decidability: they do not allow to use non-simple roles—that is, transitive roles or their super-roles—in number restrictions. When modeling composite objects, for example in bio-medical ontologies, this restriction can pose problems. Therefore, we take a closer look at the problem of counting over non-simple roles. On the one hand, we sharpen the known undecidability results and demon-strat...

Expand abstract

Authors: Kazakov, Y; Sattler, U; Zolin, E

• Publisher: Springer
• Host title: LPAR
• Volume: 4790
• Publication date: 2007-01-01
• DOI: 10.1007/978-3-540-75560-9_23