RE: new version of my FOL extension

• Previous message: Peter F. Patel-Schneider: "new version of my FOL extension"
• In reply to: Peter F. Patel-Schneider: "new version of my FOL extension"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

> Note that the distinction between i-variables and d-variables does not
show up in this concrete syntax. However, 
> it can be easily recovered from the variable bindings, by determining
whether the binding type is an OWL 
> description or datatype. 

I like this.  It's analogous to the use of owl:allValuesFrom with either a
class description or a data range.

> Draft Version of 23 June 2004

Should be 7 July 2004.

Thanks!

	Mike

• Next message: Boley, Harold: "RE: new version of my FOL extension"
• Previous message: Peter F. Patel-Schneider: "new version of my FOL extension"
• In reply to: Peter F. Patel-Schneider: "new version of my FOL extension"
• 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 : 07/07/04 EST