Conference item icon

Conference item

An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ

Abstract:

We propose an extension of the syntactic restriction for complex role inclusion axioms in the description logic SROIQ. Like the original restriction in SROIQ, our restrictions can be checked in polynomial time and they guarantee regularity for the sets of role chains implying roles, and thereby decidability for the main reasoning problems. But unlike the original restrictions, our syntactic restrictions can represent any regular compositional properties on roles. In particular, many practical...

Expand abstract

Actions


Access Document


Files:

Authors


Publisher:
Springer
Host title:
Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010)
Publication date:
2010-01-01
UUID:
uuid:89eb5f8f-b1dc-4689-b8b1-fb7260f6cf18
Local pid:
cs:3634
Deposit date:
2015-03-31

Terms of use


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