Thinking on the Web: Berners-Lee, Gödel and Turing

ACRONYMS

AI	Artificial Intelligence
CBL	Common Business Language
COM	Component Object Model
CSS	Cascade Style Sheets
CWM	Closed World Machine
DAML DARPA	Agent Markup Language
DL	Descriptive Logic
DMA	Digraph Matrix Analysis
DOM	Document Object Model
DTD	Document Type Definition
ebXML	Electronic Business XML
FFOL	Full First Order Logic
FOAF	Friend of a Friend
FOL	First Order Logic
GMP	Generalized Modus Ponens
GUI	Graphical User Interface
HL	Horn Logic
HOL	Higher Order Logic
HTML	Hypertext Markup Language
HTTP	HyperText Transfer Protocol
IP	Internet Protocol
J2EE	Java 2 Enterprise Edition
KB	Knowledge Base
KR	Knowledge Representation
LP	Logic Program
MAC	Message Authentication Code
MP	Modus Ponens
NLP	Natural Language Processing
OBI	Open Business on the Internet
ODM	Ontology Definition Metamodel
OIL	Ontology Inference Layer
OTP	Open Trading Protocol
OWL	Web Ontology Language
P2P	Peer-to-peer
RDF	Resource Description Framework
RDFS	RDF Schema
RSS	Rich Site Summary Rule ML Rule Markup Language
SCL	Simple Common Logic
SGML	Standard Generalized Markup Language
SOAP	Simple Object Access Protocol
SQL	Structured Query Language
SWRL	Semantic Web Rule Language
TCP/IP	Transmission Control Protocol/Internet Protocol
TM	Topical Maps
UDDI	Universal Description, Discovery and Integration
UML	Unified Modeling Language
URI	Universal Resource Identifier
URL	Universal Resource Locator
W3C	World Wide ...