W3C home > Mailing lists > Public > public-owl-wg@w3.org > October 2008

ISSUE-149 (OWL 2 RL errors): Some problems with OWL 2 RL

From: OWL Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Sun, 19 Oct 2008 11:52:36 -0400 (EDT)
To: public-owl-wg@w3.org
Message-Id: <20081019155236.8FD464DD62@crusher.w3.org>


ISSUE-149 (OWL 2 RL errors): Some problems with OWL 2 RL

http://www.w3.org/2007/OWL/tracker/issues/149

Raised by: Boris Motik
On product: 

OWL 2 RL currently exhibits some problems.

On the DL side, the Profile currently disallows the usage of SomeValuesFrom( R owl:Thing) on the left-hand side of the axioms. This is regrettable and should be fixed: just think of axioms of the form

SubClassOf( SomeValuesFrom( a:hasChild owl:Thing ) a:Parent )

On the RDF side, the set of OWL 2 RL/RDF rules currently does not contain an axiomatization of the built-in entities, such as owl:Thing, owl:Nothing, and top/bottom properties.
Received on Sunday, 19 October 2008 15:52:44 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:07 UTC