Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

frames

  • Loading branch information...
commit 57280d715bece34bb50ef927338557e4c4dc824f 1 parent 0564a37
@cmungall cmungall authored
Showing with 26 additions and 3 deletions.
  1. +5 −3 owl2_manchester_parser.pl
  2. +21 −0 owl2_manchester_parser.plt
View
8 owl2_manchester_parser.pl
@@ -89,18 +89,20 @@
process_slot_value(disjointWith,V,IRI,objectProperty,O,Ax) :-
!,
expand_curie(V,O,VX),
- Ax =.. [disjointProperties,[IRI,VX]].
+ Ax = disjointProperties([IRI,VX]).
process_slot_value(inverseOf,V,IRI,_,O,Ax) :-
!,
expand_curie(V,O,VX),
- Ax =.. [inverseProperties,IRI,VX].
+ Ax = inverseProperties(IRI,VX).
process_slot_value(S,V,IRI,T,O,Ax) :-
writeln(eh(S,T)),
expand_curie(V,O,VX),
Ax =.. [S,IRI,VX].
expand_curie(Name,O-_NSL,IRI) :-
- concat_atom([O,'#',Name],IRI). % TODO
+ concat_atom([O,'#',Name],IRI),
+ !. % TODO
+expand_curie(X,_,X).
slot_predicate(S,P) :-
sub_atom(S,0,1,_,C1),
View
21 owl2_manchester_parser.plt
@@ -3,6 +3,27 @@
:- use_module(owl2_model).
:- use_module(owl2_manchester_parser).
+:- begin_tests(frame,[]).
+
+:- style_check(-atom).
+
+tf('Class: foo').
+tf('
+ Class: foo
+ SubClassOf: bar').
+
+
+
+test(frame) :-
+ forall(tf(A),
+ ( owl_parse_manchester_frame(A,X),
+ writeln(X))).
+
+
+
+
+:- end_tests(frame).
+
:- begin_tests(expr,[]).
:- style_check(-atom).
Please sign in to comment.
Something went wrong with that request. Please try again.