Contentious issues document

From: Frank van Harmelen (Frank.van.Harmelen@cs.vu.nl)
Date: 04/03/01

• Next message: Mike Dean: "Joint Committee Minutes 3 April 2001"
• Previous message: Mike Dean: "Re: Joint Committee telecon today 3 April"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Mike was volunteering to write the first version of the document describing some of the main design decisions (or better: contentious issues during the design) of DAML+OIL.

I was keeping notes during the conversation of the issues that were listed as candidates (not in any specific order):

- numerals vs numbers
- disjointness of datatypes and classes
  (input from http://www.daml.org/2001/03/differences-daml+oil.html)
- equivalentTo 
  (input from email debate in joint-committee)
- rdfs:Class vs. daml:Class
- parsetype = collection
  (input from http://www.daml.org/2001/03/reference.html#collection
- DAML+OIL is not a database language
  (input from Pat)

Possible other candidates not mentioned during the teleconf:

- relation with RDF 
  (input from http://www.daml.org/2001/03/reference.html#Introducto)
- role of different formal semantics

Frank.
   ----

• Next message: Mike Dean: "Joint Committee Minutes 3 April 2001"
• Previous message: Mike Dean: "Re: Joint Committee telecon today 3 April"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.4 : 04/02/02 EST