evaluating knowledge representation and reasoning capabilites of ontology specification languages .
Knowledge Engineering: Principles and Methods