From: Benjamin Grosof ([email protected])
Date: 10/20/04
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 <[email protected]> >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