On May 21, 2013, at 10:52 PM, John McClure wrote: (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. (02)
You display a pile of what looks like some kind of formalism, looking like this: (03)
[[Person:Y]] has [[Sister:Person:X]] (04)
and invite us to express this in some other formalism. I do not recognize your
formailsm and have no idea how to interpret it. What formalism is it, and where
is it defined? (05)
> Perhaps you could provide an example for is-sister-of ? (06)
I cannot provide any examples, as I have no idea what your symbols are supposed
to mean. For example, what does [[Sister:Person:X]] mean? If you can give (a
pointer to) a formal model theory for this notation that would be best, but
even an informal account of its intended meaning would be a start. (07)
Pat (08)
>
> Thanks - jmc
>
> -----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
>
>
> Jim,
>
> 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.
>
> Thanks,
> Leo
>
>> -----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
>>
> (09)
------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 mobile
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (010)
_________________________________________________________________
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 (011)
|