Re: ACTION-93 / ISSUE-63: Initiated work on OWL-1.1-Full semantics

From: "Michael Schneider" <schneid@fzi.de>
Subject: RE: ACTION-93 / ISSUE-63: Initiated work on OWL-1.1-Full semantics
Date: Sun, 20 Apr 2008 23:44:29 +0200

> [slightly related to ISSUE-116]
> 
> Hi Peter!
> 
> I was about to revise the axiomatic triples, but wasn't clear on some point:
> 
> Peter F. Patel-Schneider wrote on Tuesday, March 25, 2008
> in <http://lists.w3.org/Archives/Public/public-owl-wg/2008Mar/0249.html>:
> 
> >5/ The RDFS-compatible semantics for OWL 1.0 would be incorrect if
> >	owl:FunctionalProperty rdfs:subClassOf owl:ObjectProperty
> 
> Why is this an error? All instances of the class 'owl:FunctionalProperty'
> will certainly be instances of the class rdf:Property, right? And in OWL
> Full, the classes 'rdf:Property' and 'owl:ObjectProperty' have identical
> class extensions, according to sec. 5.3 of the AS&S. So the above axiomatic
> triple is equivalent to
> 
>       owl:FunctionalProperty rdfs:subClassOf rdf:Property

Yes, in OWL 1 Full, but not in the RDFS-compatible semantics for OWL 1 DL.

In OWL 1 DL there can be functional data properties, which are not
object properties. 

> >   was an axiomatic triple.  Similarly for the domain and range of
> >   owl:sameAs and owl:differentFrom.  Similarly for the domain and range
> >   of owl:equivalentProperty and the range of owl:onProperty and
> >   owl:hasValue.
> 
> Analogue questions here. The respective axiomatic triples can be found in:
>  
> <http://www.w3.org/2007/OWL/wiki/index.php?title=FullSemanticsAxiomaticTripl
> es&oldid=4861>

owl:Thing is only the entire RDF domain in OWL 1 Full, not in the
RDFS-compatbile semantics for OWL 1 DL, stating that the domain and
range of owl:sameAs is owl:Thing makes owl:Thing be the entire domain,
even in OWL 1 DL.

> Of course, if you mean that using 'owl:ObjectProperty' instead of
> 'rdf:Property' might be confusing (although being technically ok), then I
> will change this everywhere.
> 
> Cheers,
> Michael

peter

Received on Monday, 21 April 2008 01:06:10 UTC