W3C home > Mailing lists > Public > www-webont-wg@w3.org > January 2002

Re: Peter's example

From: <jos.deroo.jd@belgium.agfa.com>
Date: Sat, 5 Jan 2002 17:43:42 +0100
To: pfps@research.bell-labs.com
Cc: www-webont-wg@w3.org
Message-Id: <OF5DFE01CC.2F783557-ONC1256B38.005A915A@bayer-ag.com>
> > > A couple of points with respect to the owl rules and euler.
> > >
> > > 1/ Where is the formal specification of what Euler is doing?  I'm trying
> > >    figure it out by example, but a formal spec is needed.
> >
> > that is indeed very needed, but for the moment we don't have one...
> The reason I ask is that you have what appear to be constructors in the
> right hand side of rule, and I was wondering what their meaning was.

well, this is what would be in Prolog clauses's left hand side
(of course, that set of triples is constructed, but is
in no sense asserted, just serving its purpose as hypothesis)

TimBL has a nice primer at http://www.w3.org/2000/10/swap/Primer.html

Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

PS I haven't found time to tackle your other interesting examples
   (and your mid-term exam (I'm feeling some exam-fever ;-))
Received on Saturday, 5 January 2002 11:44:12 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:26 UTC