[Pellet-users] Inferred Subsumption

[Evren Sirin]

On 3/4/08 11:51 AM, JPQ wrote:
> I'm running the Pellet inferencing engine in TopBraid Composer on a valid
> OWL-DL document. Here are the details.
>
> An OWL-DL ontology contains the following class.
> <owl:Class rdf:ID="LatLon">
>    <owl:unionOf rdf:parseType="Collection">
>       <rdf:Description rdf:about="Another_Ontology.owl#Lat"/>
>       <rdf:Description rdf:about="Another_Ontology.owl#Lon"/>
>    </owl:unionOf>
> </owl:Class>
>
> The anonymous class formed by the "unionOf" set operation is equivalent to
> the named class, "LatLon".
>
> This ontology imports a second ontology.
>
> The second OWL-DL ontology ("Another_Ontology") has the following features:
>
> 1. The "Lat" & "Lon" classes are Type-1 OWL classes (ie, they are simply
> identified as RDF nodes using the rdf:ID construct)
> 2. There exist "lat" & "lon" datatype properties
>     a. The "lat" property domain is "Lat"; its range is "xsd:double". The
> same applies with "lon",
>         except its domain is "Lon".
>         (I've also tried an alternate version where the "lat" & "lon"
> datatype properties only define
>         ranges and not domains.)
>
>     b. Both the "lat" & "lon" datatype properties are also typed with
> <owl:FunctionalProperty>
>
>  Running the Pellet inference engine on the first ontology results in the
> following inferences.
>       Another_Ontology:Lat rdfs:subClassOf LatLon
>       Another_Ontology:Lon rdfs:subClassOf LatLon
>
> The "LatLon" class subsumes "Lat" & "Lon".
>   

Ok, everything sounds right until now.

> Why does Pellet infer these subsumptions when the "LatLon" class description
> defines an equivalency?
>   

I don't understand the question or the problem. Are you saying that the 
subclass relations do not hold when you change the definition of LatLon? 
If so, what is the changed definition? Providing complete, minimal 
ontologies would help us understand what is wron.

Cheers,
Evren
> Thanks for your help.
>
>   
> ------------------------------------------------------------------------
>
> _______________________________________________
> 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/