Martial_003.doc [.pdf]

In this paper, we describe the initial DAML language aimed at capturing the meaning of terms, thereby providing an ontology language for the web. We introduce DAML-ONT by way of examples and include an axiomatization of the language. Keywords: Ontology Language, Markup Language, Semantic Web, DAML, DARPA Introduction ................
................