W3C home > Mailing lists > Public > semantic-web@w3.org > December 2005

Re: Class and Thing with same ID

From: Danny Ayers <danny.ayers@gmail.com>
Date: Fri, 2 Dec 2005 10:51:10 +0100
Message-ID: <1f2ed5cd0512020151r12abcae1kb209fbe310707116@mail.gmail.com>
To: Richard Newman <r.newman@reading.ac.uk>
Cc: Hans Teijgeler <hans.teijgeler@quicknet.nl>, Semantic Web Forum <semantic-web@w3.org>

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 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 21:45:08 GMT