[protege-discussion] Odd ontology? Your feedback is appreciated

[Naji Mouawad]

Greetings,
  I have the following class hierarchy (Ontology included below)
    -Applications
       -Named_Applications
           -App_1
       -Business_Apps
    -Users
       -Named_Users
          -User_1
       -Business_Users

    and a property: IsBusinessUser which has an inverse proprety:
ServicesBusinessUsers.
  App_1:
      -Application
      -ServicesBusinessUsers some User_1

   Business_Apps has two necessary and sufficient conditions:
         -Applications
         -ServicesBusinessUsers some Named_Users

  User_1:
         -Applications

  Business_Users has two necessary and sufficiet conditions:
         -Users
         -IsBusinessUser some Named_Apps

 When I run 'classify taxonomy' Apps_1 shows correctly under Business_Apps
but User_1 does not show up under Business_Users. I would have expected the
reasoner to infer that since
    -App_1 ServicesBusinessUsers User_1,
    -ServicesBusinessUser is the inverse of IsBusinessUser, and
    -Business_users has as a necessray and sufficient condition
IsBusinessUsers some Named_Apps
then it follows that User_1 satisfies the conditions of IsBusinessUser and
should show up beneath Business_Users but such is not the case.

   Your feedback is appreciated.

Here is the ontology
===== START ontology
<?xml version="1.0"?>
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns="http://www.najm.com/try#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
  xml:base="http://www.najm.com/try" >
  <rdf:Description rdf:nodeID="A0">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Restriction"/>
    <owl:onProperty rdf:resource="#ServicesBusinessUsers"/>
    <owl:someValuesFrom rdf:resource="#User_1"/>
  </rdf:Description>
  <rdf:Description rdf:about="#Business_Apps">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
    <owl:equivalentClass rdf:nodeID="A1"/>
  </rdf:Description>
  <rdf:Description rdf:about="#Users">
    <rdfs:subClassOf rdf:resource="#Domain"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
  </rdf:Description>
  <rdf:Description rdf:nodeID="A2">
    <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/
>
    <rdf:first rdf:resource="#Applications"/>
  </rdf:Description>
  <rdf:Description rdf:about="#WorksInCompany">
    <rdf:type rdf:resource="
http://www.w3.org/2002/07/owl#FunctionalProperty"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
  </rdf:Description>
  <rdf:Description rdf:about="">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Ontology"/>
  </rdf:Description>
  <rdf:Description rdf:nodeID="A3">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Restriction"/>
    <owl:onProperty rdf:resource="#ServicesBusinessUsers"/>
    <owl:someValuesFrom rdf:resource="#Named_Users"/>
  </rdf:Description>
  <rdf:Description rdf:nodeID="A4">
    <rdf:first rdf:resource="#Users"/>
    <rdf:rest rdf:nodeID="A5"/>
  </rdf:Description>
  <rdf:Description rdf:nodeID="A6">
    <rdf:rest rdf:nodeID="A2"/>
    <rdf:first rdf:nodeID="A3"/>
  </rdf:Description>
  <rdf:Description rdf:about="#App_1">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
    <rdfs:subClassOf rdf:nodeID="A0"/>
    <rdfs:subClassOf rdf:resource="#Named_Apps"/>
  </rdf:Description>
  <rdf:Description rdf:about="#Named_Apps">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
    <rdfs:subClassOf rdf:resource="#Applications"/>
  </rdf:Description>
  <rdf:Description rdf:nodeID="A1">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
    <owl:intersectionOf rdf:nodeID="A6"/>
  </rdf:Description>
  <rdf:Description rdf:about="#Domain">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
  </rdf:Description>
  <rdf:Description rdf:about="#Applications">
    <rdfs:subClassOf rdf:resource="#Domain"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
  </rdf:Description>
  <rdf:Description rdf:nodeID="A7">
    <owl:intersectionOf rdf:nodeID="A4"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
  </rdf:Description>
  <rdf:Description rdf:nodeID="A8">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Restriction"/>
    <owl:onProperty rdf:resource="#IsBusinessUser"/>
    <owl:someValuesFrom rdf:resource="#Named_Apps"/>
  </rdf:Description>
  <rdf:Description rdf:about="#ServicesBusinessUsers">
    <owl:inverseOf rdf:resource="#IsBusinessUser"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
  </rdf:Description>
  <rdf:Description rdf:about="#Named_Users">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
    <rdfs:subClassOf rdf:resource="#Users"/>
  </rdf:Description>
  <rdf:Description rdf:about="#User_1">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
    <rdfs:subClassOf rdf:resource="#Named_Users"/>
  </rdf:Description>
  <rdf:Description rdf:about="#IsBusinessUser">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
    <owl:inverseOf rdf:resource="#ServicesBusinessUsers"/>
  </rdf:Description>
  <rdf:Description rdf:nodeID="A5">
    <rdf:first rdf:nodeID="A8"/>
    <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/
>
  </rdf:Description>
  <rdf:Description rdf:about="#Business_Users">
    <owl:equivalentClass rdf:nodeID="A7"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
  </rdf:Description>
</rdf:RDF>
<!-- Created with Protege (with OWL Plugin 3.4, Build 125)
http://protege.stanford.edu -->
===== END ontology

Thanks,
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-discussion/attachments/20080919/e0ed78ea/attachment.html>