RE: ISSUE: Malformed DAML+OIL Restrictions

At 10:38 AM -0500 5/17/02, Smith, Michael K wrote:
>I went over some of this in my response to Jeremy a while back
>
>http://lists.w3.org/Archives/Public/www-webont-wg/2002May/0085.html
>
>The fact that the F2F decided triples would be the exchange syntax does not
>require that the definition of OWL syntax be given in triples. It would seem
>to permit a translation process, say from an XML-based OWL syntax. And that
>syntax could be more restrictive.  If OWL must accommodate all triples, then
>it must give an interpretation to all RDF, which is something Peter is
>trying to avoid.
>
>As far as I am concerned, "triples" are only marginally syntax.  One point
>of syntax is to help free the semantics from complicated statements about
>when a term is meaningless. 
>
>In propositional calculus, the 'meaning' of "A and and and or B" doesn't
>come up.  And it would not be a feature if it could.
>
>- Mike

Mike-
  The group resolved that the RDF/XML document would be the exchange 
syntax, not the triples.
  -JH
-- 
Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
AV Williams Building, Univ of Maryland		  College Park, MD 20742
http://www.cs.umd.edu/users/hendler

Received on Saturday, 18 May 2002 22:41:58 UTC