The minutes from September 4 were approved by those present.
We'll plan to discuss this next week.
The Microsoft Word indentation of axioms in the axiomatic semantics has been lost, making it very difficult to read. Stefan volunteered to work on the indentation problem. Once everything is fixed, we should maintain the HTML version. This will require updates to the axiom extractor, which is currently based on Microsoft Word.
There was some discussion regarding the packaging as 4 separate documents vs. a single document with 4 title pages. Deborah expressed some concern about pointing to outside documents. To keep the submission self-contained, we'll add the KIF-only document as an appendix.
The submitter can presumably provide new versions of the documents, if necessary.
The Director generally takes 1-4 weeks to decide whether to publish a new Note.
daml:UnambiguousPropertyis a subclass of
daml:ObjectPropertyrather than just
rdf:Property. Could we provide a parallel mechanism (e.g.
UnambiguousDatatypeProperty) that worked for DatatypeProperties?
Peter noted that we can't support UnambiguousProperty on datatypes because UnambiguousProperty is a shorthand for a restriction on inverse, and DatatypeProperties don't support inverses. The pre-March 2001 semantics would have produced an inconsistency or incoherency (because inverse was only defined on objects).
$Id: 2001-09-18.html,v 1.5 2001/10/13 03:53:13 mdean Exp $