This is a preliminary experience report about designing and implementing a tableaux-based DL reasoner suitable to run on a mobile device. For now the.
The approach is based on the well-known tableaux algorithm which is used in most modern DL reasoning systems and consists of an array based index model in ...
A Tableaux-based Mobile DL Reasoner - An Experience Report. 14 years 12 days ago. A Tableaux-based Mobile DL Reasoner - An Experience Report · Download sunsite ...
This page uses Google maps to render the traffic of A Tableaux-based Mobile DL Reasoner - An Experience Report on Sciweavers.
Jun 12, 2015 · In this paper we introduce the framework of a competition for reasoners on mobile devices, based on the OWL Reasoner Evaluation, with the main ...
In this paper we introduce the framework of a competition for reasoners on mobile devices, based on the OWL Reasoner Evaluation, with the main goal of promoting ...
In this paper, we show that the most popular current available Description Logics (DL) reasoners can be used on Android-based devices.
A Tableaux-based Mobile DL Reasoner-An Experience Report. F Müller, M Hanselmann, T Liebig, O Noppens. Description Logics, 2006. 7, 2006. Conditional Flow ...
Tableau algorithm for ALCQ. This is a tableau-based reasoning algorithm for ALCQ description logic, implemented in rust. For information on ALCQ and the ...
Missing: Mobile Experience
In this paper, we show that the most popular current available Description Logics (DL) reasoners can be used on Android-based devices.