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.
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 owlapi-api, jsr305, puli,
There are maybe transitive dependencies!
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 owlapi-api, jsr305, 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.
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 owlapi-api, jsr305, puli,
There are maybe transitive dependencies!
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 owlapi-api, jsr305, 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.
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 owlapi-api, jsr305, puli,
There are maybe transitive dependencies!
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 owlapi-api, jsr305, 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.
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 owlapi-api, jsr305, puli,
There are maybe transitive dependencies!
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 owlapi-api, jsr305, puli,
There are maybe transitive dependencies!
Page 1 from 1 (items total 4)