Re: UFDTF Metamodeling Document

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