A formal view of representation languages has a number of useful consequences. These consequences are discussed in the context of a proposal for a web ontology language (OWL-1).
Presented at the first face-to-face meeting of the W3C Web Ontology Working Group, Murray Hill, New Jersey, January 2002.