[Pellet-users] Reasoning imported ontology

[Ibach, Brandon L]

Steve,
    Just off the top of my half-functioning brain (it's been a long day,
so somebody correct me if I'm off-base), I think the problem is that
you're expecting Pellet to tell you that the whole *ontology* is
inconsistent just because you have a class (the intersection of X and Y)
which is *unsatisfiable*, which it won't (and shouldn't).  I don't think
this has anything to do with the fact that the classes are in two
ontologies.  You could try creating a single ontology with all of the
classes together to verify this.  To provide any more details on this
issue, we'll need to see your ontologies (or a minimal subset of them
that demonstrates the case you describe) and your code.

-Brandon :)


 

________________________________

From: pellet-users-bounces at lists.owldl.com
[mailto:pellet-users-bounces at lists.owldl.com] On Behalf Of sjtirtha
Sent: Tuesday, July 24, 2007 11:05 AM
To: Pellet-users at lists.owldl.com
Subject: [Pellet-users] Reasoning imported ontology


Hi,
 
i have ontology A and ontology B. Ontology A imports ontology B.
Than I use pellet to do a consistency check of intersection between
class X and class Y. 
Class x is defined in ontology A and class Y is defined in ontology B.
Pellet should return "false" in the consistency check. But it returns
"true".
 
I've tried to load both ontologies manually.
reasoner.addOntology(ontologyA);
reasoner.addOntology(ontologyB);
 
And I've tred also to load only ontologyA using setOntology method,
because ontology A imports already ontology B.
reasoner.setOntology(ontologyA);
 
But it still doesn't return the right consistency check result.
Do I miss something here to work with multiple ontologies ?
 
Regards,
 
Steve
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20070725/3546d2b0/attachment.htm