[Pellet-users] possible pellet bug involving the owl api and floats

[Evren Sirin]

Thanks for the report Timothy. This looks like a bug in the datatype 
reasoner and is not limited to the OWLAPI interface. But depending on 
the order axioms are processed the bug does not occur all the time 
(explaining why you got different results). The issue is recorded in the 
tracker [1] and we'll look into it.

Thanks,
Evren

[1] http://cvsdude.com/trac/clark-parsia/pellet-devel/ticket/127


On 5/31/08 3:59 AM, Timothy Redmond wrote:
>
> I think that I have found a bug in pellet that only occurs when using
> the owl api.  In the ontology float.owl, I believe that the individual
> "a" should be inferred to be in the class "B".  In  fact if I run pellet
> from the command line I get the following output:
>
> --- --- --- ---
>
> [tredmond at smi-tredmond-li pellet-1.5.2]$ sh pellet.sh  -r -c -if
> ~/Shared/code/Test.p4/ontologies/float.owl
> Input file: file:/home/tredmond/Shared/code/Test.p4/ontologies/float.owl
> OWL Species: Lite
> DL Expressivity: ALC(D)
> Consistent: Yes
> Time: 1316 ms (Loading: 1246 Species Validation: 36 Consistency: 19
> Classification: 14 Realization: 1 )
>
> Classification:
>
> owl:Thing
>    classification_safety_reports:A
>       classification_safety_reports:B -
> (classification_safety_reports:a)
>
>
> [tredmond at smi-tredmond-li pellet-1.5.2]$
>
>
> --- --- --- ---
>
> Good enough - this is what I expect and it rules out things like a
> stupid syntax error on my part.  But then I run the test program below I
> don't seem to get the same result.  The individual "a" is not classified
> to be in the class "B".  I used the baseline ontology to make sure that
> I was using the pellet reasoner correctly and it seems like I am.
>
> The test  program that I am sending expects to find the two ontologies
> in a directory  called "ontologies".  Other than that I figure it will
> just run in your  environment
>
> -Timothy
>
> ------------------------------------------------------------------------
>
> _______________________________________________
> Pellet-users mailing list
> Pellet-users at lists.owldl.com
> http://lists.owldl.com/mailman/listinfo/pellet-users
> _______________________________________________
>
> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/