Invia SMS: Representing Ontologies Using Description Logics‚ Description Graphs and Rules