DatatypeProperty hierarchy in OWL 2 RL

Dear all,

I'm wondering what DatatypeProperty axioms are allowed in OWL 2 RL. 
Nothing is said explicitly in Sect.4.2.5 of Profiles [1]. In that 
section, Class axioms, ObjectProperty axioms, Class assertions, range, 
domain, keys are discussed but not DatatypeProperty axioms. However, the 
final sentence let me assume that all DatatypeProperty axioms are allowed:

"""All other axioms in OWL 2 RL are defined as in the structural 
specification [OWL 2 Specification]."""

Yet, when I validate an ontology containing a DatatypeProperty hierarchy 
against the OWL 2 Validator [2] (for profile RL), it says it is not in 
OWL 2 RL because of the subPropertyOf axioms.

So what is the correct interpretation?

[1] http://www.w3.org/TR/owl2-profiles/#Axioms_3
[2] http://owl.cs.manchester.ac.uk/validator/


Regards,
-- 
Antoine Zimmermann
Post-doctoral researcher at:
Digital Enterprise Research Institute
National University of Ireland, Galway
IDA Business Park
Lower Dangan
Galway, Ireland
antoine.zimmermann@deri.org
http://vmgal34.deri.ie/~antzim/

Received on Thursday, 17 September 2009 13:35:03 UTC