W3C home > Mailing lists > Public > semantic-web@w3.org > July 2012

Re: OWL equivalentClass question

From: Dave Reynolds <dave.e.reynolds@gmail.com>
Date: Fri, 13 Jul 2012 15:37:35 +0100
Message-ID: <500032AF.8020305@gmail.com>
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

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:42:35 UTC