Permalink
Browse files

fixed

  • Loading branch information...
1 parent de97591 commit 2275c799cac59f0a1638f9d0452b43e7188d0ea3 @cmungall cmungall committed Nov 27, 2010
Showing with 9 additions and 1 deletion.
  1. +9 −1 owl2_plsyn.pl
View
@@ -12,6 +12,7 @@
%op(950,fx,class),
op(950,fx,individual),
op(950,xfy,disjointUnion),
+ op(950,fx,class),
op(950,fx,functional),
op(950,fx,transitive),
op(950,fx,symmetric),
@@ -49,6 +50,7 @@
:- op(950,xfy,\^). % disjoint classes
+:- op(950,fx,class).
:- op(950,fx,functional).
:- op(950,fx,transitive).
:- op(950,fx,symmetric).
@@ -184,7 +186,6 @@
!,
plsyn2owl(Ax,PlAx).
-
% we can chain over a=b=c=d as equivalent/sameAs is transitive
% (note we cannot do this for different/disjoint)
plsyn2owl(A=B,sameIndividual(ECs)) :-
@@ -205,6 +206,13 @@
plsyn2owl(A or B,unionOf(ECs)) :-
!,
plsyn2owl_ec(A or B,or,ECs).
+plsyn2owl(Pl,Owl) :-
+ % Assume OwlPred is valid, translate sub-args
+ Pl=..[OwlPred|Args],
+ Args\=[],
+ !,
+ maplist(plsyn2owl,Args,Args2),
+ Owl=..[OwlPred|Args2].
plsyn2owl(X,X) :- !.

0 comments on commit 2275c79

Please sign in to comment.