Re: Class and Thing with same ID

The W3C Validator [1] is handy for checking syntax.

(I've no idea whether the syntax is ok ;-)

Re. the model, yes it is allowed to have a a resource be both a Class
and a Thing, but as Richard says, takes you from the OWL DL space into
OWL Full. That may be what you want, but in my (very limited)
experience the majority of OWL Full ontologies can be tweaked into
being OWL DL (I suspect leading to a more accurate model in most
cases).

The advantage is practical - there are several sound & complete OWL DL
reasoners available, it's more hit & miss with OWL Full. There's an
online demo of the Pellet engine via [2], handy for quick checks of
consistency and which OWL species is in use.

Cheers,
Danny.

[1] http://www.w3.org/RDF/Validator/
[2] http://www.mindswap.org/2003/pellet/index.shtml




--

http://dannyayers.com

Received on Friday, 2 December 2005 09:51:19 UTC