In this paper we present two optimizations that improve the performances of the TRILL reasoners. The first one consists into identifying the fragment of the KB.

Oct 19, 2021 · One of the foremost reasoning services for knowledge bases is finding all the justifications for a query. This is useful for debugging purpose ...

This is useful for debugging purpose and for coping with uncertainty. Among Description Logics (DLs) reasoners, the tableau algorithm is one of the most used.

This is useful for debugging purpose and for coping with uncertainty. Among Description Logics (DLs) reasoners, the tableau algorithm is one of the most used.

Tableau algorithms are currently the most widely-used and empirically the fastest algorithms for reasoning in expressive Description Logics, including the ...

Optimizing a tableau reasoner and its implementation in Prolog · List of references · Publications that cite this publication.

Optimizing a Tableau Reasoner and Its Implementation in Prolog. https://doi.org/10.2139/ssrn.3945445. Journal: SSRN Electronic Journal, 2021. Publisher ...

Prolog non-determinism is used for easily handling non-deterministic expansion rules that produce more than one tableau. All the systems are able to handle ...

the implementation of a Prolog reasoner for the DL ALCN. This work was the basis of [8], that considered ALC and improved [15] by implementing heuristic.

Optimizing a tableau reasoner and its implementation in Prolog. Authors ... Learning of human-like algebraic reasoning using deep feedforward neural networks.