Welcome to the InfoSci Platform
Reference Hub1
Complex Role Inclusions with Role Chains on the Right are Expressible in SROIQ

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

Michael Compton
Copyright: © 2015 |Volume: 11 |Issue: 1 |Pages: 18
ISSN: 1552-6283|EISSN: 1552-6291|EISBN13: 9781466676190|DOI: 10.4018/IJSWIS.2015010103
Cite Article Cite Article

MLA

Compton, Michael. "Complex Role Inclusions with Role Chains on the Right are Expressible in SROIQ." IJSWIS vol.11, no.1 2015: pp.46-63. http://doi.org/10.4018/IJSWIS.2015010103

APA

Compton, M. (2015). Complex Role Inclusions with Role Chains on the Right are Expressible in SROIQ. International Journal on Semantic Web and Information Systems (IJSWIS), 11(1), 46-63. http://doi.org/10.4018/IJSWIS.2015010103

Chicago

Compton, Michael. "Complex Role Inclusions with Role Chains on the Right are Expressible in SROIQ," International Journal on Semantic Web and Information Systems (IJSWIS) 11, no.1: 46-63. http://doi.org/10.4018/IJSWIS.2015010103

Export Reference

Mendeley
Favorite Full-Issue Download

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.