Further wine.owl suggestions

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 UTC