[Pellet-users] Missing inferred subsumption?

[JPQ]

Hello, all.

I have the following three OWL documents.


1. Inner_core_test.owl

<?xml version="1.0"?>
<rdf:RDF
    xmlns="http://www.owl-ontologies.com/Inner_core_test.owl#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
  xml:base="http://www.owl-ontologies.com/Inner_core_test.owl">
  <owl:Ontology rdf:about="">
    <owl:versionInfo rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >Created with TopBraid Composer</owl:versionInfo>
  </owl:Ontology>
  <owl:Class rdf:ID="Lon"/>
  <owl:Class rdf:ID="Lat"/>
  <owl:FunctionalProperty rdf:ID="lat">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#double"/>
    <rdfs:domain rdf:resource="#Lat"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/
>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="lon">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#double"/>
    <rdfs:domain rdf:resource="#Lon"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/
>
  </owl:FunctionalProperty>
</rdf:RDF>


2. Outer_core_test.owl

<?xml version="1.0"?>
<rdf:RDF
    xmlns:Inner_core_test="http://www.owl-ontologies.com/Inner_core_test.owl
#"
    xmlns="http://www.owl-ontologies.com/Outer_core_test.owl#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
  xml:base="http://www.owl-ontologies.com/Outer_core_test.owl">
  <owl:Ontology rdf:about="">
    <owl:imports rdf:resource="
http://www.owl-ontologies.com/Inner_core_test.owl"/>
    <owl:versionInfo rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >Created with TopBraid Composer</owl:versionInfo>
  </owl:Ontology>
  <owl:Class rdf:ID="Coordinate">
*    <owl:unionOf rdf:parseType="Collection">
      <rdf:Description rdf:about="**
http://www.owl-ontologies.com/Inner_core_test.owl#Lat"/*<http://www.owl-ontologies.com/Inner_core_test.owl#Lat"/>
*>
      <rdf:Description rdf:about="**
http://www.owl-ontologies.com/Inner_core_test.owl#Lon"/*<http://www.owl-ontologies.com/Inner_core_test.owl#Lon"/>
*>
    </owl:unionOf>
*    <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
  </owl:Class>
  <owl:DatatypeProperty rdf:ID="altitude"/>
</rdf:RDF>


3. Domain_One.owl

<?xml version="1.0"?>
<rdf:RDF
    xmlns:Outer_core_test="http://www.owl-ontologies.com/Outer_core_test.owl
#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns="http://www.owl-ontologies.com/Domain_One.owl#"
    xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
  xml:base="http://www.owl-ontologies.com/Domain_One.owl">
  <owl:Ontology rdf:about="">
    <owl:imports rdf:resource="
http://www.owl-ontologies.com/Outer_core_test.owl"/>
    <owl:versionInfo rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >Created with TopBraid Composer</owl:versionInfo>
  </owl:Ontology>
  <owl:Class rdf:ID="CoordinateInfo">
*    <owl:unionOf rdf:parseType="Collection">
      <rdf:Description rdf:about="**
http://www.owl-ontologies.com/Outer_core_test.owl#Coordinate*<http://www.owl-ontologies.com/Outer_core_test.owl#Coordinate>
*">
        <owl:equivalentClass rdf:resource="**
http://www.owl-ontologies.com/Outer_core_test.owl#Coordinate"/*<http://www.owl-ontologies.com/Outer_core_test.owl#Coordinate"/>
*>
      </rdf:Description>
    </owl:unionOf>
*    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom rdf:resource="
http://www.w3.org/2001/XMLSchema#string"/>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:ID="id"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="#id"/>
        <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:cardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:ID="Container"/>
    </rdfs:subClassOf>
  </owl:Class>
</rdf:RDF>

Outer_core_test.owl imports Inner_core_test.owl.
Domain_One.owl imports Outer_core_test.owl.

I've change the type face to bold for the "unionOf" axioms in 2 & 3.

When I run Pellet (from with TopBraid Composer) on "Domain_One.owl", it
draws the following inferences.

CoordinateInfo                              rdfs:subClassOf
Outer_core_test:Coordinate
 CoordinateInfo                              owl:equivalentClass
Outer_core_test:Coordinate
Outer_core_test:Coordinate           rdfs:subClassOf
CoordinateInfo
Outer_core_test:Coordinate           owl:equivalentClass
CoordinateInfo

However, I expected to see the following inferences as well.

Inner_core_test:Lat                       rdfs:subClassOf
Outer_core_test:Coordinate
 Inner_core_test:Lon                      rdfs:subClassOf
Outer_core_test:Coordinate

Is there a reason why these inferences do not appear? Thank you for your
feedback.


Regards,

Anthony
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080410/6834d7d0/attachment-0001.htm