[Pellet-users] Pellet doesn't respect non-simple roles in number restriction prohibition

[Evren Sirin]

Pellet detects the violation of such non-structural restrictions. The 
default behavior is to ignore the axiom that violates the DL restriction 
and print a logging message about this. There is also a strict 
processing mode [1] where Pellet rejects processing such ontologies.

It looks like Pellet integration to Protege 4 uses the relaxed mode but 
hides the warning messages about ignored axioms. It is unfortunate 
because in this example the transitivity of P would be ignored and you 
wouldn't get any inferences regarding transitivity but will not see a 
warning either. Pellet provides programmatic access to warning messages 
so it should be possible for P4 to display such warnings (or maybe it 
already has a reasoner-independent component that reports such violations?).

Cheers,
Evren


[1] http://pellet.owldl.com/faq/owl-full/


On 7/1/08 8:05 AM, Bijan Parsia wrote:
> Only noticed because FaCT++ does :)
>
> This was using Protege 4, build 63(?).
>
> Easy to test:
>
> Make P transitive.
>
> A = P exactly 2.
>
> Cheers,
> Bijan.
>
> _______________________________________________
> 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/
>