TY - GEN
T1 - An experimental evaluation of global caching for ALC (system description)
AU - Goré, Rajeev
AU - Postniece, Linda
PY - 2008
Y1 - 2008
N2 - Goré and Nguyen have recently given the first optimal and sound method for global caching for the description (modal) logic ALC, and various extensions. We report on an experimental evaluation for ALC plus its reflexive and reflexive-transitive extensions which compares global caching, mixed caching, unsat caching and no caching, all in a single common framework implementing a depth-first search strategy. We also evaluated a version of global caching using an unrestricted search strategy which necessarily sits outside the common framework. We conclude that global caching is an improvement over the other methods in most but not all cases.
AB - Goré and Nguyen have recently given the first optimal and sound method for global caching for the description (modal) logic ALC, and various extensions. We report on an experimental evaluation for ALC plus its reflexive and reflexive-transitive extensions which compares global caching, mixed caching, unsat caching and no caching, all in a single common framework implementing a depth-first search strategy. We also evaluated a version of global caching using an unrestricted search strategy which necessarily sits outside the common framework. We conclude that global caching is an improvement over the other methods in most but not all cases.
UR - http://www.scopus.com/inward/record.url?scp=53049093573&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-71070-7_25
DO - 10.1007/978-3-540-71070-7_25
M3 - Conference contribution
SN - 3540710698
SN - 9783540710691
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 299
EP - 305
BT - Automated Reasoning - 4th International Joint Conference, IJCAR 2008, Proceedings
T2 - 4th International Joint Conference on Automated Reasoning, IJCAR 2008
Y2 - 12 August 2008 through 15 August 2008
ER -