Research unit: Distributed Knowledge and Artificial Intelligence Laboratory (CIAD: Laboratoire Connaissance et Intelligence Artificielle Distribuées) - EA7533
Location: Univ. Bourgogne Franche-Comté – Dijon
Duration: 12 month
Salary: based on candidate profile and experience
Starting date: as soon as possible
Ouassila Labbani Narsis email@example.com
Christophe Nicolle firstname.lastname@example.org
Ontological engineering refers to the set of activities that concern the ontology development process. It is considered as a field within the knowledge engineering used to develop computer systems based on mechanisms manipulating knowledge and their semantics.
Ontology development methodologies are mainly based on approaches defining principles, criteria and development guides according to the skills of experts in a specific field. The lack of defined standards, the open world assumption and the non-unique name assumption in the description of the ontology, as well as the merging process and the evolution of the ontology during its life cycle, can lead to conflicts and inconsistencies in its description. For all these reasons it is important to propose new approaches to qualify and evaluate the coherence and the veracity of knowledge described by the ontology.
In knowledge engineering, object-oriented paradigm has also interesting features that can be used in knowledge representation to avoid inconsistency problems. It should be therefore interesting to develop a hybrid approach to qualify and ensure the consistency of an ontology using object-oriented modeling and constraints verification.
In this context, the postdoctoral will work on an ontology qualification approach using UML/OCL modeling. The objective is to use the OCL constraints verification results on a UML model to understand, correct, and enhance the ontology knowledge. The obtained results will be used to help the user by alerting him of possible inconsistencies or information lack in the description of the ontology. It is then possible to increase its expressivity level and make the closed world assumption.
The purpose of this work is to develop a parameterizable tool for qualifying and verifying knowledge coherence and consistency in an ontology based on the verification of OCL constraints on the corresponding UML model.
Knowledge engineering, Ontology, Object-oriented modeling, UML, OCL.
Skills and requirements
The candidate must have:
CIAD: Distributed Knowledge and Artificial Intelligence Laboratory. It is a research laboratory specialized in the analysis, design, and development of intelligent and autonomous systems. The CIAD laboratory studies scientific challenges related to the management of interoperability of heterogeneous knowledge systems. In particular, perception and qualification of data to develop recommendation systems in a massive intelligent environment.
Dijon: French commune located at 310 km south-east of Paris and 190 km north of Lyon. It is the capital of the department of Côte-d'Or and the capital of Burgundy. Former capital of the Dukes of Burgundy in the fourteenth and fifteenth centuries, heir to a rich historical and architectural heritage, Dijon is a city tourist attraction of which is enriched by the gastronomic reputation of the region. The historic center of the city is the second component of the climates of the vineyards of Burgundy, registered since July 4, 2015 at the UNESCO World Heritage.Apprenez-en davantage
|Intitulé||Post-doctoral position - Qualification of semantic models using constraints verification|
|Job location||Université de Bourgogne Franche-Comté, 21000 Dijon|
|Publié||juin 17, 2019|
|Date limite d'inscription||Non Spécifiée|
|Types d'emploi||Post doc  |
|Domaines de recherche :||Sciences de l'information,   Intelligence artificielle,   Informatique distribuée,   Systèmes d'information (informatique de gestion),   Langages de programmation,   Génie logiciel,   Conception logicielle  |