Leo, thanks, wiki pagenames are not opaque. [[Sister:Person:X]] is a
"Person:X" page in the Sister: namespace. "Person:X" is the topic, and
Sister is the topic-type, the basic ISO 13250 . The same structure is
applied to subobject names. With performance in mind, these names are
quickly parsed to extract for instance "is-a" relations (through of-Type).
Not sure this gets to your point. (01)
PatH asked "What language is being used in this example? It is hard to judge
whether this makes sense unless one knows what the semantic rules of the
formalism are." It is hard to answer when I don't know specifically what
you're asking. Perhaps you could provide an example for is-sister-of ? (02)
Thanks - jmc (03)
-----Original Message-----
From: Obrst, Leo J. [mailto:lobrst@xxxxxxxxx]
Sent: Tuesday, May 21, 2013 5:26 PM
To: jmcclure@xxxxxxxxxxxxxx; [ontolog-forum]
Subject: RE: [ontolog-forum] Grover Models (04)
Jim, (05)
Just an aside: semantics is not equal to ontology. So ways of referring \=
referrents. One typically determines the denotation of the expression to get
at the semantics, which may point initially to the "concepts", which
typically are placeholders for the "referents", i.e., the things in the
world. (06)
Thanks,
Leo (07)
>-----Original Message-----
>From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-
>bounces@xxxxxxxxxxxxxxxx] On Behalf Of jmcclure@xxxxxxxxxxxxxx
>Sent: Tuesday, May 21, 2013 10:10 PM
>To: '[ontolog-forum] '
>Subject: [ontolog-forum] Grover Models
>
>
>Is it actually wrong to model with prepositions, or is it just not a
>recommended practice? 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.
>
>[[Person:X]] has [[Sister:Person:Y]]
>[[Person:Y]] has [[Sister:Person:X]]
>[[Person:X]] of [[Type:Sister:XY]]
>[[Person:Y]] of [[Type:Sister:XY]]
>[[Sister:Person:X]] of [[Type:Sister:XY]]
>[[Sister:Person:Y]] of [[Type:Sister:XY]]
>[[Sister:Person:X]] for [[Person:X]]
>[[Sister:Person:Y]] for [[Person:Y]]
>[[Type:Sister:XY]] of [[Type:Sister]]
>[[Type:Sister:XY]] has [[Instance:Sister:XY]]
>[[Instance:Sister:XY]] of [[Type:Sister:XY]]
>[[Instance:Sister:XY]] for [[Person:X]]
>[[Instance:Sister:XY]] for [[Person:Y]]
>
>...describing the Sister(hood) instance further:
>[[Instance:Sister:XY]] in [[Category:Legal]]
>[[Instance:Sister:XY]] in [[Year:1953]]
>[[Instance:Sister:XY]] on [[Day:12-01]]
>[[Instance:Sister:XY]] by [[Adoption:Person:Y]]
>[[Instance:Sister:XY]] until [[Death:Person:Y]]
>
>...describing Type:Sister(hood) further:
>[[Type:Sister]] of [[Type:Relationship]]
>[[Type:Sister]] in [[Category:Human]]
>[[Type:Sister]] in [[Category:Familial]]
>[[Type:Sister]] in [[Category:Symmetric]]
>
>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
> (08)
<<attachment: winmail.dat>>
_________________________________________________________________
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 (01)
|