An overview of OWL, a language for knowledge representation