A Description Logic Primer
OWL 2: The Next Step for OWL