Re: OWLIM and OWL2-QL

You didn't mention datatype reasoning, so I also left "Datatype reasoning not fully supported" in the (Non-) Conformance section. Let me know if you see any problems.

Ian

==========
Prof Ian Horrocks
Oxford University Computing Laboratory

Wolfson Building, Parks Road, Oxford OX1 3QD, UK
Tel +44 1865 283555 (assistant)  +44 1865 273939 (direct)
FAX +44 1865 521093
Email: ian.horrocks@comlab.ox.ac.uk
Web: http://www.comlab.ox.ac.uk/people/ian.horrocks/




On 28 Mar 2011, at 16:05, Barry Bishop wrote:

> 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 17:24:34 UTC