>Pat, Leo --
>
>Thanks for the interesting discussion about bridging axioms.
>
>Here a little example of bridging axioms in executable English that
>one can run:
>
>
><http://www.reengineeringllc.com/demo_agents/MergeOntologies1.agent>www.reengineeringllc.com/demo_agents/MergeOntologies1.agent
>
>Even in this simple example, the reasoning can be a bit hard to fathom (01)
Well, sure, but why would you expect otherwise? I would be
disappointed by an ontology where I could easily follow the reasoning
that led to all the interesting consequences :-) (02)
Pat (03)
>, unless you use the English explanations, that is.
>
>Cheers, -- Adrian
>
>Internet Business Logic (R)
>Executable open vocabulary English
>Online at <http://www.reengineeringllc.com>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 (04)
--
---------------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 cell
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (05)
_________________________________________________________________
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 (06)
|