[Pellet-users] Powertype

[Evren Sirin]

When you use a URI both as a class and as an individual Pellet would use 
punning semantics to process your ontology. Punning semantics mean that 
even though the class and the individual share the same name they have 
no semantic connection whatsoever. The only visible difference form 
reasoning point of view is that in OWL-Full semantics (a owl:sameAs b) 
would entail (a owl:equivalentClass b) but not in punning semantics. I 
have not seen this to be a problem in practice and using punning is ok 
in most cases but ymmv.

Cheers,
Evren

On 6/2/08 4:07 PM, Alex Pinheiro das Graças wrote:
> Hey guys,
>
> I have a question. About the Classes being individuals. What happen if 
> I use this in my model ?
> I know that I'll have an OWL-FULL, but I know that is not always a 
> problem.
> Can I infer a model in pellet if use this ?
> I want to use a model with OWL + SWRL.
>
> Thanks.
> -- 
> Engº Alex Pinheiro das Graças
> Mestrando Informática - UFES
> Vitória, Brasil
> ------------------------------------------------------------------------
>
> _______________________________________________
> 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/