From: Peter F. Patel-Schneider (pfps@research.bell-labs.com)
Date: 12/21/04
Yes, these are all probably a good idea. peter From: Benjamin Grosof <bgrosof@mit.edu> Subject: suggested edits on SWRL-FOL document (I think they're high-priority) Date: Tue, 21 Dec 2004 11:03:53 -0500 > (sorry I didn't send these earlier, was on travel during the last two > telecons with poor wireless access during the trip) > > % suggested edits on SWRL-FOL document by Benjamin Grosof 12/21/04 early aft. > % wrt the current version of the SWRL-FOL document, which is at: > % http://www.daml.org/rules/fol/proposal > > > Hi folks, > You may recall we've had quite a bit of discussion previously that it > is important to make clear the relationship of SWRL-FOL to full FOL, > to standard formulation(s) of FOL, and to FOL RuleML. > This was also stressed by a number of the people giving feedback on > SWRL-FOL at the DAML PI Meeting (including Mark Greaves). > > I find that the current version of the document does not yet > make this clear enough. > In particular, the title, the abstract, and the introduction do not make > it clear enough. > > This motivates me to suggest the following edits. > > 1. Title: > > A Proposal for a SWRL Extension towards First-Order Logic > > Comment: This replaces "to" by "towards" > > 2. Abstract: > > This is a description of a proposed extension of SWRL to handle > function-free unary/binary first-order logic. This is intended to be a > minimal extension that fits well with SWRL, OWL, and > RDF. Transformation-based techniques to handle functions and n-ary > predicates are suggested in an appendix. > > Comment: this adds the qualification "function-free" before "unary/binary > first-order logic", and adds a sentence explaining the appendix. > > 3. Introduction: > > This document contains a proposal for an extension to the SWRL extension of > OWL [SWRL]. This proposal extends the set of OWL axioms to include an axiom > for arbitrary function-free first-order formula over unary and binary > predicates, interpreted in the usual manner. A high-level abstract syntax > is provided that extends the OWL abstract syntax described in the OWL > Semantics and Abstract Syntax document [OWL S&AS]. An extension of the SWRL > and OWL model-theoretic semantics is also given to provide a formal meaning > for OWL ontologies including formulae written in this abstract syntax. > > Comment: this adds "function-free" before "first-order formula". > > > Best, > Benjamin > > > ________________________________________________________________________________________________ > 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 : 12/21/04 EST