- From: Dave Reynolds <dave.e.reynolds@gmail.com>
- Date: Fri, 13 Jul 2012 15:37:35 +0100
- To: semantic-web@w3.org
On 13/07/12 15:24, Nathan wrote:
> Thanks Michael!
>
> Much appreciated and thanks for the fast clear response. One other
> question whilst I'm here if you don't mind:
>
> Under [1] (Owl Syntax 7.4 Enumeration of Literals) the example has:
>
> Functional-Style Syntax:
> DataOneOf( "Peter" "1"^^xsd:integer )
> RDF:
> _:x rdf:type rdfs:Datatype .
> _:x owl:oneOf ( "Peter" "1"^^xsd:integer ) .
>
> note: *owl:oneOf*
>
> However, under [2] (3.2.4 Parsing of Expressions - Table 12) it clearly
> shows:
>
> _:x rdf:type rdfs:Datatype .
> _:x owl:datatypeComplementOf y .
Formatting problem in your browser? From here, with Chrome, clicking on
your link shows a table where the entry for DataOneOf is:
_:x rdf:type rdfs:Datatype .
_:x owl:oneOf T(SEQ lt1 ... ltn) .
{ n ≥ 1 }
and there is a separate entry for DataComplementOf
Dave
Received on Friday, 13 July 2012 14:38:05 UTC