IVML  
  about | r&d | publications | courses | people | links
   

D. Trivela, G. Stoilos, A. Chortaras, G. Stamou
Optimising Resolution-Based Rewriting Algorithms for DL Ontologies
International Workshop on Description Logics (DL 2013), Ulm, Germany, July 23-26, 2013
ABSTRACT
Resolution-based rewriting algorithms have been widely used for computing disjunctive datalog rewritings for DL TBoxes, and recently, also for computing datalog rewriting for queries over TBoxes expressed in DL-Lite and ELHI. Although such algorithms are general enough to support a wide variety of (even very complex) DLs, this generality comes with performance prices. In the current paper we present a resolution-based (query) rewriting algorithm for ELHI that is based on a hyper-resolution like inference rule and which avoids performing many redundant inferences. We have implemented the algorithm and have conducted an experimental evaluation using large and complex ontologies.
23 July , 2013
D. Trivela, G. Stoilos, A. Chortaras, G. Stamou, "Optimising Resolution-Based Rewriting Algorithms for DL Ontologies", International Workshop on Description Logics (DL 2013), Ulm, Germany, July 23-26, 2013
[ save PDF] [ BibTex] [ Print] [ Back]

© 00 The Image, Video and Multimedia Systems Laboratory - v1.12