This document demonstrates the use of the OWL language to
- formalize a domain by defining classes and properties of those classes,
- define individuals and assert properties about them, and
- reason about these classes and individuals to the degree permitted by the formal semantics of the OWL language.
The sections are organized to present an incremental definition of a set of classes, properties and individuals, beginning with the fundamentals and proceeding to more complex language components.
