-
Notifications
You must be signed in to change notification settings - Fork 1
/
pom.xml
53 lines (48 loc) · 2 KB
/
pom.xml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
<?xml version="1.0" encoding="UTF-8"?>
<project xmlns="http://maven.apache.org/POM/4.0.0"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
<modelVersion>4.0.0</modelVersion>
<parent>
<groupId>de.tu-dresden.inf.lat.evee</groupId>
<artifactId>evee-libs</artifactId>
<version>${revision}</version>
</parent>
<artifactId>evee-libs-owlapi5</artifactId>
<properties>
<maven.compiler.source>8</maven.compiler.source>
<maven.compiler.target>8</maven.compiler.target>
</properties>
<dependencies>
<dependency>
<groupId>de.tu-dresden.inf.lat</groupId>
<artifactId>lat-scala-dl-tools-owlapi5_2.12</artifactId>
<version>${LatScalaDlTools.Version}</version>
</dependency>
<dependency>
<groupId>de.tu-dresden.inf.lat.evee</groupId>
<artifactId>evee-data-owlapi5</artifactId>
<version>${project.version}</version>
</dependency>
<dependency>
<groupId>de.tu-dresden.inf.lat.evee</groupId>
<artifactId>evee-elimination-proofs-core-owlapi5_2.12</artifactId>
<version>${project.version}</version>
</dependency>
<dependency>
<groupId>de.tu-dresden.inf.lat.evee</groupId>
<artifactId>evee-elimination-proofs-lethe-owlapi5_2.12</artifactId>
<version>${project.version}</version>
</dependency>
<dependency>
<groupId>de.tu-dresden.inf.lat.evee</groupId>
<artifactId>evee-elk-proof-extractor-owlapi5</artifactId>
<version>${project.version}</version>
</dependency>
<dependency>
<groupId>de.tu-dresden.inf.lat.evee</groupId>
<artifactId>evee-lethe-proof-extractor-owlapi5</artifactId>
<version>${project.version}</version>
</dependency>
</dependencies>
</project>