Re: How to specify OWL version in a document

There is no pre-defined annotation to indicate the intended OWL profile for
an ontology document.  However, one can indicate actual compliance with OWL
2-DL by obeying all the DL restrictions 👮.

It is conceptually confusing to state that an ontology document is in a
specific profile,  since most of the more problematic DL violations may
only show up when the entire imports closure is considered - a document
that imports only DL ontology documents may require OWL Full.

You can check an ontology for compliance with a given profile using the
Profile validators in  OWLAPI.

There are existing canonical IRIs for most (all?) OWL entailment regimes
defined as part of the SPARQL 1.1 recommendation series. These could be
used as values for an ontology annotation.
Such an annotation should always be validated before making the ontology
document visible.
If you are using OWLAPI , you could use such an annotation to select a
profile checker. The profile checkers are not designed for incremental use,
but I don't think this would be prohibitively difficult to implement.

It is possible for two documents in an imports closure, with different
declared sub DL profiles,  to not require  DL, as long as they don't use
any clashing features.

Simon
 On Jun 22, 2015 6:26 AM, "Zahir Kali" <kalizahir@yahoo.fr> wrote:

> Hi,
> i am writing an ontology, i want to work with OWL-DL level but i do not
> know how to translate this in my owl document?
> Please how to spcify that i want work with OWL-DL?
>
> Thank you
>