Description Logic Reasoner (LoRD)

The objective of this project is to show how Model Driven Engineering (MDE) techniques can be applied to developing a DL reasoner, called LoRD. To implement the  tableau algorithm using the MDE principles, we used the following two Ecore-based metamodels:

1. The DL metamodel that is a non-normative part of the current OMG’s  (www.omg.org) effort for developing the Ontology Definition Metamodel  (www.omg.org/spec/ODM/1.0/),
2. The Tableau metamodel that represents a tableau.

This implementation of the DL tableau algorithm enables transformation of a DL model (i.e., an instance of the DL metamodel in terms of the MDA) into its tableau model (i.e., an instance of the Tableau metamodel). For this transformation we use Atlas Transformation Language (ATL), a QVT-like model transformation language.

Video

Contact: Nenad Krdzavac