IKL is an advanced logic for interoperation on a network. This is an overview presented on-line to the Ontolog colloquium.Read less