Authors:
Thomas Raimbault
;
David Genest
and
Stéphane Loiseau
Affiliation:
University of Angers, France
Keyword(s):
Knowledge Engineering, Model-Based Reasoning, UML, Conceptual Graphs, Visual Quering and Checking.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Artificial Intelligence and Decision Support Systems
;
Biomedical Engineering
;
Data Engineering
;
Enterprise Information Systems
;
Health Information Systems
;
Informatics in Control, Automation and Robotics
;
Information Systems Analysis and Specification
;
Intelligent Control Systems and Optimization
;
Knowledge Engineering
;
Knowledge Engineering and Ontology Development
;
Knowledge Management
;
Knowledge-Based Systems
;
Knowledge-Based Systems Applications
;
Ontologies and the Semantic Web
;
Society, e-Business and e-Government
;
Software Engineering
;
Symbolic Systems
;
Web Information Systems and Technologies
Abstract:
UML class diagram is the de facto standard, including in Knowledge Engineering, for modeling structural knowledge of systems. Attaching importance to visual representation and based on a previous work, where we have given a logical defined extension of UML class diagram to represent queries and constraints into the UML visual environment, we present here how using the model of conceptuals graphs to answer queries and to check constraints in concrete terms.