Currently it says: All axioms in OWL 2 RL are constrained in a way that is compliant with these restrictions. Thus, OWL 2 RL supports all axioms of OWL 2 apart from disjoint unions of classes (DisjointUnion) and reflexive object property axioms (ReflexiveObjectProperty). This doesn't document, in the same way as the other profiles, which expressions are allowed or not allowed. For example QL explicitly lists that ObjectHasSelf is not supported. I suggest that the same kind of mention for OWL RL be made. -AlanReceived on Thursday, 30 July 2009 02:48:25 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 30 July 2009 02:48:26 GMT