Re: Inference in daml

• From: Ian Horrocks <horrocks@cs.man.ac.uk>
• Date: Sun, 17 Jun 2001 23:04:12 +0100 (BST)
• To: "Geoff Chappell" <geoff@sover.net>
• Cc: <www-rdf-logic@w3.org>
• Message-ID: <15149.10588.842714.31632@excalibur.cs.man.ac.uk>

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"/>
</daml:Class>

Am I missing something?

Ian

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