W3C home > Mailing lists > Public > public-owl-wg@w3.org > November 2007

RE: Extending OWL DL vocabulary (was UFDTF Metamodeling Document)

From: Conrad Bock <conrad.bock@nist.gov>
Date: Fri, 30 Nov 2007 17:11:16 -0500
To: "'Peter F. Patel-Schneider'" <pfps@research.bell-labs.com>, <public-owl-wg@w3.org>
Cc: <public-owl-wg@w3.org>
Message-ID: <1b8501c8339d$ed3ba410$b3200681@MEL.NIST.GOV>


 >  > See http://www.w3.org/2007/OWL/wiki/OWLMetamodelingExample1.

 >  I ran this file through Pellet 1.5.1 directly.  Pellet 1.5.1
 >  implements OWL 1.1 metamodelling, as does Pellet 1.4.  I think that
 >  several other OWL DL reasoners have been upgraded to support much of
 >  OWL 1.1, as OWL 1.1 has been out for quite some time now.

 >  So it is not surprising that tools support more that OWL DL now.
 >  Pellet is particularly good at saying just what the input looks
 >  like.  Here is what Pellet 1.5.1 reports for a slightly modified
 >  version of the ontology (included below):

I think it's easier for the standard to not rule out extensions of the
DL vocabulary (nor rule them in either), than it is to explain to users
that they can still use DL reasoning (subsumption checking, etc) on
languages wider than OWL DL.

 >   <owl:Class rdf:about="http://www.nist.gov/myspace#Foo">
 >     <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
 >   </owl:Class>

Missed why you needed to add this.

Received on Friday, 30 November 2007 22:11:40 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:00 UTC