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 for the trunk
    • git clone git://git.code.sf.net/p/uel/code uel
    • cd uel/uel/uel-build
    • ant (to retrieve the dependencies, just for the first time)
    • later, with Apache Ant: ant
    • and with Apache Maven: mvn install javadoc:javadoc source:jar
    • release: uel/uel-build/target/uel-version.zip

  • build instructions for uel-1.2.0
    • git clone git://git.code.sf.net/p/uel/code uel
    • cd uel
    • git checkout uel-1.2.0
    • cd uel/uel.distribution
    • with Apache Ant: ant
    • with Apache Maven: mvn package source:jar javadoc:javadoc
    • release: uel/uel.distribution/target/uel-version.zip

  • documentation

  • functionality
    • uel-1.2.0 :
      • SAT-based algorithm
      • Rule-based algorithm
      • SAT-based algorithm with minimal assignments

    • uel-1.1.0
      • SAT-based algorithm
      • Rule-based algorithm

    • uel-1.0.0
      • SAT-based algorithm

  • development

  • support

  • licenses