# $Id: lc-audit.n3,v 1.1 2004/09/09 14:52:30 connolly Exp $
# copied from http://www.w3.org/2001/sw/WebOnt/lc-audit.n3

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.

@prefix m:   <http://www.w3.org/2000/10/swap/pim/email#> .

@prefix lcr: <http://www.w3.org/2001/tag/2004lc/lc-comment-rules#>.
@prefix lca: <http://www.w3.org/2001/tag/2004lc/lc-audit#>.
@prefix    : <http://www.w3.org/2001/tag/2004lc/lc-audit#>.


@forAll :OK, :CLOSED, :M, :N, :WHAT, :WHEN, :YMD, :WHEN2, :WHO.



#{
#  (<webont-lc-comments.n3>.log:semantics
#   <lc-comment-rules.n3>.log:semantics).log:conjunction log:conclusion ?KB
#} => { ?KB a :IssueKB }.

{  <lc-threads.n3> log:semantics ?KB } => { ?KB a :IssueKB }.

{
 [] a :IssueKB;
  log:includes {
    :M m:subject :WHAT;
      m:date :WHEN;
      m:date_iso :YMD;
      m:to [ m:mbox <mailto:public-webarch-comments@w3.org> ]
  };
  log:notIncludes { :M lcr:threadRoot [] }.
 :YMD str:notLessThan "2004-08-16".
}
  => { :M a :RootlessMessage; m:subject :WHAT; m:date :WHEN }.


{
 [] a :IssueKB;
  log:includes {
    :M m:subject :WHAT;
      m:date :WHEN;
      m:to [ m:mbox <mailto:public-webarch-comments@w3.org> ];
      lcr:threadRoot :M
  };
  log:notIncludes { :M lcr:threadTail [] }
}
  => { :M a :RootWithNoTail; m:subject :WHAT; m:date :WHEN }.

{
  :M a :RootWithNoTail.
  :M log:notEqualTo :N.

  [] a :IssueKB;
   log:includes {
    :N lcr:threadRoot :M;
      m:date :WHEN;
      m:from [ m:phrase :WHO ]
   }.
}
  => { :M :_reply (:WHO :WHEN) }.



{
 [] a :IssueKB;
  log:includes {
    :M m:subject :WHAT;
      m:date :WHEN;
      m:to [ m:mbox <mailto:public-webarch-comments@w3.org> ];
      lcr:threadRoot :M;
      lcr:threadTail [ m:date :WHEN2 ]
  };
}
  => { :M :closed :WHEN2; m:subject :WHAT; m:date :WHEN }.