OWL DL restriction clarification, please

I can see why the meta aspects of RDF(S) can prevent a schema being 
considered OWL DL, but I was wondering about the situation where a 
class/property is defined using *both* RDFS and OWL constructs. It feels 
like the inclusion of the OWL definition should apply the required 
constraints, but my guess is that it doesn't - could someone please 
clarify?  Example below.

Assuming that  including the RDFS-based definitions does poke a hole in 
completeness, might it still be possible in practice to apply a 
remove-if-unknown (no imports) kind of rule to the statements outside of 
the OWL DL universe, and hence use DL reasoners on combined schemas that 
way?

The bottom line I guess is close to the (pending?) best practices 
question - should you define schema against OWL Full or OWL DL or both? 
Here the question is - if both, do they have to be separate?

Cheers,
Danny.


<rdf:RDF
    xmlns = "http://example.org/test#"
    xmlns:rdf  = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:rdfs = "http://www.w3.org/2000/01/rdf-schema#"
    xmlns:owl  ="http://www.w3.org/2002/07/owl#"
    xml:base   ="http://example.org/test#">

  <owl:Ontology rdf:about=""/>

  <owl:Class rdf:ID="MyLittleClass">
    <rdfs:subClassOf rdf:resource="#MyBigClass"/>
  </owl:Class>

  <owl:Class rdf:ID="MyBigClass">
  </owl:Class>
 
  <rdfs:Class rdf:ID="MyLittleClass">
    <rdfs:subClassOf rdf:resource="#MyBigClass"/>
  </rdfs:Class>
 
  <rdf:Property rdf:ID="someCharacteristic">
    <rdfs:domain rdf:resource="#MyBigClass"/>
    <rdfs:range  rdf:resource="#MyBigClass"/>
  </rdf:Property>
 
  <owl:ObjectProperty rdf:ID="someCharacteristic">
    <rdfs:domain rdf:resource="#MyBigClass"/>
    <rdfs:range  rdf:resource="#MyBigClass"/>
  </owl:ObjectProperty>
 
  <rdf:Property rdf:ID="somethingLiteral">
      <rdfs:domain rdf:resource="#MyBigClass"/>
      <rdf:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
  </rdf:Property>
 
    <owl:DatatypeProperty rdf:ID="somethingLiteral">
    <rdfs:domain rdf:resource="#MyBigClass"/>
      <rdf:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
  </owl:DatatypeProperty>
</rdf:RDF>

-- 

Raw
http://dannyayers.com

Received on Thursday, 10 June 2004 07:39:16 UTC