W3C home > Mailing lists > Public > public-owl-comments@w3.org > March 2011

OWLIM and OWL2-QL

From: Barry Bishop <barry.bishop@ontotext.com>
Date: Mon, 28 Mar 2011 17:05:20 +0200
Message-ID: <4D90A3B0.5040909@ontotext.com>
To: public-owl-comments@w3.org
Dear sirs/madams,

Please could you update the 'implementations' wiki page at:

     http://www.w3.org/2007/OWL/wiki/Implementations

OWLIM has had support for OWL2-QL since v3.4 (Nov 2010).

The semantics is RDF-based.

Non-conformance:

1. DisjointObjectProperties and DisjointDataProperties used to infer 
propertyDisjointWith instead of AllDifferent restriction on values for 
these properties.

2. No inference of anonymous unions (containing exactly one class) for 
all classes

3. Disjoint classes do not infer differentFrom for instances. Instead 
there is a consistency check that checks for membership of disjoint classes.

Many thanks,
barry

--
Barry Bishop
OWLIM Product Manager
Ontotext AD
Tel: +43 650 2000 237
email: barry.bishop@ontotext.com
www.ontotext.com
Received on Monday, 28 March 2011 15:06:03 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 28 March 2011 15:06:03 GMT