editing description logic ontologies with the protege owl plugin .
Racer: A Core Inference Engine for the Semantic Web