© 1996-2019

8 Conclusion and future work

Conclusion and future work [Slide 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 diļ¬€erent ATP
  • Integration of Description Logic axiom system with Interval Temporal Algebra axiom system

Contact | Home | ITL home | Course | Proofs | Algebra | FL