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

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

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

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

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

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.

Received on Wednesday, 28 November 2007 16:34:20 UTC

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