On Tue, May 21, 2013 22:09, jmcclure@xxxxxxxxxxxxxx wrote: (01)
> Is it actually wrong to model with prepositions, or is it just not a
> recommended practice? (02)
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. (03)
> 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. (04)
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. (05)
> [[Person:X]] has [[Sister:Person:Y]]
(and (isa PersonX Person) (isa PersonY Person) (sisterOf PersonX PersonY)) (06)
> [[Person:Y]] has [[Sister:Person:X]]
(and (isa PersonY Person) (isa Person Person) (sisterOf PersonY PersonX)) (07)
> [[Person:X]] of [[Type:Sister:XY]]
(and (isa PersonX Person) (isa SisterXY Sisterhood)
(groupMembers SisterXY PersonX)) (08)
> [[Person:Y]] of [[Type:Sister:XY]]
(and (isa PersonY Person) (isa SisterXY Sisterhood)
(groupMembers SisterXY PersonY)) (09)
> [[Sister:Person:X]] of [[Type:Sister:XY]]
(and (isa PersonX Person) (isa PersonZ Person) (sisterOf PersonX PersonZ)
(isa SisterXY Sisterhood)(groupMembers SisterXY PersonZ))
? (010)
> [[Sister:Person:Y]] of [[Type:Sister:XY]]Z
(and (isa PersonY Person) (isa PersonZ Person) (sisterOf PersonY PersonZ)
(isa SisterXY Sisterhood)(groupMembers SisterXY PersonZ))
? (011)
> [[Sister:Person:X]] for [[Person:X]]
(and (isa PersonX Person) (isa PersonZ Person) (sisterOf PersonX PersonZ)
(sisterOf PersonX PersonZ))
? (012)
> [[Sister:Person:Y]] for [[Person:Y]]
(and (isa PersonY Person) (isa PersonZ Person) (sisterOf PersonY PersonZ)
(sisterOf PersonY PersonZ))
? (013)
> [[Type:Sister:XY]] of [[Type:Sister]]
(and (isa SisterXY Sisterhood) (isa SisterXY Sisterhood))
? (014)
> [[Type:Sister:XY]] has [[Instance:Sister:XY]]
(and (isa SisterXY Sisterhood) (isa SisterXY Sisterhood)
(genls Sisterhood Individual))
??? (015)
> [[Instance:Sister:XY]] of [[Type:Sister:XY]]
(and (isa SisterXY Sisterhood) (genls Sisterhood Individual)
(isa SisterXY Sisterhood))
??? (016)
> [[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)) (017)
> [[Instance:Sister:XY]] in [[Year:1953]]
(and (isa SisterXY Sisterhood) (genls Sisterhood Individual)
(startingDate SisterXY (YearFn 1953))) (018)
> [[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)))))) (019)
> [[Instance:Sister:XY]] by [[Adoption:Person:Y]]
(and (isa SisterXY Sisterhood) (isa AdoptionPersonY Adoption)
(personAdopted AdoptionPersonY PersonY) (isa PersonY Person)
(causitiveEvent SisterXY AdoptionPersonY)) (020)
> [[Instance:Sister:XY]] until [[Death:Person:Y]]
(and (isa SisterXY Sisterhood) (genls Sisterhood Individual)
(cotemporalEvents (EndFn SisterXY) (DeathFn PersonY)
(isa PersonY Person)) (021)
> ...describing Type:Sister(hood) further:
> [[Type:Sister]] of [[Type:RelationshipStatus]]
(isa Sisterhood Relationship) (022)
> [[Type:Sister]] in [[Category:Human]]
(isa Sisterhood RelationshipBetweenHumans) (023)
> [[Type:Sister]] in [[Category:Familial]]
(isa Sisterhood FamilialRelationship) (024)
> [[Type:Sister]] in [[Category:Symmetric]]
(isa Sisterhood SymmetricStatus) (025)
> Any takers how other ontologies would express the information above?
> Thanks - jmc (026)
_________________________________________________________________
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 (027)
|