Re: Inference in daml

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