Semantic Overflow

Question

1

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.

flag	asked Nov 26 at 12:24 scitlec 11●1

Egon Willighagen · Answer 1 · 2009-12-01 14:01:16Z UTC

1

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

answered Dec 1 at 14:01

Egon Willighagen
420●1●9

1

I think the question was how to locate the features of a particular document that are exclusive to OWL Full (and thus, make it OWL DL incompatible), e.g. the use of classes as individuals. – Vasiliy Faronov Dec 1 at 16:46

@Vasiliy: thanks, that is the intent of my question. – scitlec Dec 2 at 9:48

Andrew Matthews · Answer 2 · 2009-12-03 22:28:58Z UTC

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?

Why an ontology is OWL full?

2 Answers