Why an ontology is OWL full? - Semantic Overflow

Why an ontology is OWL full?

2009-11-26T12:24:18Z

Hi, I know there is a command in Protege' 3.4 telling you if your OWL ontology is Lite or DL or Full (Tools menu > Determine OWL sublanguage).

Does anybody know of a tool telling what parts of an OWL ontology make it OWL Full and not just OWL DL?

Thanks.

Answer by Egon Willighagen for Why an ontology is OWL full?

2009-12-01T14:01:16Z

Any OWL DL document is OWL Full too. OWL DL puts restrictions on the OWL to make it compatible with description logic.

Answer by Andrew Matthews for Why an ontology is OWL full?

2009-12-03T22:28:58Z

To quote the OWL Overview:

Roughly, OWL DL requires type separation (a class can not also be an individual or property, a property can not also be an individual or class). This implies that restrictions cannot be applied to the language elements of OWL itself (something that is allowed in OWL Full)

Using this, you could construct a query that isolates these kinds of language uses. i.e. all instances that are subclasses of rdfs:Class and are also the rdfs:range of some other owl:Class. At least that's roughly how it looks to me in the Language Reference.

I have to admit that I'm not confident that this is a definitive test, but that seems to be what they're saying. Anybody know if I'm right, or care to better explain why I'm right in terms of DLs?

Answer by Antoine Zimmermann for Why an ontology is OWL full?

2010-07-30T16:07:16Z

For OWL 2, there is a validator [1] that tells you which axioms are causing the ontology to be out of one of the OWL 2 sublanguages. It still contains bugs, but whenever I noticed a mistake, it was a false positive (some valid OWL 2 DL/EL/QL/RL ontologies are considered invalid by the validator).

[1] http://owl.cs.manchester.ac.uk/validator/