W3C home > Mailing lists > Public > www-rdf-logic@w3.org > June 2001

Re: Inference in daml

From: Geoff Chappell <geoff@sover.net>
Date: Sun, 17 Jun 2001 16:42:49 -0400
Message-ID: <017701c0f76e$139a0ca0$835ec6d1@goat>
To: "Sean B. Palmer" <sean@mysterylights.com>, <www-rdf-logic@w3.org>

----- Original Message -----
From: "Sean B. Palmer" <sean@mysterylights.com>
To: "Geoff Chappell" <geoff@sover.net>; <www-rdf-logic@w3.org>
Sent: Sunday, June 17, 2001 2:29 PM
Subject: Re: Inference in daml


> > >       [ :unionOf (:Animal [ :complementOf :Dog ]) ] .
> > [...]
> > Ultimately I'm trying to express the rule that if something is a dog
> > then it is an animal.
>
> Oh, easy:-
>
>    :Dog rdfs:subClassOf :Animal .
>

Thanks for the response, but... I guess I need to be careful about my
(over)use of adverbs -- "ultimately"  I'm not trying to express anything
about dogs or animals necessarily but to translate inference rules of all
(or some) types into daml terms (if possible).  My example was a bad one
because there are so many ways without explicit inference to get the point
across (as you've demonstrated).

-geoff
Received on Sunday, 17 June 2001 18:17:33 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:40 GMT