daml+oil.daml

From: Ian Horrocks ([email protected])
Date: 12/22/00

• Next message: Frank van Harmelen: "New version of walk-through available"
• Previous message: Ian Horrocks: "Re: DAML+ONT URIs"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

p.s. I added a comment to daml+oil.daml as follows:

<!-- Note that cardinality restrictions on transitive properties, or     -->
<!-- properties with transitive sub-properties, compromise decidability. -->

It's a bit vague I know, but this didn't seem to be the place for
anything more detailed. Let me know if you want to change/delete it.

Ian

• Next message: Frank van Harmelen: "New version of walk-through available"
• Previous message: Ian Horrocks: "Re: DAML+ONT URIs"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.4 : 04/02/02 EST