Project structure and dependencies

Project structure

Evee has the following project structure

• evee
  • evee-data
    • evee-data-owlapi4
    • evee-data-owlapi5
  • evee-elimination-proofs
    • evee-elimination-proofs-core-owlapi4
    • evee-elimination-proofs-core-owlapi5
    • evee-elimination-proofs-fame-owlapi4
    • evee-elimination-proofs-lethe-owlapi4
    • evee-elimination-proofs-lethe-owlapi5
  • evee-elk-proof-extractor
    • evee-elk-proof-extractor-owlaip4
    • evee-elk-proof-extractor-owlaip5
  • evee-lethe-proof-extractor
    • evee-lethe-proof-extractor-owlapi4
    • evee-lethe-proof-extractor-owlapi5
  • evee-libs
    • evee-libs-owlapi4
    • evee-libs-owlapi5
  • evee-protege
    • evee-protege-abduction-capi
    • evee-protege-abduction-lethe
    • evee-protege-core
    • evee-protege-counterexample-EL
    • evee-protege-counterexample-ELKRelevant
    • evee-protege-elimination-proofs-fame
    • evee-protege-elimination-proofs-lethe
    • evee-protege-el-proof-extractor
    • evee-protege-lethe-proof-extractor
  • evee-relevant-counterexample
    • counterExampleProvider-owlapi4
    • counterExampleProvider-owlapi5
    • model-datastructures-owlapi4
    • model-adatastructures-owlapi5
  • evee-small-model-generator
    • evee-small-model-generator-owlapi4
    • evee-small-model-generator-owlapi5
  • [lat-scala-dl-tools]
    • lat-scala-dl-tools-owlapi4
    • lat-scala-dl-tools-owlapi5
  • [LETHE-0.8]
    • LETHE-abduction
    • LETHE-abduction-owlapi4
    • LETHE-abduction-owlapi5
    • LETHE-abduction-core
    • LETHE-owlapi4
    • LETHE-owlapi5

The modules lat-scala-dl-tools and LETHE-0.8 are included as git submodules.

Project dependencies

Some of the modules of Evee have dependencies to projects that are not (yet) published on maven. The directory lib is included in Evee as a local repository to enable access to these projects. Whenever a module requires one of these projects, the following repository-block has been added to the corresponding pom.xml:

<repositories>
     <repository>
        <id>EveeLocalMavenRepository</id>
        <name>EveeLocalMavenRepository</name>
        <url>file:'path to lib'</url>
    </repository>
</repositories>

The project FamePlus:FamePlus:0.0.1-SNAPSHOT is used in the following modules:

• evee-elimination-proofs-fame-owlapi4
• evee-protege-elimination-proofs-fame

The project de.tu-dresden.inf.lat:capi-java-component:0.2-SNAPSHOT is used in the following module:

• evee-protege-abduction-capi

Below is a diagram depicting the project structure of Evee: