[Pellet-users] subsumption between two independent ontologies

[Evren Sirin]

On 7/30/07 10:03 AM, Catarina Ferreira Da Silva wrote:
> Hi all,
>
> Two separate ontologies [1] and [2] are loaded into the reasoner. I use Pellet
> 1.5.0 and the OWL API 2.1.0. None of the ontologies imports the other. Then I
> get the references of the classes of the ontologies and I test if one class of
> the first ontology is subsumed by one class of the second ontology (code is
> available at [3]). The result says each class of the first loaded ontology is
> subsumed by each class of the second ontology (see output results hereafter).
> Moreover, if I modify the loading order of the ontologies (i.e. the first
> loaded ontology becomes the second one and vice-versa) then the subsumption
> result is also reversed.
>
> As ontologies are independent one from another, I was expecting no class from
> one ontology is subsumed from classes of the other one. Am I doing something
> wrong? Could you please help me explain this result?
>   
It seems the if condition and the print statements in your program are 
reversed. The program prints "A subsumed by B" when the 
reasoner.isSubClassOf(A,B) function returns false. If you fix the if 
condition you will see that there is no subsumption between those concepts.

Cheers,
Evren

PS: Note that reasoner.setOntology function unloads any previously 
loaded ontology. You have two setOntology calls in a row which means the 
second call will unload any ontology loaded by the first call. You 
probably want to use reasoner.loadOntology (or reasoner.loadOntologies) 
function.
> Catarina
>
> Output results are:
>
> 30 juil. 2007 00:09:04 org.coode.owl.rdfxml.parser.OWLRDFConsumer endModel
> INFO: Total number of triples: 36
> 30 juil. 2007 00:09:08 org.coode.owl.rdfxml.parser.OWLRDFConsumer endModel
> INFO: Loaded
> http://liris.cnrs.fr/catarina.ferreira.da.silva/SRs/ifc-kernel-isActingUpon-v5.3.owl
> 30 juil. 2007 00:09:08 org.coode.owl.rdfxml.parser.OWLRDFConsumer endModel
> INFO: Total number of triples: 31
> 30 juil. 2007 00:09:08 org.coode.owl.rdfxml.parser.OWLRDFConsumer endModel
> INFO: Loaded
> http://liris.cnrs.fr/catarina.ferreira.da.silva/SRs/eCognos-isInvolvedIn-SEP2.owl
> IfcObjectDefinition is subsumed by eCognosConcepts
> IfcObjectDefinition is subsumed by Actor
> IfcObjectDefinition is subsumed by Project
> IfcRoot is subsumed by eCognosConcepts
> IfcRoot is subsumed by Actor
> IfcRoot is subsumed by Project
> IfcRelAssignsToActor is subsumed by eCognosConcepts
> IfcRelAssignsToActor is subsumed by Actor
> IfcRelAssignsToActor is subsumed by Project
> IfcRelAssigns is subsumed by eCognosConcepts
> IfcRelAssigns is subsumed by Actor
> IfcRelAssigns is subsumed by Project
> IfcRelationship is subsumed by eCognosConcepts
> IfcRelationship is subsumed by Actor
> IfcRelationship is subsumed by Project
> IfcActor is subsumed by eCognosConcepts
> IfcActor is subsumed by Actor
> IfcActor is subsumed by Project
> IfcObject is subsumed by eCognosConcepts
> IfcObject is subsumed by Actor
> IfcObject is subsumed by Project
>
> ---//---
>
> Output results (after reverse the loading order of the ontologies):
>
> 30 juil. 2007 00:19:08 org.coode.owl.rdfxml.parser.OWLRDFConsumer endModel
> INFO: Total number of triples: 31
> 30 juil. 2007 00:19:09 org.coode.owl.rdfxml.parser.OWLRDFConsumer endModel
> INFO: Loaded
> http://liris.cnrs.fr/catarina.ferreira.da.silva/SRs/eCognos-isInvolvedIn-SEP2.owl
> 30 juil. 2007 00:19:09 org.coode.owl.rdfxml.parser.OWLRDFConsumer endModel
> INFO: Total number of triples: 36
> 30 juil. 2007 00:19:09 org.coode.owl.rdfxml.parser.OWLRDFConsumer endModel
> INFO: Loaded
> http://liris.cnrs.fr/catarina.ferreira.da.silva/SRs/ifc-kernel-isActingUpon-v5.3.owl
> eCognosConcepts is subsumed by IfcObjectDefinition
> eCognosConcepts is subsumed by IfcRoot
> eCognosConcepts is subsumed by IfcRelAssignsToActor
> eCognosConcepts is subsumed by IfcRelAssigns
> eCognosConcepts is subsumed by IfcRelationship
> eCognosConcepts is subsumed by IfcActor
> eCognosConcepts is subsumed by IfcObject
> Actor is subsumed by IfcObjectDefinition
> Actor is subsumed by IfcRoot
> Actor is subsumed by IfcRelAssignsToActor
> Actor is subsumed by IfcRelAssigns
> Actor is subsumed by IfcRelationship
> Actor is subsumed by IfcActor
> Actor is subsumed by IfcObject
> Project is subsumed by IfcObjectDefinition
> Project is subsumed by IfcRoot
> Project is subsumed by IfcRelAssignsToActor
> Project is subsumed by IfcRelAssigns
> Project is subsumed by IfcRelationship
> Project is subsumed by IfcActor
> Project is subsumed by IfcObject
>
> [1]
> http://liris.cnrs.fr/catarina.ferreira.da.silva/test/eCognos-isInvolvedIn-SEP2.owl
> [2]
> http://liris.cnrs.fr/catarina.ferreira.da.silva/test/ifc-kernel-isActingUpon-v5.3.owl
> [3] http://liris.cnrs.fr/catarina.ferreira.da.silva/test/TestSubsumption.java
>
>
> --------------------------------------------------------------------------
> Ce message a été envoyé depuis le webmail IMP (Internet Messaging Program)
> _______________________________________________
> 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/
>