12. The method of claim 9 wherein said automated reasoning system further comprises ontology-based reasoning.
12. The method of claim 9 wherein said automated reasoning system further comprises ontology-based reasoning. 13. The method of claim 12 wherein said ontology-based reasoning further comprises characteristics ontology represented by description logics.