Hi Amina,

If you just want to check whether your instances satisfy your constraints, you should look for integrity checking techniques. One possibility could be:

- Put your data into a database

- Write your constraints as queries in the database.

For instance, if you have a constraint such as: "every person should be enrolled in at least one department", bulk your data into an SQL database and then, write a SQL query retrieving those people that are not enrolled in any department. If the query is not empty, there is a violation of your constraint.

Kind regards,

Xavier

Thank you Xavier. Indeed, it's a possible solution.

A fancy solution would be the use of Shapes Constraint Language (SHACL)

It seems that starDog supports closed world reasoning and SHACL, I try to use it.

Hi Amina,

I have written about how you can possibly deal with min restrictions using Protege here:

https://henrietteharmse.com/2019/02/23/understanding-owl-min-vs-max-vs-exactly-property-restrictions/.

I also discuss examples using SHACL:

(1) https://henrietteharmse.com/2018/03/14/rule-execution-with-shacl/

(2) https://henrietteharmse.com/2018/03/12/using-jena-and-shacl-to-validate-rdf-data/

(3) https://henrietteharmse.com/2018/03/15/classification-with-shacl-rules/

Keep well,

Henriette

I did in My phD the same thing please read my paper regarding this you will find the solution

Article Ontology-Based Finite Satisfiability of UML Class Model [3.5...