uel




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



download
  • 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)
      • 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

    • v1.2.0
      • git checkout v1.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-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



    • 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