- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Fri, 01 Nov 2002 15:52:20 -0500 (EST)
- To: michael.smith@eds.com
- Cc: www-webont-wg@w3.org
From: "Smith, Michael K" <michael.smith@eds.com>
Subject: RE: comments on wine.owl
Date: Fri, 1 Nov 2002 14:37:33 -0600
> So, to confirm some XML syntax.
>
> SubClassOf( TableWine,
> intersectionOf( Wine,
> restriction( hasSugar, hasValue( #Dry ))))
>
> Becomes:
>
> <owl:Class rdf:ID="TableWine">
> <owl:subClassOf>
> <owl:Class>
> <owl:intersectionOf rdf:parseType="Collection">
> <owl:Class rdf:about="#Wine" />
> <owl:Restriction>
> <owl:onProperty rdf:resource="#hasSugar" />
> <owl:hasValue rdf:resource="#Dry" />
> </owl:Restriction>
> </owl:intersectionOf>
> </owl:Class>
> </owl:subClassOf>
> </owl:Class>
>
> Which seem oddly asymmetric with
>
> EquivalentClasses( TableWine,
> intersectionOf( Wine,
> restriction( hasSugar, hasValue( #Dry ))))
>
> <owl:Class rdf:ID="TableWine">
> <owl:intersectionOf rdf:parseType="Collection">
> <owl:Class rdf:about="#Wine" />
> <owl:Restriction>
> <owl:onProperty rdf:resource="#hasSugar" />
> <owl:hasValue rdf:resource="#Dry" />
> </owl:Restriction>
> </owl:intersectionOf>
> </owl:Class>
Yes, it is asymmetric. Welcome to the wonderful world of RDF.
If it makes you happier you could consider the second to be an
abbreviation.
> Which could equivalently be written (?)
>
> <owl:Class rdf:ID="TableWine">
> <owl:sameClassAs>
> <owl:Class>
> <owl:intersectionOf rdf:parseType="Collection">
> <owl:Class rdf:about="#Wine" />
> <owl:Restriction>
> <owl:onProperty rdf:resource="#hasSugar" />
> <owl:hasValue rdf:resource="#Dry" />
> </owl:Restriction>
> </owl:intersectionOf>
> </owl:Class>
> </owl:sameClassAs>
> </owl:Class>
Yes.
The first example would more likely be written
<owl:Class rdf:ID="TableWine">
<owl:subClassOf rdf:resource="#Wine" />
<owl:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#hasSugar" />
<owl:hasValue rdf:resource="#Dry" />
</owl:Restriction>
</owl:subClassOf>
</owl:Class>
peter
Received on Friday, 1 November 2002 15:52:29 UTC