William --
I'd suggest that there has been progress since the 80s and 90s, and that a more pragmatic set of three components is:
1. Data semantics, as in interleaving metadata with data, as in RDF and XML
2. Logical inference semantics, as in a model-theoretic statement of what conclusions
an inference engine *should* be able to draw from any set of axioms
3. English (or other natural language) semantics, as in the real world meaning of concepts
that are treated logically in an inference system.
Actually, much of the refereed-paper work on this approach was done in the 80s and 90s, but a generally available system that shows how these three components can work together had to wait till this century (:-).
The system is online at
www.reengineeringllc.com, and shared use is free.
HTH,
-- Adrian
Internet Business Logic (R)
Executable open vocabulary English
Online at
www.reengineeringllc.com Shared use is free
Adrian Walker
Reengineering
PO Box 1412
Bristol
CT 06011-1412 USA
Phone: USA 860 583 9677
Cell: USA 860 830 2085
Fax: USA 860 314 1029
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Unsubscribe/Config:
http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (01)