RE: new version of my FOL extension

From: Mike Dean (
Date: 07/07/04

  • Next message: Boley, Harold: "RE: new version of my FOL extension"
    > 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.

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