Fix integration tests

psiotwo · Feb 20, 2023 · 1e7a1af · 1e7a1af
1 parent 3fa9899
commit 1e7a1af
Showing 1 changed file with 10 additions and 3 deletions.
diff --git a/docs/axioms.md b/docs/axioms.md
@@ -26,21 +26,28 @@ The `--select` option lets you specify an annotation selector to pick axioms the
 
 Remove all axioms which are deprecated, see [#988](https://github.com/ontodev/robot/issues/988):
 
-    robot axioms --input ontology-github-988.owl \
+    robot axioms --input ontology-github-988-before.owl \
       --select "owl:deprecated='true'^^xsd:boolean" \
       --operation remove \
       --output results/ontology-github-988.owl
 
 Remove all DisjointWith axioms which are deprecated:
 
-    robot axioms --input ontology-github-988-disjointclasses.owl \
+    robot axioms --input ontology-github-988-disjointclasses-before.owl \
       --select "owl:deprecated='true'^^xsd:boolean" \
       --operation remove \
       --output results/ontology-github-988-disjointclasses.owl
 
+Remove all AllDifferent axioms which are deprecated:
+
+    robot axioms --input ontology-github-988-all-different-before.owl \
+      --select "owl:deprecated='true'^^xsd:boolean" \
+      --operation remove \
+      --output results/ontology-github-988-all-different.owl
+
 Mark all axioms in an ontology as deprecated:
 
-    robot axioms --input ontology-github-988.owl \
+    robot axioms --input ontology-github-988-before.owl \
       --operation annotate \
       --annotation "owl:deprecated='true'^^xsd:boolean" \
       --output results/ontology-github-988.owl