W3C home > Mailing lists > Public > public-owl-wg@w3.org > July 2009

Overview for OWL RL Profile missing mention that ObjectHasSelf not in

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

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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:42:00 UTC