[Pellet-users] Intersection between 2 DataRange

[Bijan Parsia]

On Thu, August 2, 2007 11:05 am, sjtirtha <sjtirtha at gmail.com> said:

> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/Hi,
> 
> I'm trying to find out the consistency of intersection between 2 DataRange
> using Pellet 1.4.
> 
> Weight70 (hasValue some decimal[<="70"^^decimal] )
>  Weight80 (hasValue some decimal[>="80"^^decimal] )
> 
> Than I create a OWLClass which is defined as intersection of Weight70 and
> Weight80.
> The reasoner should actually return inconsistent.

You are wrong in that expectation, assuming that what you mean above is two existentials and you have no cardinality constraints elsewhere.

> But it says that this
> intersection is consistent.

As it should. In the future, when you suspect reasoner error in such a case, you might want to try other reasoners like FaCT++ to check first. Protege4alpha makes this very easy to do.

> Am I doing something wrong by the Class definition ? Or it is a feature that
> is not yet implemented.

Basic semantic questions like this really belong on something like public-owl-dev, esp. given your heavy list usage.

Cheers,
Bijan.