Cloud Service Description Ontology : Construction , Evaluation and Interrogation
FaCT++ description logic reasoner: System description