ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] "Data/digital Object" Identities

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Tara Athan <tara_athan@xxxxxxxxxx>
Date: Thu, 23 Oct 2014 18:58:00 -0400
Message-id: <544987F8.8010702@xxxxxxxxxx>
Simon- I was hoping someone would bring up FRBR in this thread. I would be interested to hear about your take on it, as we are employing an approach inspired by FRBR in OMG's API4KB Standard.

Tara

On 10/23/14, 12:33 PM, Simon Spero wrote:

This does discussion has wandered a bit far from the subject of data/information object identities. If people are still interested in that topic I have some experience in that area, and have some opinions on the usefulness of relative identity as a tool for analyzing models like FRBR, which I could write an email on.

Higher order logics are useful, with the predicates that must agree being treated as a set rather than the usual $ \forall \phi \in \Phi $. 

Removing members from the set of predicates yields different entities (or equivalence classes). These may represent useful abstractions, or at least raise questions about other abstractions.

Simon



 
_________________________________________________________________
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    (01)

<Prev in Thread] Current Thread [Next in Thread>