- From: Richard Fikes <fikes@KSL.Stanford.EDU>
- Date: Tue, 03 Apr 2001 08:00:25 -0700
- To: Ken Baclawski <kenb@ccs.neu.edu>
- CC: www-rdf-logic@w3.org
> axiom 105 is okay. It only assumes that the list is a subset of > the set of values. That is correct. > The use of list for Axiom 13 is particularly noteworthy. Axiom 66 states > that lists are sequences, Axiom 14 implies that sequences are containers > and Axiom 13 states that containers are lists. It appears to be a cycle. > It is not an actual cycle because Axiom 13 is using the built-in > KIF list, not the DAML list, but it isn't clear that it is entirely > consistent either. As you correctly observe, we used KIF lists to represent RDF containers, DAML+OIL has a class called "List" which is a subclass of RDF sequences, and RDF sequences are a subclass of RDF containers. So, we need to make clear whenever the constant "List" is used in an axiom which notion of list is intended. Probably the simplest way of doing that is to consider the KIF ontology to be in a KIF namespace so that a namespace prefix (e.g., "kif") can be specified in the axiom document for terms from the KIF namespace and then a KIF list can be referred to as "kif:List". We will make that change in the next version of the axiom document. Richard
Received on Tuesday, 3 April 2001 11:00:34 UTC