Authors:
Thomas Raimbault
;
David Genest
and
Stéphane Loiseau
Affiliation:
Leria, University of Angers, France
Keyword(s):
UML, First Order Logic, Knowledge Representation and Reasoning, Model-Based Reasoning, Knowledge Engineering, Visual Quering, Visual Checking, Positive Constraints, Negative Constrains.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Knowledge Representation and Reasoning
;
Model-Based Reasoning
;
Symbolic Systems
Abstract:
In Knowledge Engineering, UML class diagram is the defacto standard for modeling object oriented systems. We propose a way for logical reasoning on UML class diagram, concerning querying and checking class diagram. First, we define an original logical semantics to UML class diagram. Our approach differs from other existing works, because we use a same set of predicates to translate any class diagram instead of other “ad hoc” approaches. Second, we extend UML, especially with variable and bicoloration, to express query and constraint into the visual environment of (extended-)UML.