Faster Ontology Reasoning with Typed Propositionalization

Abstract

Ontology reasoning is an important but complex problem allowing the discovery of new knowledge and the query and maintenance of complex data. For decision making in real-time systems, faster approach such as decision tables are often used. In this paper, we propose a technique to perform efficient ontology reasoning with decision tables. Our experiments show a significant improvement of the reasoning time compared to a naive approach.