From: Peter F. Patel-Schneider ([email protected])
Date: 12/07/04
I just read over the note, and didn't see too much to complain about. :-) I have a modification of the FOL note that deals with n-ary predicates and functions in a similar manner. As usual this document is available at http://www-db.research.bell-labs.com/user/pfps/swrl/fol.html peter
This archive was generated by hypermail 2.1.4 : 12/07/04 EST