MVN

org.liveontologies : protege-proof-explanation

Maven & Gradle

Oct 12, 2017
1 usages

Protege Proof-Based Explanation · This is a plug-in that adds proof-based explanation facilities to the Protege Desktop ontology editor. It registers as an extension to the Protege explanation services and defines an extension point using which OWL proofs can be provided by other Protege plug-ins. The main functionality of this plug-in is displaying, navigating, and updating those proofs in the user interface.

Maven Central 
<dependency>
    <groupId>org.liveontologies</groupId>
    <artifactId>protege-proof-explanation</artifactId>
    <version>0.1.0</version>
</dependency>
Copy
pom.xml
Table Of Contents

Latest Version

Choose a version of org.liveontologies : protege-proof-explanation to add to Maven or Gradle - Latest Versions:

  • Latest Stable: 0.1.0

All Versions

Choose a version of org.liveontologies : protege-proof-explanation to add to Maven or Gradle - All Versions:

Version Vulnerabilities Updated
0.1.x
protege-proof-explanation-0.1.0

How to add a dependency to Maven

Add the following org.liveontologies : protege-proof-explanation maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>org.liveontologies</groupId>
    <artifactId>protege-proof-explanation</artifactId>
    <version>0.1.0</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following org.liveontologies : protege-proof-explanation gradle dependency to your build.gradle file:

implementation 'org.liveontologies:protege-proof-explanation:0.1.0'

Gradle Kotlin DSL: Add the following org.liveontologies : protege-proof-explanation gradle kotlin dependency to your build.gradle.kts file:

implementation("org.liveontologies:protege-proof-explanation:0.1.0")

How to add a dependency to SBT Scala

SBT Scala: Add the following org.liveontologies : protege-proof-explanation sbt scala dependency to your build.sbt file:

libraryDependencies += "org.liveontologies" % "protege-proof-explanation" % "0.1.0"

Advertisement

Dependencies from Group

puli
icon @org.liveontologies
Oct 11, 2017
8 usages
0 stars
owlapi-proof
icon @org.liveontologies
Oct 13, 2017
4 usages
protege-proof-explanation
icon @org.liveontologies
Oct 12, 2017
1 usages
protege-justification-explanation
icon @org.liveontologies
May 10, 2024
More Dependencies ❯

Discover Dependencies

ikasan-sample-jboss-sftp
icon @org.ikasan
Dec 14, 2018
1 usages
ikasan-sample-jboss-ftp
icon @org.ikasan
Dec 14, 2018
1 usages
hm-modules
icon @org.hortonmachine
Mar 09, 2022
2 usages
hm-lesto
icon @org.hortonmachine
Mar 09, 2022
2 usages
hm-gui
icon @org.hortonmachine
Mar 09, 2022
2 usages
kapua-stream-internal
icon @org.eclipse.kapua
Feb 07, 2023
2 usages
211 stars
kapua-rest-api-resources
icon @org.eclipse.kapua
Feb 07, 2023
2 usages
211 stars
kapua-device-request-api
icon @org.eclipse.kapua
Dec 22, 2017
7 usages
212 stars
jems-testing
icon @org.dmfs
Apr 06, 2021
2 usages
5 stars
rya.export.mongo
icon @org.apache.rya
Dec 17, 2020
1 usages
More Dependencies ❯