Overview for OWL RL Profile missing mention that ObjectHasSelf not in from Alan Ruttenberg on 2009-07-30 (public-owl-wg@w3.org from July 2009)

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Wed, 29 Jul 2009 22:47:30 -0400
To: W3C OWL Working Group <public-owl-wg@w3.org>
Message-ID: <29af5e2d0907291947h14877788s1dc27e08ccc7aa7d@mail.gmail.com>

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.

-Alan

Received on Thursday, 30 July 2009 02:48:25 UTC