Summary
•SemTalk failed to import DAML models with complex expressions
•This issue has already been fixed for the OWL template
•SemTalk succeeded in importing taxonomies from all tools, which support DAML or RDFS
•From a business point of view, the inability to import models that have axioms and rich logical expressions is not very relevant since those expressions are not included in the other SemTalk methodologies such as Business Process Modeling.  Being able to import taxonomies with subclassing and properties is the main requirement of our current customers.