[Top] [All Lists]

Re: [ontolog-forum] Foundation ontology, CYC, and Mapping

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Matthew West" <dr.matthew.west@xxxxxxxxx>
Date: Thu, 4 Mar 2010 09:24:00 -0000
Message-id: <4b8f7c28.0e67f10a.6b74.142e@xxxxxxxxxxxxx>

Dear PatC,


Moreover, one need not agree on a unique set of primitives. There might be 7-8 different sets with mappings between them, but no real "join" or generalization of the primitives - i.e. 7-8 different FO's that all efforts have been unable to merge.

I.e. instead of a single hub-spoke, you have 7-8 hubs and ensuing spokes, with the hubs connected to one another.

[[PC]] How would the hubs be connected to each other?  If the mappings are not 1 to 1, what kinds of relations would have to be defined?  Would you introduce new more basic elements to create the translations among the 7-8 hubs?  Would accurate translations be possible?  (If they are 1 to 1, the ontologies are essentially identical, a case I have never seen).


MW: Ideally you would have biconditional assertions of equivalence, i.e. that some pattern of instances of ontology A was equivalent to some pattern of instances in ontology B. There would not need to be any additional terms.


MW: Now you might want to abstract from both ontologies the underspecified terms John has been talking about, but that is just an aid to simplifying the mapping process.


Here’s a dichotomy:  (1) two candidates for an FO are logically contradictory.  Attempted mappings without stringent effort to isolate and avoid the inconsistency may cause disastrous errors in translation among them.


MW: I don’t think so. Take 3D and 4D, it is not so difficult. Anything in 3D can be mapped into 4D using the approach above. Not everything a 4D ontology can be mapped into 3D, but these would be things a 3D ontology would claim do not exist anyway, so you would not care about the loss.




Matthew West                           

Information  Junction

Tel: +44 560 302 3685

Mobile: +44 750 3385279





This email originates from Information Junction Ltd. Registered in England and Wales No. 6632177.

Registered office: 2 Brookside, Meadow Way, Letchworth Garden City, Hertfordshire, SG6 3JE.



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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)

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