vumix/commit

annotation time

authorMichiel Hildebrand
Fri Mar 30 17:02:40 2012 +0200
committerMichiel Hildebrand
Fri Mar 30 17:02:40 2012 +0200
commit30ebb947153148281569d006b82ca4c16b48e681
treeee0f2cc71e2c40434815c6ed86f543d665bee6e4
parentc64d36346e1cb02aaa9f5043d919acc65c8b8f8d
Diff style: patch stat
diff --git a/lib/experiment.pl b/lib/experiment.pl
index a8a7de0..a96f9b2 100644
--- a/lib/experiment.pl
+++ b/lib/experiment.pl
@@ -9,6 +9,16 @@
 :- rdf_meta
 	target_annotation(r,+,-).
 
+time_table(User) :-
+	(   user_annotated_target(User, Target),
+	    rdf(Session, opmv:used, Target),
+	    rdf(Session, opmv:wasStartedAt, literal(StartTime)),
+	    rdf(Session, opmv:wasEndedAt, literal(EndTime)),
+	    format('~w ~w ~n', [StartTime, EndTime]),
+	    fail
+	;   true
+	).
+
 average_table(User) :-
 	(   user_annotated_target(User, Target),
 	    findall(A, target_annotation(Target, User, A), As0),