2 search results - page 1 / 1 » Sound Global State Caching for ALC with Inverse Roles |
86
Voted
TABLEAUX
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability with respect to a TBox in the logic ALCI using global state caching. ...
93
Voted
DLOG
2009
14 years 7 months ago
2009
Abstract. I will begin by explaining an optimal tableau-based algorithm for checking ALC-satisfiability which uses "global caching" and which appears to work well in prac...