Algebraic tableau reasoning for the description logic SHOQ

13 years 9 months ago

Download users.encs.concordia.ca

Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or even classes. Some of these cardinalities are speciﬁed explicitly but quite a few are entailed and need to be discovered by reasoning procedures. Due to the description logic (DL) foundation of OWL those reasoning services are oﬀered by DL reasoners which employ reasoning procedures that are arithmetically uninformed and substitute arithmetic reasoning by “don’t know” non-determinism in order to cover all possible cases. This lack of information about arithmetic problems dramatically degrades the performance of DL reasoners in many cases, especially with ontologies relying on the use of nominals (O) and qualiﬁed cardinality restrictions (Q). In this article we present a new algebraic tableau reasoning procedure for the DL SHOQ that combines tableau procedures and algebraic methods, namely linear i...

Jocelyne Faddoul, Volker Haarslev

Real-time Traffic