Re: tweak on wording on semantics Re: updated FOL document

From: Benjamin Grosof (bgrosof@mit.edu)
Date: 10/20/04

  • Next message: Ian Horrocks: "Re: Joint Committee telecon today 19 October"
    At 09:15 AM 10/20/2004 -0400, Peter F. Patel-Schneider wrote:
    >I changed the paragraph to
    >
    >The semantics thus obtained is a fairly standard first-order-logic
    >semantics.  The only significant tweak is the semantic separation of
    >literals, datatyped and untyped, from other entities.  The logic obtained
    >is thus a two-sorted logic where one sort (the literal sort) has built-in
    >predicates (the datatype predicates and the other built-ins).
    >
    >as not all literals are datatype literals.
    
    Sounds good.  Thanks for the clarification.
    
    Benjamin
    
    
    >peter
    >
    >
    >
    >From: Benjamin Grosof <bgrosof@mit.edu>
    >Subject: tweak on wording on semantics Re: updated FOL document
    >Date: Tue, 19 Oct 2004 16:33:49 -0400
    >
    > > 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).
    > >
    > > Benjamin
    > >
    > >
    > > At 02:15 PM 10/18/2004 -0400, Peter F. Patel-Schneider wrote:
    > > >I updated the FOL document, available, as usual, at
    > > >
    > > >   http://www-db.research.bell-labs.com/user/pfps/swrl/fol.html
    > > >
    > > >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.
    > > >
    > > >peter
    > >
    > > 
    > ________________________________________________________________________________________________
    > > 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
    > > http://ebusiness.mit.edu/bgrosof or http://www.mit.edu/~bgrosof
    
    ________________________________________________________________________________________________
    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
    http://ebusiness.mit.edu/bgrosof or http://www.mit.edu/~bgrosof
    


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