Parallelizing Tableaux-Based Description Logic Reasoning Export

@incollection{citeulike:5791985, abstract = {Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL tableau calculus have been invented over the last decades. None of them aimed at parallelizing the tableau algorithm itself. This paper describes our approach for concurrent computation of the nondeterministic choices inherent to the standard tableau procedure. We discuss how this interrelates with the well-known optimization techniques and present first promising performance results when benchmarking our prototypical reasoner UUPR (Ulm University Parallel Reasoner) with a selection of established DL systems.}, author = {Liebig, Thorsten and M\"{u}ller, Felix}, citeulike-article-id = {5791985}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/978-3-540-76890-6_41}, citeulike-linkout-1 = {http://www.springerlink.com/content/6326156250h20826}, doi = {10.1007/978-3-540-76890-6_41}, journal = {On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops}, keywords = {ontology}, pages = {1135--1144}, posted-at = {2009-09-16 15:55:33}, priority = {2}, title = {Parallelizing Tableaux-Based Description Logic Reasoning}, url = {http://dx.doi.org/10.1007/978-3-540-76890-6_41}, year = {2007} }

TY - CHAP ID - citeulike:5791985 L3 - citeulike-article-id:5791985 N2 - Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL tableau calculus have been invented over the last decades. None of them aimed at parallelizing the tableau algorithm itself. This paper describes our approach for concurrent computation of the nondeterministic choices inherent to the standard tableau procedure. We discuss how this interrelates with the well-known optimization techniques and present first promising performance results when benchmarking our prototypical reasoner UUPR (Ulm University Parallel Reasoner) with a selection of established DL systems. JF - On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops EP - 1144 TI - Parallelizing Tableaux-Based Description Logic Reasoning SP - 1135 KW - ontology AU - Liebig, Thorsten AU - Müller, Felix PY - 2007/// UR - http://dx.doi.org/10.1007/978-3-540-76890-6_41 ER -