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


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


Views and Downloads






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

TO TOP