[Pellet-users] Pellet and OWL 1.1

[Swanson, Tim]

(Apologies if whitespace gets messed up. I'm not sure why, but my mails
never seem to arrive with the formatting that I saw when I hit "send".)

Does Pellet need to be configured in any way to get OWL 1.1 inference? I
am using TopBraid Composer (which uses the Jena interface to Pellet). I
sent a separate e-mail for confirmation, but I'm pretty sure that the
most recent version of TBC uses Pellet 1.5.

Here's the example I'm using (the famous "uncle problem"):

<rdf:List>
  <rdfs:subPropertyOf rdf:resource="#uncleOf"/>
  <rdf:rest rdf:parseType="Collection">
    <owl:ObjectProperty rdf:about="#parentOf"/>
  </rdf:rest>
  <rdf:first rdf:resource="#brotherOf"/>
</rdf:List>

As far as I can tell (from
http://www.webont.org/owl/1.1/rdf_mapping.html) this is the correct way
to declare object property chains. However, I don't get the inference
I'm expecting. I'm attaching the full ontology below.


Thanks,

Tim Swanson
Semantic Arts, Inc.
Fort Collins, Colorado



---- FULL ONTOLOGY -----

<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns="http://ontologies.semanticarts.com/dbo/moduleXX/uncle11#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:owl11="http://www.w3.org/2006/12/owl11#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xml:base="http://ontologies.semanticarts.com/dbo/moduleXX/uncle11">
  <owl:Ontology rdf:about=""/>
  <owl:ObjectProperty rdf:ID="uncleOf"/>
  <owl:ObjectProperty rdf:ID="brotherOf"/>
  <owl:ObjectProperty rdf:ID="parentOf"/>
  <owl:ObjectProperty rdf:ID="motherOf">
    <rdfs:subPropertyOf rdf:resource="#parentOf"/>
  </owl:ObjectProperty>
  <rdf:List rdf:ID="List_1">
    <rdfs:subPropertyOf rdf:resource="#uncleOf"/>
    <rdf:rest rdf:parseType="Collection">
      <owl:ObjectProperty rdf:about="#parentOf"/>
    </rdf:rest>
    <rdf:first rdf:resource="#brotherOf"/>
  </rdf:List>
  <owl:Thing rdf:ID="Sam"/>
  <owl:Thing rdf:ID="Sue">
    <motherOf rdf:resource="#Sam"/>
  </owl:Thing>
  <owl:Thing rdf:ID="Bob">
    <brotherOf rdf:resource="#Sue"/>
  </owl:Thing>
</rdf:RDF>