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

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:


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


_: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


TEST CASE: this message


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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:30 UTC