- 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
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