KAMET II Conceptual Modeling Language, a Visual and Consistent Language Proved using Concept Algebra

KAMET II Concept Modeling Language (CML) is a consistent visual language with high usability and flexibility devised to acquire and organize knowledge from different sources in a very intuitive way. Similar recent work, which suggests visual tools for supporting knowledge acquisition (KA) processes, like Cmaptools and ICONKAT, are closed environments that cannot be easily translated to more popular frameworks like Protégé. On the other hand, languages for Semantic Web used for KA, like Extensible Markup Languages (XML), are designed for machine interpretation without considering the users interaction. KAMET II CML, on the contrary, cares about the input facilities for constructing knowledge models without disregarding its complexity, and it is compatible with commercial methodologies. We describe and demonstrate the advantages of KAMET II CML by proving its consistency and formality using Concept Algebra, a mathematical structure for the formal treatment of concepts and their algebraic relations, operations and associative rules. We do a direct transformation of KAMET II CML diagnosis models to Concept Network (CN) diagrams making use of Concept Algebra. As a result, KAMET II CML models are compatible with regular ontology representations and can be shared and used by other systems without adding complexity.