Report icon

Report

Is Your RBox Safe?

Abstract:

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 demonstrate...

Expand abstract

Actions


Authors


Yevgeny Kazakov More by this author
Ulrike Sattler More by this author
Evgeny Zolin More by this author
Publisher:
The University of Manchester
Publication date:
2007-07-01
URN:
uuid:9fefb2f0-816b-41ee-bea7-e14a116441ae
Local pid:
cs:883

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP