TY - GEN
T1 - A workbench for anytime reasoning by ontology approximation
T2 - With a case study on instance retrieval
AU - Tagni, Gaston
AU - Schlobach, Stefan
AU - Ten Teije, Annette
AU - Van Harmelen, Frank
AU - Karafotias, Giorgios
PY - 2010
Y1 - 2010
N2 - Reasoning is computationally expensive. This is especially true for reasoning on the Web, where data sets are very large and often described by complex terminologies. One way to reduce this complexity is through the use of approximate reasoning methods which trade one computational property (eg. quality of answers) for others, such as time and memory. Previous research into approximation on the Semantic Web has been rather ad-hoc, and we propose a framework for systematically studying such methods. We developed a workbench which allows the structured combination of different algorithms for approximation, reasoning and measuring in one single framework. As a case-study we investigate an incremental method for instance retrieval through ontology approximation, and we use our workbench to study the computational behaviour of several approximation strategies.
AB - Reasoning is computationally expensive. This is especially true for reasoning on the Web, where data sets are very large and often described by complex terminologies. One way to reduce this complexity is through the use of approximate reasoning methods which trade one computational property (eg. quality of answers) for others, such as time and memory. Previous research into approximation on the Semantic Web has been rather ad-hoc, and we propose a framework for systematically studying such methods. We developed a workbench which allows the structured combination of different algorithms for approximation, reasoning and measuring in one single framework. As a case-study we investigate an incremental method for instance retrieval through ontology approximation, and we use our workbench to study the computational behaviour of several approximation strategies.
KW - Anytime Reasoning
KW - Approximate Reasoning
KW - Description Logics
KW - Ontologies
KW - Semantic Web
UR - http://www.scopus.com/inward/record.url?scp=78650318346&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=78650318346&partnerID=8YFLogxK
U2 - 10.3233/978-1-60750-676-8-328
DO - 10.3233/978-1-60750-676-8-328
M3 - Conference contribution
AN - SCOPUS:78650318346
SN - 9781607506751
VL - 222
T3 - Frontiers in Artificial Intelligence and Applications
SP - 328
EP - 340
BT - STAIRS 2010 Proceedings of the Fifth Starting AI Researchers' Symposium
PB - IOS Press
ER -