output: typo fix

adrianomelo · Jan 21, 2015 · 58eac7e · 58eac7e
1 parent 7d4e6eb
commit 58eac7e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/owl2_output.pl b/owl2_output.pl
@@ -24,8 +24,8 @@
 output_axioms :-
     forall((subclassof(A,B), not(indirect(A,B)), not(indirect(B,A))), write_subclassof(A, B)),
     forall((subclassof(A,B), compare(<,A,B), (subclassof(B,A) ; indirect(B,A))), write_equivalentclasses(A, B)).
-;output_axioms :-
-;    forall((subclassof(A,B), not((subclassof(A,C), subclassof(C,B)))), write_subclassof(A, B)).
+%output_axioms :-
+%    forall((subclassof(A,B), not((subclassof(A,C), subclassof(C,B)))), write_subclassof(A, B)).
 
 write_subclassof(A, B) :-
     class(A, UriA),