Re: UFDTF Metamodeling Document

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

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 UTC