search

matthewhorridge / owlexplanation

An API and reference implementation for generating justifications for entailments in OWL ontologies
GNU Lesser General Public License v3.0
19 stars 9 forks source link

Pellet reasoner doesn't throw violation #9

Open hariny19 opened 5 years ago

hariny19 commented 5 years ago

Hi, I know this isn't the right forum for me to post a generic pellet reasoner issue I am facing. But Ic couldn't find an easier way to contact you experts, my sincere apologies. I have a class A in my ontology and I have a class axiom defined on it that says "hasChild min 1 ChildClassB" I create an individual Individual1 and add it as an instance to class A, but I don't add any object property hasChild to the individual. Isn't the reasoner supposed to throw an inconsistency error since the rule that an instance of class A should have atleast one hasChild property has failed?

Thanks Hariny

renanlf commented 5 years ago

Hi hariny19,

I think you should look at this link: https://www.dataversity.net/introduction-to-open-world-assumption-vs-closed-world-assumption/ about Closed World Assumption and Open World Assumption.

If you want to have an inconsistency you must explicit some fact which blocks indidividual1 have any hasChild relationship. For instance: add the individual1 type of (not (hasChild some)). Adding that axiom you probably turn the ontology inconsistent.