W3C home > Mailing lists > Public > www-rdf-logic@w3.org > April 2001

Re: Infinite cardinalities

From: Richard Fikes <fikes@KSL.Stanford.EDU>
Date: Tue, 03 Apr 2001 08:00:25 -0700
Message-ID: <3AC9E589.161181BC@ksl.stanford.edu>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:38 GMT