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

Re: Inference in daml

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Sun, 17 Jun 2001 23:04:12 +0100 (BST)
Message-ID: <15149.10588.842714.31632@excalibur.cs.man.ac.uk>
To: "Geoff Chappell" <geoff@sover.net>
Cc: <www-rdf-logic@w3.org>
On June 17, Geoff Chappell writes:
> Hi folks,
> I've been working with expressing inference rules in daml and need a little help/feedback.
> It seems that rules with just the subject unbound can be expressed easily.
> For example the rule:
>     type(X,animal)<-type(X,dog)
> can be expressed as:
>     type(X,animal) or not(type(X,dog))
> or in daml:

It seems to me that all you are saying here is that dog is a subClassOf
animal. What is wrong with

<daml:Class rdf:ID="dog">
  <rdfs:subClassOf rdf:resource="#animal"/>

Am I missing something?

Received on Sunday, 17 June 2001 18:11:39 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:35 UTC