Simon gives one example, rdfs:subPropertyOf. (01)
Other uses are:
* inverseRelation ; A(X Y) <=> B(Y X)
* generalizedInverse ; A(X Y) => B(Y X)
* disjointPredicates
* owl:equivalentProperty
* negationPredicates ; ~( A(X Y) & ~B(X Y))
* negationInverse ; ~( A(X Y) & ~B(Y X)) (02)
Subproperties of subPropertyOf can be useful:
* transitiveClosure
* properVersionOfReflexivePredicate ; e.g.
properVersionOfReflexivePredicate(greaterThan greaterOrEqual) (03)
For special cases, they are also useful.
* prospectiveRoles ; e.g. prospectiveRoles(dropperOf breakerOf) (04)
Say one has predicates for positions in an organization. One could relate
these predicates by higher rank in the organization: (05)
* higherRankingPosition; higherRankingPosition( presidentOf vicePresidentOf) (06)
-- doug foxvog (07)
On Thu, June 12, 2014 14:18, Simon Spero wrote:
> rdfs:subPropertyOf ?
> On Jun 12, 2014 2:05 PM, "Frank Guerino" <Frank.Guerino@xxxxxxxxx> wrote:
>
>> Hi Phil,
>>
>> You wrote: "Will a predicate C be able to link two nodes A and B that
>> may
>> themselves be predicates?"
>>
>> I can't see (and maybe it's just because I haven't come across a
>> tangible
>> example) where a Predicate can cleanly link two other Predicates
>> together.
>>
>> As of now, we follow a simple rule that uses basic sentence structure to
>> validate the integrity of the Relationship. The sentence structure is:
>>
>> SENTENCE: "Instance of Subject (or Source) Node" is related as a/an
>> "Predicate/Descriptor" to, of, or for "Instance of Object (or Target)
>> Node".
>>
>> You can see this in an example the example of the Semantic Relationships
>> for this Application:
>>
>http://nounz.if4it.com/Nouns/Applications/A_Application_13.SemanticRelationships.html
>>
>> If you try to use a sentence structure as the validation constraint for
>> the binding of a Source Predicate to a Target Predicate through a
>> Binding/Descriptive Predicate, it becomes hard to create a
>> readable/meaningful sentence.
>>
>> Would you have any clear examples to prove otherwise? I'd be very
>> interested in learning about them.
>>
>> Thanks,
>>
>> Frank
>>
>> --
>>
>>
>>
>> *Frank Guerino, Chairman The International Foundation for Information
>> Technology (IF4IT) http://www.if4it.com <http://www.if4it.com>
>> 1.908.294.5191 <1.908.294.5191> (M)*
>>
>>
>>
>>
>>
>> From: Philip Jackson <philipcjacksonjr@xxxxxxxxxxx>
>> Reply-To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
>> Date: Wednesday, June 11, 2014 12:30 PM
>> To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
>> Subject: Re: [ontolog-forum] Requesting Opinions on the Benefits of
>> Predicates as Nodes
>>
>> Will a predicate C be able to link two nodes A and B that may themselves
>> be predicates?
>>
>> It seems like this would be another useful side-effect of making
>> predicates first-class citizens...
>>
>>
>>
>>
>> _________________________________________________________________
>> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
>> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
>> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
>> Shared Files: http://ontolog.cim3.net/file/
>> Community Wiki: http://ontolog.cim3.net/wiki/
>> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
>>
>>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> (08)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (09)
|