W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2002

ISSUE: List syntax or semantics

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Thu, 2 May 2002 20:19:03 +0100
To: "Smith, Michael K" <michael.smith@eds.com>, <www-webont-wg@w3.org>
Message-ID: <JAEBJCLMIFLKLOJGMELDAEOOCDAA.jjc@hplb.hpl.hp.com>
TITLE:  List syntax or semantics

DESCRIPTION:
A non-empty owl:List has precisely one owl:first element, and one owl:rest
pointing to a tail.
owl:nil has no owl:first or owl:rest property.

Are these restrictions syntactically or semantically expressed.

Test case:

A:

_:eg <rdf:type> <owl:List>.
_:eg <owl:first> _:a .
_:eg <owl:first> _:b .
_:eg <owl:rest> <owl:nil> .


B:

_:eg <rdf:type> <owl:List>.
_:eg <owl:first> _:a .
_:eg <owl:rest> <owl:nil> .
_:a <owl:equivalentTo> _:b .

(assuming owl:equivalentTo is part of the language)

In the syntactic understanding of owl:List A is a syntax error.
In the semantic understanding A and B entail one another.


RAISED BY: Jeremy Carroll

STATUS: OPEN

TEST CASE: this message

===

note I fear that this is the intersection of 5.3-semantic-layering and
2.5-closed-sets.
Received on Thursday, 2 May 2002 15:19:23 GMT

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