materialize the RDFS closure

I'm afraid that is greek to me yet. A quick google does not seem to be of much help. Do you have a practical starting point to learn about it and how to achieve it with jena?

Jo

Dave Reynolds schreef op 2013-05-23 10:08:

Reasoner incompleteness.

By extending the OWL machinery itself you are into OWL/full territory
here. The jena rule reasoner is indeed an OWL/full reasoner but as
noted many times is not complete. In particular the layered design is
biting in this case.

There are work arounds. For example you could materialize the RDFS
closure of your ontology first. Thus finding all the places that you
have extended OWL itself. Then run the OWL reasoner over that closure.

Dave

Reply via email to