This project implements generalization algorithms (role-depth bounded least common subsumer and most specific concept) for the description logics EL and extensions thereof.
- Protégé plug-in
- The Central Repository
- as dependency
<dependency>
<groupId>de.tu-dresden.inf.lat.gel</groupId>
<artifactId>gel</artifactId>
<version>0.17.2</version>
</dependency>
Original Developer: Andreas Ecke
Additional Developer: Julian Mendez
To checkout and compile the project, use:
$ git clone https://github.com/julianmendez/gel.git
$ cd gel
$ mvn clean install
To compile the project offline, first download the dependencies:
$ mvn dependency:go-offline
and once offline, use:
$ mvn --offline clean install
The bundles uploaded to Sonatype are created with:
$ mvn clean install -DperformRelease=true
and then:
$ cd gel/target
$ jar -cf bundle.jar gel-*
The version number is updated with:
$ mvn versions:set -DnewVersion=NEW_VERSION
where NEW_VERSION is the new version.
This software is distributed under the Apache License Version 2.0.
See release notes.
The GEL plugin for Protégé implements the least common subsumer and most specific concept inferences for EL-based ontologies in Protégé. The current version of these generalizations works with ELH ontologies and uses jcel as underlying classifier.
To install, just download the jar-file (de.tu-dresden.inf.lat.gel-
version.jar
) and move it to the plugin folder of the Protégé directory. After restarting Protégé, you should find "Least Common Subsumer" and "Most Specific Concept" in the menu "Window > Views > Ontology Views". Just drag these somewhere onto the window and you should be ready to get started.
When you drop the "Least Common Subsumer" (lcs) view somewhere, you will get various options for the lcs. You can compute the least common subsumer of up to 8 concept descriptions. In the top of the lcs-view, you see these eight concepts, which are initialized with the top-concept "Thing". To change them, click on the edit-button on the right side. A window pops up, where you can enter an arbitrary EL-concept description. Clicking "OK" will change the corresponding field. On the left side of each of the eight concepts, you will see checkboxes. Only these concepts where the checkbox is checked will be used for the computation of the lcs. In the bottom part of the view, you can choose a maximum role-depth, which bounds the lcs, and wether the result should be simplified. A click on "Compute Lcs" will run the computation and the resulting concept description will pop up in a new window.
For the "Most Specific Concept" (msc), you have the same options (maximum role-depth and whether or not you want to simplify the result), but instead of several concept descriptions you can only choose a single individual in the top part of the view. A click on "Compute Msc" will run the computation of the most specific concept for that individual and the resulting concept description will pop up in a new window.
In case you need more information, please contact @julianmendez .