This document provides an overview of the Web Ontology Language (OWL). It discusses OWL's purpose in extending RDF Schema to provide a full knowledge representation language for the web. It outlines OWL's key features such as logical expressions, cardinality constraints, enumerated classes, and property characteristics. It also describes OWL's three sublanguages - OWL Lite, OWL DL, and OWL Full - which differ in their expressiveness and computational guarantees. The document concludes by discussing the Rule Interchange Format (RIF) and its role in defining rule languages for the semantic web.