[Pellet-users] Pellet and In Memory Models

[Ron Alford]

Lelli Nikoleta wrote:
> Validation Results
> ==================
> Warning (Unsatisfiable class):
> http://www.owl-ontologies.com/unnamed.owl#classA
>  
>  
> But when I check my ontology using an in memory model, no incosistencies
> are being catched.
>  

Hello,
classA is unsatisfiable, but the ontology is consistent (and pellet is
correctly reporting this).  If you added an individual belonging to
classA, then the ontology would be inconsistent.

-Ron

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 251 bytes
Desc: OpenPGP digital signature
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20070323/96bb973c/attachment.pgp