STRL STRL
© STRL 1996-2009







8 Conclusion and future work

  • An interval temporal algebraic encoding of PITL in Prover9 results in quite a useful tool
  • need to reduce the axioms of ITA
  • replace some of the more complex axioms of ITA by simpler ones,
  • Use a different ATP
  • Integration of Description Logic axiom system with Interval Temporal Algebra axiom system







August 27, 2009
Home | Training | Research | People | About | News | ITL home