UEL, Unifier for the description logic EL, is a plug-in for Protégé 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.3/plugins.

    • as a library:
      download the zip containing uel-1.3.0.jar in directory uel/uel-library
      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+):
        mvn clean package
      • to compile with Apache Ant (1.8.3+):
      • release: uel-build/target/uel-version.zip

    • v1.3.0
      • git checkout v1.3.0
      • 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-1.3.0.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)
      • to verify dependencies with Apache Maven before going offline:
        mvn dependency:go-offline
      • to compile with Apache Maven:
        mvn --offline clean package
      • release: uel-build/target/uel-version.zip

  • documentation

  • changes
    • v1.3.0
      • added capability to handle dissubsumptions to SAT-based algorithm
      • added ASP-based algorithm (experimental)

    • v1.2.0
      • added possibility to restrict SAT-based algorithm to minimal assignments

    • v1.1.0
      • addded Rule-based algorithm

    • v1.0.0
      • basic SAT-based algorithm

  • development

  • support

  • licenses