[cuo-wg] Bridging axioms in executable English

["Adrian Walker" <adriandwalker@xxxxxxxxx>]

Pat, Leo --

Thanks for the interesting discussion about bridging axioms.

Here a little example of bridging axioms in executable English that one can run:

     www.reengineeringllc.com/demo_agents/MergeOntologies1.agent

Even in this simple example, the reasoning can be a bit hard to fathom, unless you use the English explanations, that is.

Cheers,   -- Adrian

Internet Business Logic (R)
Executable open vocabulary English
Online at www.reengineeringllc.com
                               
Shared use is free

Adrian Walker
Reengineering
Phone: USA 860 830 2085

 _________________________________________________________________
Message Archives: http://colab.cim3.net/forum/cuo-wg/
Subscribe/Unsubscribe/Config: http://colab.cim3.net/mailman/listinfo/cuo-wg/
To Post: mailto:cuo-wg@xxxxxxxxxxxxxx
Community Portal: http://colab.cim3.net/
Shared Files: http://colab.cim3.net/file/work/SICoP/cuo-wg/
Community Wiki: 
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/CommonUpperOntologyWG    (01)