On Wed, May 22, 2013 17:53, John McClure wrote:
> Hi Doug, what is PersonZ all about? thanks (01)
I was trying to make sense of this confusing notation. It appeared
to imply a blank node, so i arbitrarily gave the blank node a name. (02)
Note that i followed my CycL with a question mark. (03)
I interpreted
>>> [[Sister:Person:X]] for [[Person:X]]
as possibly being intended to mean that
there exists a sister for X and X is a person.
It might mean X is a sister. Perhaps "for" means that there exists
a filler for the slot listed in subject given the existence of the object. (04)
But i would not be surprised if i misguessed. (05)
-- doug f (06)
>>-----Original Message-----
>>From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
>>[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx]On Behalf Of doug foxvog
>>Sent: Wednesday, May 22, 2013 8:23 AM
>>To: [ontolog-forum]
>>Subject: Re: [ontolog-forum] Grover Models
>>
>>
>>On Tue, May 21, 2013 22:09, jmcclure@xxxxxxxxxxxxxx wrote:
>>
>>> Is it actually wrong to model with prepositions, or is it just not a
>>> recommended practice?
>>
>>So long as the terms are defined, then their names only matter so
>>far as how confusing they are. Prepositions are extremely general,
>>so are quite confusing. Their use as predicates is thus strongly
>>recommended against.
>>
>>> For the "X is-sister-of Y" relation here is a graph
>>> (the syntax [[resource-name]] connotes a wiki link, that is,
>>a pagename in
>>> the wiki or a subobject of a page in the wiki). Below I'm
>>keen to easily
>>> resolve both 'has' and "is-a" Sister kind of queries.
>>
>>The intended semantics below comes from far more than what is
>>stated above. The below seems self-inconsistent and inconsistent
>>with the above paragraph, but since you ask below how this could
>>be translated into another language, i will translate my guesses of
>>what is intended into Cyc.
>>
>>> [[Person:X]] has [[Sister:Person:Y]]
>>(and (isa PersonX Person) (isa PersonY Person) (sisterOf
>>PersonX PersonY))
>>
>>> [[Person:Y]] has [[Sister:Person:X]]
>>(and (isa PersonY Person) (isa Person Person) (sisterOf
>>PersonY PersonX))
>>
>>> [[Person:X]] of [[Type:Sister:XY]]
>>(and (isa PersonX Person) (isa SisterXY Sisterhood)
>> (groupMembers SisterXY PersonX))
>>
>>> [[Person:Y]] of [[Type:Sister:XY]]
>>(and (isa PersonY Person) (isa SisterXY Sisterhood)
>> (groupMembers SisterXY PersonY))
>>
>>> [[Sister:Person:X]] of [[Type:Sister:XY]]
>>(and (isa PersonX Person) (isa PersonZ Person) (sisterOf
>>PersonX PersonZ)
>> (isa SisterXY Sisterhood)(groupMembers SisterXY PersonZ))
>>?
>>
>>> [[Sister:Person:Y]] of [[Type:Sister:XY]]Z
>>(and (isa PersonY Person) (isa PersonZ Person) (sisterOf
>>PersonY PersonZ)
>> (isa SisterXY Sisterhood)(groupMembers SisterXY PersonZ))
>>?
>>
>>> [[Sister:Person:X]] for [[Person:X]]
>>(and (isa PersonX Person) (isa PersonZ Person) (sisterOf
>>PersonX PersonZ)
>> (sisterOf PersonX PersonZ))
>>?
>>
>>> [[Sister:Person:Y]] for [[Person:Y]]
>>(and (isa PersonY Person) (isa PersonZ Person) (sisterOf
>>PersonY PersonZ)
>> (sisterOf PersonY PersonZ))
>>?
>>
>>> [[Type:Sister:XY]] of [[Type:Sister]]
>>(and (isa SisterXY Sisterhood) (isa SisterXY Sisterhood))
>>?
>>
>>> [[Type:Sister:XY]] has [[Instance:Sister:XY]]
>>(and (isa SisterXY Sisterhood) (isa SisterXY Sisterhood)
>> (genls Sisterhood Individual))
>>???
>>
>>> [[Instance:Sister:XY]] of [[Type:Sister:XY]]
>>(and (isa SisterXY Sisterhood) (genls Sisterhood Individual)
>> (isa SisterXY Sisterhood))
>>???
>>
>>> [[Instance:Sister:XY]] for [[Person:X]]
>>(and (isa SisterXY Sisterhood) (genls Sisterhood Individual)
>> (groupMembers SisterXY PersonY) (isa PersonY Person))
>>> [[Instance:Sister:XY]] for [[Person:Y]]
>>>
>>> ...describing the Sister(hood) instance further:
>>> [[Instance:Sister:XY]] in [[Category:Legal]]
>>(and (isa SisterXY Sisterhood) (genls Sisterhood Individual)
>> (legalCategory SisterXY LegallyDefinedRelationship))
>>
>>> [[Instance:Sister:XY]] in [[Year:1953]]
>>(and (isa SisterXY Sisterhood) (genls Sisterhood Individual)
>> (startingDate SisterXY (YearFn 1953)))
>>
>>> [[Instance:Sister:XY]] on [[Day:12-01]]
>>(and (isa SisterXY Sisterhood) (genls Sisterhood Individual)
>> (implies (startingDate SisterXY (YearFn ?YEAR))
>> (startingDate SisterXY
>> (DayFn 1 (MonthFn December (YearFn ?YEAR))))))
>>
>>> [[Instance:Sister:XY]] by [[Adoption:Person:Y]]
>>(and (isa SisterXY Sisterhood) (isa AdoptionPersonY Adoption)
>> (personAdopted AdoptionPersonY PersonY) (isa PersonY Person)
>> (causitiveEvent SisterXY AdoptionPersonY))
>>
>>> [[Instance:Sister:XY]] until [[Death:Person:Y]]
>>(and (isa SisterXY Sisterhood) (genls Sisterhood Individual)
>> (cotemporalEvents (EndFn SisterXY) (DeathFn PersonY)
>> (isa PersonY Person))
>>
>>> ...describing Type:Sister(hood) further:
>>> [[Type:Sister]] of [[Type:RelationshipStatus]]
>>(isa Sisterhood Relationship)
>>
>>> [[Type:Sister]] in [[Category:Human]]
>>(isa Sisterhood RelationshipBetweenHumans)
>>
>>> [[Type:Sister]] in [[Category:Familial]]
>>(isa Sisterhood FamilialRelationship)
>>
>>> [[Type:Sister]] in [[Category:Symmetric]]
>>(isa Sisterhood SymmetricStatus)
>>
>>
>>> Any takers how other ontologies would express the information above?
>>> Thanks - jmc
>>
>>
>>
>>_________________________________________________________________
>>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
>>
> (07)
_________________________________________________________________
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)
|