REMEDiAL - Automatic Reasoning, Model Execution and Ontology Data Analysis.


The main goal of this project is to provide capabilities to help to automate the software development process, based on the use of domain ontologies. An ontology represents a formal definition of the concepts, properties, constraints and interrelations of entities that actually exist in a particular domain of discourse and of the actions that can be performed on them in this domain. The content of the ontology is determined from the content of the underlying sources or databases through declarative mappings that define the concepts in the ontology according to the data contained in the sources.

Specifically, we intend to develop techniques and tools to automatically reason from the ontology, in order to ensure that the definition of the ontology adequately describes the concepts of the domain and to be able to transfer a change at the data level in a modification of the ontological knowledge; for the automatic execution of models, to provide direct execution capabilities without having to develop the software system manually; or to analyze the data in the sources from the knowledge defined in the ontology to draw conclusions and discover behavioral dependencies that are impossible to determine taking into account only source data.

This research will be carried out in four different application domains: business process modeling, security ontology policies, Internet of Things (IoT) and learning analytics in education.

Duration of the project 
January, 2018 to December, 2021
Areas of expertise involved in the project 
  • Antoni Urpí Tubella
  • Joan Antoni Pastor Collado
  • Enric Mayol
  • Montserrat Estañol Lamarca

Segueix-nos a

Els nostres articles del bloc d'inLab FIB


inLab FIB incorporates esCert


First LogoCSIRT Logo

inLab is member of

inLab és centre TECNIO