W3C home > Mailing lists > Public > semantic-web@w3.org > March 2018

Re: rdfs:subClassOf and XSD derivation by restriction

From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
Date: Tue, 6 Mar 2018 15:10:21 -0700
To: Richard Smith <richard@ex-parrot.com>, Pat Hayes <phayes@ihmc.us>
Cc: Andreas Harth <andreas@harth.org>, semantic-web@w3.org
Message-ID: <d3c2e79c-26ce-bfda-1548-6b8f6f36a722@gmail.com>
On 3/6/18 12:40 PM, Richard Smith wrote:

[...]
> I'm struggling to work out whether OWL2 allows this to be expressed. 
> It almost seems that
>
>   ex:a ex:p "sss"^^ex:sub .
>   ex:sub owl:equivalentClass [
>     owl:onDatatype ex:super ;
>     owl:withRestrictions [] ] .
>   ex:super a rdfs:Datatype .
>
> might OWL entail (for an appropriate type of OWL entailment):
>
>   ex:a ex:p "sss"^^ex:super .
>
> But I'm not sure as I've never properly got to grips with OWL datatypes.
>
> Richard
>
In OWL one might say

Declaration ( Datatype ( x:SSN ) )
DatatypeDefinition ( x:SSN
   DatatypeRestriction(  xsd:nonNegativeInteger maxInclusive 999999999 ) )

This defines x:SSN as a new datatype.   However, from 9.4 of the OWL2 
Web Ontology Language Structural Specification and Functional-Style 
Syntax (Second Edition) "[defined] datatypes have empty lexical spaces 
and therefore they /MUST NOT/ occur in literals".

I don't even know if your triples above are even OWL 2, but if they are, 
then they don't give a nice meaning to "sss"^^ex:sub.

peter
Received on Tuesday, 6 March 2018 22:10:45 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 March 2018 22:10:53 UTC