UEL, Unifier for the description logic EL, is a plug-in for Protégé 4.2 that uses the OWL API.

  • download

  • tutorial

  • installation and use
    • as a plugin:
      download de.tudresden.inf.lat.uel.jar and copy it into Protege_4.2/plugins.

    • as a library:
      download the zip containing the following jars:
      • uel-plugin-1.2.0.jar
      • uel-sat-1.2.0.jar
      • uel-rule-1.2.0.jar
      • uel-type-1.2.0.jar

      and also download the following jars:
      and use all of them as libraries.

    • as a standalone:

      To start the standalone application, you can use the following script.

  • source
    • clone the source code using Git
      git clone git://git.code.sf.net/p/uel/code uel

      (for developers
          git clone ssh://developer@git.code.sf.net/p/uel/code uel
          git clone https://developer@git.code.sf.net/p/uel/code uel

    • browse repository
    In Eclipse, it requires the m2e plug-in.

  • build instructions
    • master (trunk)
      • to compile with Apache Maven (3.0.3+):
        cd uel
        mvn clean package
      • to compile with Apache Ant (1.8.3+):
        cd uel
      • release: uel/uel-build/target/uel-version.zip

    • v1.2.0
      • git checkout v1.2.0
      • cd uel/uel.distribution
      • with Apache Ant:
      • with Apache Maven:
        mvn clean package javadoc:javadoc source:jar
      • release: uel/uel.distribution/target/uel-1.2.0.zip

    • v1.0.0 and v1.1.0
      • git checkout v1.1.0      (or git checkout v1.0.0)
      • cd uel/uel.plugin
      • ant -buildfile build-bundle.xml
      • release: uel/uel.plugin/target/de.tudresden.inf.lat.uel.jar

    • master (trunk) (for offline development)
      • cd uel
      • to verify dependencies with Apache Maven before going offline:
        mvn dependency:go-offline
      • to compile with Apache Maven:
        mvn --offline clean package
      • release: uel/uel-build/target/uel-version.zip

    • documentation

    • functionality
      • v1.2.0
        • SAT-based algorithm
        • Rule-based algorithm
        • SAT-based algorithm with minimal assignments

      • v1.1.0
        • SAT-based algorithm
        • Rule-based algorithm

      • v1.0.0
        • SAT-based algorithm

    • development

    • support

    • licenses