- 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>
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 UTC