Skip to content

Protégé release and Evee libs

Jump to bottom
maphih edited this page Sep 5, 2025 · 2 revisions

Evee libs

The module evee-libs and its sub-modules can be used as a shortcut to add all tools of Evee as a dependency to another project.

The module evee-libs-owlapi4 gives access to the following (all dependent on the owlapi-distribtuion version 4.x.x):

  • lat-scala-dl-tools
  • LETHE
  • evee-data
  • evee-elimination-proofs-core
  • evee-elimination-proofs-fame
  • evee-elimination-proofs-lethe
  • evee-elk-proof-extractor
  • evee-lethe-proof-extractor
  • evee-small-model-generator

The module evee-libs-owlapi5 gives access to the following (all dependent on the owlapi-distribtuion version 5.x.x):

  • lat-scala-dl-tools
  • LETHE
  • evee-data
  • evee-elimination-proofs-core
  • evee-elimination-proofs-lethe
  • evee-elk-proof-extractor
  • evee-lethe-proof-extractor

Evee Protégé release

The sub-module evee-protege-release creates a zip-file as an artifact containing all jars of the sub-modules of evee-protege. The pom.xml of this module includes all sub-modules of evee-protege as a dependency. The maven-assembly-plugin is used to build the artifact and references the file assembly.xml, which contains the following important information:

  • The includes tag is used to specify which files to include in the resulting artifact. Since this tag is left empty, the maven-assembly-plugin will add all (transitive) dependencies of evee-protege-release to the artifact.
  • The useTransitiveDependencies tag is used to exclude all transitive dependencies when creating the artifact. Therefore, only the direct dependencies mentioned in the pom.xml of evee-protege-release will be added.

Clone this wiki locally