[Pellet-users] subsumption between two independent ontologies

[Catarina Ferreira Da Silva]

Evren, thanks :)

Have a nice day,

Catarina

Quoting Evren Sirin <evren at clarkparsia.com>:

> 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/
> >
>
>


--------------------------------------------------------------------------
Ce message a été envoyé depuis le webmail IMP (Internet Messaging Program)