REMEDiAL – Automatic Reasoning, Model Execution and Data Analysis using Ontologies

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

Specifically, we intend to develop techniques and tools to automatically reason from the ontology, to ensure that the ontology definition adequately describes the domain concepts and can transfer a change at the data level into a modification of the ontological knowledge; for automatic model execution, to provide direct execution capabilities without having to develop the software system manually; or to analyze data from the sources of the knowledge defined to the ontology to draw conclusions and discover behavioral dependencies that cannot be determined by considering only the source data.

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