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=""/>
    <rdf:type rdf:resource=""/>
    <rdfs:range rdf:resource="http://w/base#Person"/>

Now, inherit has_aunt from has_relative.

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

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

Does has_aunt have a range and a domain?

  <tai:Person rdf:about="" />
  <tai:Person rdf:about="">
    <tai:has_aunt rdf:resource="" />

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: <>

More information about the protege-owl mailing list