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

Re: UFDTF Metamodeling Document

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Wed, 28 Nov 2007 11:17:46 -0500 (EST)
Message-Id: <20071128.111746.138221276.pfps@research.bell-labs.com>
To: conrad.bock@nist.gov
Cc: public-owl-wg@w3.org

From: "Conrad Bock" <conrad.bock@nist.gov>
Subject: UFDTF Metamodeling Document
Date: Wed, 28 Nov 2007 09:34:02 -0500

[...]


>From http://www.w3.org/2007/OWL/wiki/index.php?title=OWLMetamodeling.

*******************

Here's a (nonsense) example of subclassing owl:Class that supports DL
reasoning:

 <owl:Class rdf:about="&myspace;Foo">
   <rdfs:subClassOf rdf:resource="&owl;Class"/>
 </owl:Class>

 <myspace:Foo rdf:about="&dog;CockerSpaniel">
 </myspace:Foo>

 <myspace:Foo rdf:about="&dog;Collie">
   <owl:disjointWith rdf:resource="&dog;CockerSpaniel"/>
 </myspace:Foo>

 <myspace:Foo rdf:about="&dog;Mutt">
   <rdfs:subClassOf rdf:resource="&dog;CockerSpaniel"/>
   <rdfs:subClassOf rdf:resource="&dog;Collie"/>
 </myspace:Foo>

Racer (through Protege) and JENA can infer that Mutt is unsatisfiable.

*******************

I would appreciate a complete file with information on which version of
Protege works with it.

peter
Received on Wednesday, 28 November 2007 16:34:20 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:27 GMT