Contentious issues document

From: Frank van Harmelen ([email protected])
Date: 04/03/01


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.
   ----


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