Complex Role Inclusions with Role Chains on the Right are Expressible in SROIQ

Michael Compton
Additional contact information
Michael Compton: CSIRO, Cygnet, Australia

International Journal on Semantic Web and Information Systems (IJSWIS), 2015, vol. 11, issue 1, 46-63

Abstract: The syntax of both SROIQ and OWL 2 allow complex role inclusion axioms where the role composition occurs on the left of the subsumption relation, but not where the role composition occurs on the right. This paper proves that, despite the lack of syntax, SROIQ, and consequently OWL 2, can already express such complex role inclusions. This is shown by proving that complex role inclusion axioms where the role composition occurs on the right of the subsumption relation can already be expressed in terms of complex role inclusions on the left. The resulting syntactic restrictions are similar to those already present in SROIQ and OWL 2.

Date: 2015
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 18/IJSWIS.2015010103 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jswis0:v:11:y:2015:i:1:p:46-63

Access Statistics for this article

International Journal on Semantic Web and Information Systems (IJSWIS) is currently edited by Brij Gupta

More articles in International Journal on Semantic Web and Information Systems (IJSWIS) from IGI Global
Bibliographic data for series maintained by Journal Editor ().