Hi Mathew --|
You wrote (below) "to form arbitrary mappings my experience is you need
Yes, one does seem to need that kind of power. Actually, one may also need recursion (to climb around hierarchies) and negation-as-failure (to conclude that Fred does not work for Shell if he is not in the employee database).
This is a concern also with the OMG SBVR's recommendation of Common Logic .
Some amount of natural language and explanation for the reasoning may also be useful, since -- when working in KIF, RDF, or OWL-like notations -- it quickly becomes difficult for a user to understand the intent of the author [2,3,4,5].
Do any of these issues come up in your work?
Cheers, -- Adrian
Internet Business Logic (R)
Executable open vocabulary English
Online at www.reengineeringllc.com
Shared use is free
Reengineering, PO Box 1412, Bristol, CT 06011-1412, USA
Phone 860 583 9677 Mobile 860 830 2085 Fax 860 314 1029
West, Matthew R SIPC-DFD/321 wrote:
I was unfortunately not able to attend this talk, but Peter asked
me to comment on it. So here goes.
The talk essentially proposes Federating ontologies (rather than
integrating or merging them) and using Topic Maps for the purpose.
Federation is nothing new, and you don't need Topic Maps to do it
(though it is one way). Federation basically says that you can map
(interface) different ontologies instead of merge/integrate them.
This is of course true. There are however disadvantages, in that
you have to "hop over" into another ontology to do the things it
does, so you can find yourself having to understand multiple
ontologies, rather than just your favourite one. The overall
capabilities are also more limited, since not everything is visible
History shows that we integrate as much as we can, and then
interface between the bits we can't (don't have time) to integrate.
It is the old islands of automation story, with interfaces between
the islands where you continuously try to make the islands bigger.
Federation tries to make this a virtue. I was always
expecting that we would federate the main ontologies, but with
some integration/cross over as well.
If you want a different view on this, I could give a talk on
ISO 18876 - integration of industrial data for exchange access
and sharing (IIDEAS). This provides an architectural framework
for integrating/federating and what it involves.
I don't follow the worked example they have from the slides, but
it looks a little simplistic to me. Also, to form aribtrary mappings
my experience is you need FOL, and Topic Maps falls short of this,
so I would expect some limitations to what could be mapped.
Reference Data Architecture and Standards Manager
Shell International Petroleum Company Limited
Shell Centre, London SE1 7NA, United Kingdom
Tel: +44 20 7934 4490 Mobile: +44 7796 336538
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx