owlapi-proof
Used in:
components
- OverviewOverview
- VersionsVersions
- DependentsDependents
- DependenciesDependencies
<dependency>
<groupId>dev.ikm.puli</groupId>
<artifactId>owlapi-proof</artifactId>
<version>0.6.0</version>
</dependency><?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 https://maven.apache.org/xsd/maven-4.0.0.xsd">
<modelVersion>4.0.0</modelVersion>
<parent>
<groupId>dev.ikm.puli</groupId>
<artifactId>puli-parent</artifactId>
<version>0.6.0</version>
</parent>
<artifactId>owlapi-proof</artifactId>
<name>OWL API Proof Extension</name>
<description>
Extension to the OWL API interfaces to represent and manipulate with
proofs.
</description>
<licenses>
<license>
<name>The Apache Software License, Version 2.0</name>
<url>http://www.apache.org/licenses/LICENSE-2.0.txt</url>
<distribution>repo</distribution>
</license>
</licenses>
<dependencies>
<!-- dev.ikm.jpms dependencies -->
<dependency>
<groupId>dev.ikm.jpms</groupId>
<artifactId>jsr305</artifactId>
</dependency>
<!-- dev.ikm.owlapi dependencies -->
<dependency>
<groupId>dev.ikm.owlapi</groupId>
<artifactId>owlapi-api</artifactId>
</dependency>
<!-- project dependencies -->
<dependency>
<groupId>${project.groupId}</groupId>
<artifactId>puli</artifactId>
<version>${project.version}</version>
</dependency>
</dependencies>
</project>