Permalink
Browse files

vars

  • Loading branch information...
1 parent acd5701 commit 30dd3b04116dd74d7eefda6be0f0888a93c80159 @cmungall cmungall committed Nov 27, 2010
Showing with 2 additions and 0 deletions.
  1. +2 −0 owl2_util.pl
View
@@ -257,6 +257,7 @@
!.
use_label_as_IRI(X,X).
+get_IRI_from_label(X,X) :- var(X),!.
get_IRI_from_label(X,IRI) :- labelAnnotation_value(IRI,X),!.
get_IRI_from_label(X,X).
@@ -312,6 +313,7 @@
%% map_IRIs(+MapGoal,+AxiomIn,?AxiomOut)
:- module_transparent map_IRIs/3.
+map_IRIs(_,X,X) :- var(X),!.
map_IRIs(_,[],[]) :- !.
map_IRIs(G,[X|Xs],[X2|X2s]) :-
!,

0 comments on commit 30dd3b0

Please sign in to comment.