STRL STRL
© STRL 1996-2008







8 Conclusion and future work

Conclusion and future work (28)

  • 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







December 5, 2008
Home | Training | Research | People | About | News | ITL home