- From: Chris Welty <cawelty@gmail.com>
- Date: Mon, 12 Mar 2007 20:39:52 -0400
- To: Gerd Wagner <wagnerg@tu-cottbus.de>
- CC: 'Dave Reynolds' <der@hplb.hpl.hp.com>, 'RIF' <public-rif-wg@w3.org>
Gerd Wagner wrote: > > Now, a RIF vocabulary metamodel will define at least three (possibly > empty and possibly overlapping) sets > of URIs as symbol sets for objects, functions and predicates. It may > look as shown below. These > declarations (corresponding to individual axioms, class axioms and > property axioms in OWL) have not > yet been included in the syntax definitions of the current core working > draft, although they will certainly > be needed. When looking at this vocabulary issue, you may also notice > that RIF did still not clarify in > which form (object) classes will be included: will they be special unary > predicates or will they be > special sorts? Yes, we had a breakout session at the f2f about this. Clearly we need to answer this for the CORE. Probably we should open an issue. This is Christian's favorite topic... -Chris > > -Gerd > > > -- Dr. Christopher A. Welty IBM Watson Research Center +1.914.784.7055 19 Skyline Dr. cawelty@gmail.com Hawthorne, NY 10532 http://www.research.ibm.com/people/w/welty
Received on Tuesday, 13 March 2007 00:40:15 UTC