Skip navigation
The Australian National University

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

ANU Authors

Fields of Research

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

Updated:  19 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers