FIx translation of different individuals

ontodev · Aug 29, 2024 · 41dfe5a · 41dfe5a
1 parent fccd94d
commit 41dfe5a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ofn_2_ldtab/axiom_translation.rs b/src/ofn_2_ldtab/axiom_translation.rs
@@ -302,7 +302,7 @@ pub fn translate_different_individuals_axiom(v: &Value) -> Value {
                             "graph":"graph", //TODO
                             "subject":blank_node,
                             "predicate":"owl:AllDifferent", 
-                            "object": {"owl:members":[{"object":operands, "datatype":"_JSON"}]}, //TODO remove datatype
+                            "object": {"owl:distinctMembers":[{"object":operands, "datatype":"_JSON"}],"rdf:type":[{"datatype":"_IRI","object":"owl:AllDifferent"}]},
                             "datatype":"_JSON",
                             "annotation":annotation});
         triple