actual effects of stepping outside OWL DL?

What actually happens when you step outside OWL DL (in the context of
using a DL reasoner on an OWL ontology)?

Does doing so just mean that a DL reasoner can't make use of information
in non-OWL-DL constructs?  (Can it still reason over the OWL-DL part of
the ontology, or does DL reasoning break down?)

Does doing so just mean that a DL reasoner might exceed the algorithmic
complexity guarantees it would meet for DL constructs (depending on your
particular ontology, non-DL features, and ontology and dataset size), or
does it mean that it's very likely to exceed them in almost any case?

Does doing so have other implications?


(Where I'm coming from is wondering what the cost is of having non-DL
portions of an ontology.  I'm thinking of the animal-book-subjects modeling
example where one option is to use classes (for animals) as objects of a
hasSubject property of books.

If a bigger ontology had a non-DL portion, would the DL portion still be
processable directly, or would one have to strip out all the non-DL
axioms/assertions before passing the ontology to a DL reasoner?)

Thanks,
Daniel

Received on Friday, 21 September 2012 21:06:04 UTC