4. The method of claim 1 wherein said automated reasoning system further comprises ontology-based reasoning.
5. The method of claim 4 wherein said ontology-based reasoning further comprises characteristics ontology represented by description logics.