- From: Chris Welty <cawelty@gmail.com>
- Date: Wed, 18 Apr 2007 19:20:15 -0400
- To: Dave Reynolds <der@hplb.hpl.hp.com>
- CC: RIF <public-rif-wg@w3.org>
I just want to point out a minor nit: Dave Reynolds wrote: > The terms DS, ONDS, OS stand for "disjoint sorts", "overlapping-names > disjoint sorts" (aka punning) and "overlapping sorts" as described in > [1]. > > ** Base test case > > Ruleset: > Forall ( p(a) :- And()) # p(a). > Forall ( q(b) :- And()) # q(b). > Forall ( p = q :- And()) # p = q. > > Query: p(?x) > > N.B. I'm assuming that the RIF Core atomic term "p = q" treats "p" and > "q" as individuals. > > This is intended to be analogous to having "p" and "q" designate OWL > classes, "a" and "b" be OWL individuals, "p(a)" be an rdf:type assertion > and "=" be owl:sameAs. DS is OWL/DL, ONDS is OWL/DL-1.1, OS is OWL/full. OWL/Full is actually OSR in [1] (which is OS plus "reflection"). It doesn't matter for any of your examples. > Dave > > [1] http://www.w3.org/2005/rules/wg/wiki/Issue-31 > -- 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 Wednesday, 18 April 2007 23:20:23 UTC