getPredicate_siblings() {
+ return predicate_siblings;
+ }
+
+ @Override
+ public String toString() {
+ return "implementation.Path{" +
+ "subject_siblings=" + subject_siblings +
+ ", predicate_siblings=" + predicate_siblings +
+ ", object_siblings=" + object_siblings +
+ ", subject_index=" + subject_index +
+ ", predicate_index=" + predicate_index +
+ ", object_index=" + object_index +
+ '}';
+ }
+}
diff --git a/webprotege-attestation-lib/src/main/java/ch/unifr/digits/webprotege/attestation/server/compression/tree/PredicateTree.java b/webprotege-attestation-lib/src/main/java/ch/unifr/digits/webprotege/attestation/server/compression/tree/PredicateTree.java
new file mode 100644
index 0000000000..afefccd052
--- /dev/null
+++ b/webprotege-attestation-lib/src/main/java/ch/unifr/digits/webprotege/attestation/server/compression/tree/PredicateTree.java
@@ -0,0 +1,60 @@
+package ch.unifr.digits.webprotege.attestation.server.compression.tree;
+
+import org.apache.commons.codec.digest.DigestUtils;
+
+public class PredicateTree {
+ private String predicate;
+ private String children_hash;
+ private ObjectList object_list;
+
+ public PredicateTree(String predicate, ObjectList object_list) {
+ this.predicate = predicate;
+ this.children_hash = object_list.getDigest();
+ this.object_list = object_list;
+ }
+
+ public void updateChildrenHash() {
+ children_hash = object_list.getDigest();
+ }
+
+ public String getDigest() {
+ return DigestUtils.sha256Hex(predicate+children_hash);
+ }
+
+ public String getPredicate() {
+ return predicate;
+ }
+
+ public void setPredicate(String predicate) {
+ this.predicate = predicate;
+ }
+
+ public String getChildren_hash() {
+ return children_hash;
+ }
+
+ public void setChildren_hash(String children_hash) {
+ this.children_hash = children_hash;
+ }
+
+ public ObjectList getObject_list() {
+ return object_list;
+ }
+
+ public void setObject_list(ObjectList object_list) {
+ this.object_list = object_list;
+ }
+
+ private String getIndentationString(int nb_indents) {
+ StringBuilder sb = new StringBuilder();
+
+ sb.append("\t".repeat(Math.max(0, nb_indents)));
+
+ return sb.toString();
+ }
+
+ public void print(int nb_indents, int index) {
+ System.out.println(getIndentationString(nb_indents) + "Predicate " + index + ": (" + predicate + ", " + children_hash + ")");
+ object_list.print(nb_indents+2);
+ }
+}
diff --git a/webprotege-attestation-lib/src/main/java/ch/unifr/digits/webprotege/attestation/server/compression/tree/RDFTriple.java b/webprotege-attestation-lib/src/main/java/ch/unifr/digits/webprotege/attestation/server/compression/tree/RDFTriple.java
new file mode 100644
index 0000000000..dd4e4b7021
--- /dev/null
+++ b/webprotege-attestation-lib/src/main/java/ch/unifr/digits/webprotege/attestation/server/compression/tree/RDFTriple.java
@@ -0,0 +1,46 @@
+package ch.unifr.digits.webprotege.attestation.server.compression.tree;
+
+public class RDFTriple {
+ private String subject;
+ private String predicate;
+ private String object;
+
+ public RDFTriple(String subject, String predicate, String object) {
+ this.subject = subject;
+ this.predicate = predicate;
+ this.object = object;
+ }
+
+ public String getSubject() {
+ return subject;
+ }
+
+ public void setSubject(String subject) {
+ this.subject = subject;
+ }
+
+ public String getPredicate() {
+ return predicate;
+ }
+
+ public void setPredicate(String predicate) {
+ this.predicate = predicate;
+ }
+
+ public String getObject() {
+ return object;
+ }
+
+ public void setObject(String object) {
+ this.object = object;
+ }
+
+ @Override
+ public String toString() {
+ return "implementation.RDFTriple{" +
+ "subject='" + subject + '\'' +
+ ", predicate='" + predicate + '\'' +
+ ", object='" + object + '\'' +
+ '}';
+ }
+}
diff --git a/webprotege-attestation-lib/src/main/java/ch/unifr/digits/webprotege/attestation/server/contracts/ChangeTracking.java b/webprotege-attestation-lib/src/main/java/ch/unifr/digits/webprotege/attestation/server/contracts/ChangeTracking.java
new file mode 100644
index 0000000000..ad499961da
--- /dev/null
+++ b/webprotege-attestation-lib/src/main/java/ch/unifr/digits/webprotege/attestation/server/contracts/ChangeTracking.java
@@ -0,0 +1,132 @@
+package ch.unifr.digits.webprotege.attestation.server.contracts;
+
+import java.math.BigInteger;
+import java.util.Arrays;
+import java.util.Collections;
+import java.util.List;
+import java.util.concurrent.Callable;
+import org.web3j.abi.TypeReference;
+import org.web3j.abi.datatypes.Address;
+import org.web3j.abi.datatypes.Bool;
+import org.web3j.abi.datatypes.Function;
+import org.web3j.abi.datatypes.Type;
+import org.web3j.abi.datatypes.Utf8String;
+import org.web3j.abi.datatypes.generated.Uint256;
+import org.web3j.crypto.Credentials;
+import org.web3j.protocol.Web3j;
+import org.web3j.protocol.core.RemoteFunctionCall;
+import org.web3j.protocol.core.methods.response.TransactionReceipt;
+import org.web3j.tuples.generated.Tuple4;
+import org.web3j.tx.Contract;
+import org.web3j.tx.TransactionManager;
+import org.web3j.tx.gas.ContractGasProvider;
+
+/**
+ * Auto generated code.
+ *
Do not modify!
+ *
Please use the web3j command line tools,
+ * or the org.web3j.codegen.SolidityFunctionWrapperGenerator in the
+ * codegen module to update.
+ *
+ *
Generated with web3j version 4.7.0.
+ */
+@SuppressWarnings("rawtypes")
+public class ChangeTracking extends Contract {
+ public static final String BINARY = "Bin file was not provided";
+
+ public static final String FUNC_ATTEST = "attest";
+
+ public static final String FUNC_VERIFY = "verify";
+
+ public static final String FUNC_VERIFYENTITY = "verifyEntity";
+
+ @Deprecated
+ protected ChangeTracking(String contractAddress, Web3j web3j, Credentials credentials, BigInteger gasPrice, BigInteger gasLimit) {
+ super(BINARY, contractAddress, web3j, credentials, gasPrice, gasLimit);
+ }
+
+ protected ChangeTracking(String contractAddress, Web3j web3j, Credentials credentials, ContractGasProvider contractGasProvider) {
+ super(BINARY, contractAddress, web3j, credentials, contractGasProvider);
+ }
+
+ @Deprecated
+ protected ChangeTracking(String contractAddress, Web3j web3j, TransactionManager transactionManager, BigInteger gasPrice, BigInteger gasLimit) {
+ super(BINARY, contractAddress, web3j, transactionManager, gasPrice, gasLimit);
+ }
+
+ protected ChangeTracking(String contractAddress, Web3j web3j, TransactionManager transactionManager, ContractGasProvider contractGasProvider) {
+ super(BINARY, contractAddress, web3j, transactionManager, contractGasProvider);
+ }
+
+ public RemoteFunctionCall attest(String ontologyIri, String versionIri, String name, String hash, List classHashes) {
+ final Function function = new Function(
+ FUNC_ATTEST,
+ Arrays.asList(new org.web3j.abi.datatypes.Utf8String(ontologyIri),
+ new org.web3j.abi.datatypes.Utf8String(versionIri),
+ new org.web3j.abi.datatypes.Utf8String(name),
+ new org.web3j.abi.datatypes.Utf8String(hash),
+ new org.web3j.abi.datatypes.DynamicArray(
+ org.web3j.abi.datatypes.generated.Int256.class,
+ org.web3j.abi.Utils.typeMap(classHashes, org.web3j.abi.datatypes.generated.Int256.class))),
+ Collections.>emptyList());
+ return executeRemoteCallTransaction(function);
+ }
+
+ public RemoteFunctionCall> verify(String ontologyIri, String versionIri, String hash) {
+ final Function function = new Function(FUNC_VERIFY,
+ Arrays.asList(new org.web3j.abi.datatypes.Utf8String(ontologyIri),
+ new org.web3j.abi.datatypes.Utf8String(versionIri),
+ new org.web3j.abi.datatypes.Utf8String(hash)),
+ Arrays.>asList(new TypeReference() {}, new TypeReference() {}, new TypeReference() {}, new TypeReference() {}));
+ return new RemoteFunctionCall>(function,
+ new Callable>() {
+ @Override
+ public Tuple4 call() throws Exception {
+ List results = executeCallMultipleValueReturn(function);
+ return new Tuple4(
+ (Boolean) results.get(0).getValue(),
+ (String) results.get(1).getValue(),
+ (String) results.get(2).getValue(),
+ (BigInteger) results.get(3).getValue());
+ }
+ });
+ }
+
+ public RemoteFunctionCall> verifyEntity(String ontologyIri, String versionIri, BigInteger entityHash) {
+ final Function function = new Function(FUNC_VERIFYENTITY,
+ Arrays.asList(new org.web3j.abi.datatypes.Utf8String(ontologyIri),
+ new org.web3j.abi.datatypes.Utf8String(versionIri),
+ new org.web3j.abi.datatypes.generated.Int256(entityHash)),
+ Arrays.>asList(new TypeReference() {}, new TypeReference() {}, new TypeReference() {}, new TypeReference() {}));
+ return new RemoteFunctionCall>(function,
+ new Callable>() {
+ @Override
+ public Tuple4 call() throws Exception {
+ List results = executeCallMultipleValueReturn(function);
+ return new Tuple4