|
»
»
Performing consistency checks
|
View:
New views
4 Messages
—
Rating Filter:
Alert me
|
 |
Performing consistency checks
by Antonenko, Elena
::
Rate this Message:
Hello everyone, _______________________________________________ protege-owl mailing list protege-owl@... https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 |
|
|
Re: Performing consistency checks
by Tania Tudorache
::
Rate this Message:
Hi Elena,
If the individual belongs to two disjoint classes, the whole ontology is inconsistent. That is why you see all classes as inconsistent. If you press on the "I" (compute types) button, you will also see the reason for the inconsistency. Tania Antonenko, Elena wrote: > > Hello everyone, > > I have a question about consistency checks in Protege. I have 3 > classes in my ontology: Mammal, Bird and Fish. Classes Mammal and Fish > are declared as disjoint to each other. Then I created an instance, > which is both of types Mammal and Fish, which should cause inconsistency. > > When I perform consistency checks with Pellet reasoner (direct), I get > a result that all three classes are inconsistent. > > Why is class Bird inconsistent as well? I would expect only classes > Mammal and Fish to be inconsistent. > > Thank you very much in advance. > > Kind regards, > Elena. > > > P.S. > > The ontology is below: > > <?xml version="1.0"?> > <rdf:RDF > xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" > xmlns:protege="http://protege.stanford.edu/plugins/owl/protege#" > xmlns:xsp="http://www.owl-ontologies.com/2005/08/07/xsp.owl#" > xmlns:owl="http://www.w3.org/2002/07/owl#" > xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > xmlns="http://www.fokus.fraunhofer.de/test/targetOntology.owl#" > xmlns:swrl="http://www.w3.org/2003/11/swrl#" > xmlns:swrlb="http://www.w3.org/2003/11/swrlb#" > xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" > xml:base="http://www.fokus.fraunhofer.de/test/targetOntology.owl"> > <owl:Ontology rdf:about=""/> > <owl:Class rdf:ID="Fish"> > <owl:disjointWith> > <owl:Class rdf:ID="Mammal"/> > </owl:disjointWith> > </owl:Class> > <owl:Class rdf:about="#Mammal"> > <owl:disjointWith rdf:resource="#Fish"/> > </owl:Class> > <owl:Class rdf:ID="Bird"/> > <Fish rdf:ID="Mammal_5"> > <rdf:type rdf:resource="#Mammal"/> > </Fish> > </rdf:RDF> > > ------------------------------------------------------------------------ > > _______________________________________________ > protege-owl mailing list > protege-owl@... > https://mailman.stanford.edu/mailman/listinfo/protege-owl > > Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 > _______________________________________________ protege-owl mailing list protege-owl@... https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 |
|
|
Re: Performing consistency checks
by m.fahad
::
Rate this Message:
hey there...
circle in ontology is a error but why reasoner create circle for all the classes involved,
i do have ontology like
class1 subcalss of class2
class2 subcalss of class3
class3 subcalss of class4
class4 subcalss of class5
i create cirlce by:
class5 subcalss of class1
Reasoner has not detected the circle and created more circles as in inferred hierarchy.
Can anyone justify it???
On 7/4/08, Tania Tudorache <tudorache@...> wrote:
Hi Elena, -- Regards, Fahad _______________________________________________ protege-owl mailing list protege-owl@... https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 |
|
|
Re: Performing consistency checks
by Tania Tudorache
::
Rate this Message:
Muhammad,
I am not sure how you create circles in Protege, but I am interested in finding out :) If a class has a red circle icon, it means that the class is inconsistent. If you have an inconsistent individual, the all the classes will be marked as inconsistent (so they will all have the red circle icon after you press the "Check consistency" button). Tania Muhammad Fahad wrote: > hey there... > circle in ontology is a error but why reasoner create circle for all > the classes involved, > i do have ontology like > > class1 subcalss of class2 > class2 subcalss of class3 > class3 subcalss of class4 > class4 subcalss of class5 > > i create cirlce by: > class5 subcalss of class1 > > Reasoner has not detected the circle and created more circles as in > inferred hierarchy. > > Can anyone justify it??? > > > > On 7/4/08, *Tania Tudorache* <tudorache@... > <mailto:tudorache@...>> wrote: > > Hi Elena, > > If the individual belongs to two disjoint classes, the whole > ontology is > inconsistent. That is why you see all classes as inconsistent. If you > press on the "I" (compute types) button, you will also see the reason > for the inconsistency. > > Tania > > > Antonenko, Elena wrote: > > > > Hello everyone, > > > > I have a question about consistency checks in Protege. I have 3 > > classes in my ontology: Mammal, Bird and Fish. Classes Mammal > and Fish > > are declared as disjoint to each other. Then I created an instance, > > which is both of types Mammal and Fish, which should cause > inconsistency. > > > > When I perform consistency checks with Pellet reasoner (direct), > I get > > a result that all three classes are inconsistent. > > > > Why is class Bird inconsistent as well? I would expect only classes > > Mammal and Fish to be inconsistent. > > > > Thank you very much in advance. > > > > Kind regards, > > Elena. > > > > > > P.S. > > > > The ontology is below: > > > > <?xml version="1.0"?> > > <rdf:RDF > > xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" > > xmlns:protege="http://protege.stanford.edu/plugins/owl/protege#" > > xmlns:xsp="http://www.owl-ontologies.com/2005/08/07/xsp.owl#" > > xmlns:owl="http://www.w3.org/2002/07/owl#" > > xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > > xmlns="http://www.fokus.fraunhofer.de/test/targetOntology.owl#" > > xmlns:swrl="http://www.w3.org/2003/11/swrl#" > > xmlns:swrlb="http://www.w3.org/2003/11/swrlb#" > > xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" > > xml:base="http://www.fokus.fraunhofer.de/test/targetOntology.owl"> > > <owl:Ontology rdf:about=""/> > > <owl:Class rdf:ID="Fish"> > > <owl:disjointWith> > > <owl:Class rdf:ID="Mammal"/> > > </owl:disjointWith> > > </owl:Class> > > <owl:Class rdf:about="#Mammal"> > > <owl:disjointWith rdf:resource="#Fish"/> > > </owl:Class> > > <owl:Class rdf:ID="Bird"/> > > <Fish rdf:ID="Mammal_5"> > > <rdf:type rdf:resource="#Mammal"/> > > </Fish> > > </rdf:RDF> > > > > > ------------------------------------------------------------------------ > > > > _______________________________________________ > > protege-owl mailing list > > protege-owl@... > <mailto:protege-owl@...> > > https://mailman.stanford.edu/mailman/listinfo/protege-owl > > > > Instructions for unsubscribing: > http://protege.stanford.edu/doc/faq.html#01a.03 > > > > _______________________________________________ > protege-owl mailing list > protege-owl@... <mailto:protege-owl@...> > https://mailman.stanford.edu/mailman/listinfo/protege-owl > > Instructions for unsubscribing: > http://protege.stanford.edu/doc/faq.html#01a.03 > > > > > -- > Regards, > > Fahad > ------------------------------------------------------------------------ > > _______________________________________________ > protege-owl mailing list > protege-owl@... > https://mailman.stanford.edu/mailman/listinfo/protege-owl > > Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 > _______________________________________________ protege-owl mailing list protege-owl@... https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 |
| Free Forum Powered by Nabble | Forum Help |