Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] What does an ObjectProperty inerhited from its parent?

Pitonyak, Andrew D PitonyakA at BATTELLE.ORG
Tue Feb 24 09:43:58 PST 2009


Assume a simple Object Property has_relative with a domain and range that is symmetric, transitive, and the inverse of itself.

  <owl:Class rdf:about="http://w/base#Person" />

  <owl:TransitiveProperty rdf:about="http://w/base#has_relative">
    <rdfs:domain rdf:resource="http://w/base#Person"/>
    <owl:inverseOf rdf:resource="http://w/base#has_relative"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#SymmetricProperty"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
    <rdfs:range rdf:resource="http://w/base#Person"/>
  </owl:TransitiveProperty>

Now, inherit has_aunt from has_relative.

  <owl:ObjectProperty rdf:about="http://w/base#has_aunt">
    <rdfs:subPropertyOf>
      <owl:TransitiveProperty rdf:about="http://w/base#has_relative"/>
    </rdfs:subPropertyOf>
  </owl:ObjectProperty>

Is has_aunt symmetric, transitive, and the inverse of itself.

Does has_aunt have a range and a domain?


  <tai:Person rdf:about="http://www.battelle.org/TAI/base#P2" />
  <tai:Person rdf:about="http://www.battelle.org/TAI/base#P1">
    <tai:has_aunt rdf:resource="http://www.battelle.org/TAI/base#P2" />
  </tai:Person>

I know that
P1 has_aunt P2.
P1 has_relative P2

I can infer that
P2 has_relative P1

I hope that I do not ever infer that
P2 has_aunt P1

Can I test any of these things using Protégé? (say using a query with a reasoner enabled).

--
Andrew Pitonyak
Phone: 614-937-4641
Lab: 614-424-6388
Poly: 614-456-5225
Fax: 614-458-5252

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-owl/attachments/20090224/1f1c18d1/attachment.html>


More information about the protege-owl mailing list