tweak on wording on semantics Re: updated FOL document

From: Benjamin Grosof (
Date: 10/19/04

  • Next message: Peter F. Patel-Schneider: "Re: tweak on wording on semantics Re: updated FOL document"
    Hi Peter and folks,
    here's a tweaked version of the vanilla FOL bit (1.):
    The semantics thus obtained is a fairly standard first-order-logic 
    semantics. The only significant tweak is the semantic separation of 
    datatyped literals from other entities. The logic thus obtained is thus a 
    two-sorted logic where one sort (the datatyped literal sort) has built-in 
    predicates (the datatype predicates and the other built-ins).
    At 02:15 PM 10/18/2004 -0400, Peter F. Patel-Schneider wrote:
    >I updated the FOL document, available, as usual, at
    >Changes amount to:
    >1/ adding a short discussion of the relationship to vanilla FOL
    >2/ adding an XML Schema doc for the XML concrete syntax
    >I also made a few minor changes elsewhere.
    Prof. Benjamin Grosof
    Web Technologies for E-Commerce, Business Policies, E-Contracting, Rules, 
    XML, Agents, Semantic Web Services
    MIT Sloan School of Management, Information Technology group or

    This archive was generated by hypermail 2.1.4 : 10/19/04 EST