In this document we will give a formal specification and semantics for both OIL-Lite and Standard OIL languages and associated inferences. This formal specification provides a precise interpreation for all statements in OIL. It serves to make explicit all information that is implicit in OIL statements.
The document provides a model-theoretic specification of the meaning of OIL constructs and details the inference implications of statements. From this document, the reader can determine when an object is a member of a class, when a term is consistent (or inconsistent), and when a term has a subclass (or subrole) relationship to another term.
In this document, we will only consider the definitions part of the ontology and we will ignore fields such as documentationthat have no semantic significance.