CODEWITHSUNDEEP
owlprotege
Vladimir
Vladimir

Reputation: 11

Inconsistent classification of individuals in Protege 4.3

I have been studying Protege and I have a question. I added an individual with name aaa in ontology "people.owl" which I downloaded from the internet.

I set type assertion as: sheep and hasCC value 200, where hasCC is data property. Then, in class animal I created two classes: hhh and lll. I set hhh as equivalent and there wrote: animal and (hasCC some decimal[>= 150]) For lll I set: animal and (hasCC some decimal[< 250])

When I run HermiT reasoner I see that the individual aaa is classified in both lll and hhh classes. But when I set lll and hhh classes to be disjoint and run the reasoner the classes are not classified in the class "Nothing" as, for example, the class "mad_cow". I get a message: "Your ontology is inconsistent which means that the OWL reasoner will no longer be able to provide any useful information about the ontology." After clicking the button "Explain" I get:

Inconsistent ontology explanation

Could you say, why lll and hhh classes cannot be classified as Nothing? What should I correct to let lll and hhh classes to be classified as Nothing? Thank you!

Upvotes: 0

Views: 717

Answers (1)

Antoine Zimmermann
Antoine Zimmermann

Reputation: 5495

"Your ontology is inconsistent which means that the OWL reasoner will no longer be able to provide any useful information about the ontology."

Isn't this saying it all already? You complain that the reasoner is not doing something but the reasoner explicitly tells you that it is not able to provide any useful information! Make your ontology consistent, then you can expect something from the reasoner.

In any case, you cannot expect a class that contains an instance (here the classes hhh and lll both must contain instance aaa) to be equivalent to Nothing. Nothing precisely means "the class that does not have any instance".

Upvotes: 0

Related Questions