We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 0a95cc7 commit 278d3c5Copy full SHA for 278d3c5
owl2_export_rdf.plt
@@ -11,7 +11,7 @@ roundtrip(F):-
11
load_axioms(F),
12
atom_concat(F,'.tmp',TempF),
13
save_axioms(TempF,owl),
14
- retract_all_axioms/0,
+ retract_all_axioms,
15
load_axioms(TempF,owl).
16
17
test(loaded) :-
0 commit comments