EXPTIME tableaux with global caching for description logics with transitive roles, inverse roles and role hierarchies

Citation

Gore, R & Nguyen, L 2007, 'EXPTIME tableaux with global caching for description logics with transitive roles, inverse roles and role hierarchies', International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2007), ed. Olivetti, Nicola, Springer, Berlin, pp. 133-148.

Year

2007

Fields of Research

  • Mathematical Logic, Set Theory, Lattices And Universal Algebra
  • Computational Logic And Formal Languages
  • Computation Theory And Mathematics Not Elsewhere Classified

Updated:  17 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers