W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2003

Further wine.owl suggestions

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Fri, 9 May 2003 14:39:55 +0200
To: <www-webont-wg@w3.org>
Message-ID: <BHEGLCKMOHGLGNOKPGHDCEJNCBAA.jjc@hpl.hp.com>


I tried checking wine.owl as DL and got the following subgraph as in error:

vin:Wine  rdfs:subClassOf  _:q  .
_:q  owl:minCardinality  "1"^^xsd:nonNegativeInteger   .
_:q  owl:onProperty  vin:locatedIn  .
_:q  rdf:type  owl:Restriction  .
vin:locatedIn  rdfs:range  vin:Region  .
vin:locatedIn  rdf:type  owl:TransitiveProperty  .
vin:locatedIn  rdf:type  owl:ObjectProperty  .

this breaks the transitivity side condition.

However, changing the owl:minCardinality to be the logically equivalent
owl:someValuesFrom vin:Region then it is OK.

In RDF/XML the restriction becomes
..
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="#locatedIn"/>
        <owl:someValuesFrom rdf:resource="&vin;Region"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:label xml:lang="en">wine</rdfs:label>
..


A further problem was that the ontology of the prior version is untyped,
changing that to include an owl:Ontology type:


    <owl:priorVersion>
        <owl:Ontology rdf:about="http://www.example.org/wine-020303"/>
    </owl:priorVersion>


fixes this, and then wine.owl is in OWL DL.
Moreover food.owl is in OWL DL (I think) except that it needs to import the
type triples for the wine classes, by say importing wine.owl.

Jeremy
Received on Friday, 9 May 2003 08:40:06 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:00 GMT