Permalink
Browse files

frames

  • Loading branch information...
1 parent 39f8107 commit fccff7c8f27baf7a8b8e139f71f28e4c24b6e69e @cmungall cmungall committed Jun 28, 2010
Showing with 10 additions and 3 deletions.
  1. +10 −3 owl2_manchester_parser.pl
View
@@ -49,6 +49,11 @@
process_frames(Fs,O,Axioms2),
append(Axioms1,Axioms2,Axioms).
+%% process_frame(+FrameParseTree,Ont,?Axioms)
+%
+% translate the parse tree for a frame into axioms and declarations
+%
+% e.g. frame(class, foo, [subClassOf=[bar]]),
process_frame(frame(Type,Name,Props),O,[Unary|Axioms]) :-
!,
expand_curie(Name,O,IRI),
@@ -69,6 +74,7 @@
process_characteristic(C,IRI,Type,O,Axiom)),
Axioms).
+% e.g. subClassOf=[Super1, ...]
process_property(P=VL,IRI,Type,O,Axioms) :-
!,
findall(Axiom,(member(V,VL),
@@ -81,8 +87,8 @@
%writeln(u=Unary),
%assert_axiom(Unary).
-process_slot_value(S,V,IRI,T,O,Ax) :-
- process_slot_value(S,V,IRI,T,O,Ax).
+%process_slot_value(S,V,IRI,T,O,Ax) :-
+% process_slot_value(S,V,IRI,T,O,Ax).
%writeln(ax=Ax),
%assert_axiom(Ax).
@@ -95,7 +101,8 @@
expand_curie(V,O,VX),
Ax = inverseProperties(IRI,VX).
process_slot_value(S,V,IRI,T,O,Ax) :-
- writeln(eh(S,T)),
+ %writeln(eh(S,T)),
+ format(user_error,'guessing for: ~w~n',[S-T]),
expand_curie(V,O,VX),
Ax =.. [S,IRI,VX].

0 comments on commit fccff7c

Please sign in to comment.