All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download all versions of owlapi-proof JAR files with all dependencies


owlapi-proof from group dev.ikm.puli (version 0.6.0)

Extension to the OWL API interfaces to represent and manipulate with proofs.

Group: dev.ikm.puli Artifact: owlapi-proof
Show documentation Show source 
Download owlapi-proof.jar (0.6.0)
 

0 downloads
Artifact owlapi-proof
Group dev.ikm.puli
Version 0.6.0
Last update 09. October 2024
Tags: with extension interfaces proofs manipulate represent
Organization not specified
URL Not specified
License The Apache Software License, Version 2.0
Dependencies amount 3
Dependencies jsr305, owlapi-api, puli,
There are maybe transitive dependencies!

owlapi-proof from group dev.ikm.puli (version 0.5.0)

Extension to the OWL API interfaces to represent and manipulate with proofs.

Group: dev.ikm.puli Artifact: owlapi-proof
Show documentation Show source 
Download owlapi-proof.jar (0.5.0)
 

0 downloads
Artifact owlapi-proof
Group dev.ikm.puli
Version 0.5.0
Last update 08. October 2024
Tags: with extension interfaces proofs manipulate represent
Organization not specified
URL Not specified
License The Apache Software License, Version 2.0
Dependencies amount 3
Dependencies jsr305, owlapi-api, puli,
There are maybe transitive dependencies!

owlapi-proof from group dev.ikm.puli (version 0.4.0)

Extension to the OWL API interfaces to represent and manipulate with proofs.

Group: dev.ikm.puli Artifact: owlapi-proof
Show documentation Show source 
Download owlapi-proof.jar (0.4.0)
 

0 downloads
Artifact owlapi-proof
Group dev.ikm.puli
Version 0.4.0
Last update 23. August 2024
Tags: with extension interfaces proofs manipulate represent
Organization not specified
URL Not specified
License The Apache Software License, Version 2.0
Dependencies amount 3
Dependencies jsr305, owlapi-api, puli,
There are maybe transitive dependencies!

owlapi-proof from group dev.ikm.puli (version 0.3.0-ikm-r1)

Extension to the OWL API interfaces to represent and manipulate with proofs.

Group: dev.ikm.puli Artifact: owlapi-proof
Show documentation Show source 
Download owlapi-proof.jar (0.3.0-ikm-r1)
 

0 downloads
Artifact owlapi-proof
Group dev.ikm.puli
Version 0.3.0-ikm-r1
Last update 07. August 2024
Tags: with extension interfaces proofs manipulate represent
Organization not specified
URL Not specified
License The Apache Software License, Version 2.0
Dependencies amount 3
Dependencies jsr305, owlapi-api, puli,
There are maybe transitive dependencies!



Page 1 from 1 (items total 4)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy