- From: Danny Ayers <danny.ayers@gmail.com>
- Date: Fri, 2 Dec 2005 10:51:10 +0100
- 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 UTC