OWLIM and OWL2-QL

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

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 UTC