Ignacio Huitzil, Umberto Straccia, Carlos Bobed, Eduardo Mena and Fernando Bobillo.

The Serializable and Incremental Semantic Reasoner fuzzyDL

In Proceedings of the 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2020).

Abstract:

Serializable and incremental semantic reasoners make it easier to reason on a mobile device with limited resources, as they allow the reuse of previous inferences computed by another device without starting from scratch. This paper describes an extension of the fuzzy ontology reasoner fuzzyDL to make it the first serializable and incremental semantic reasoner.
We empirically show that the size of the serialized files is smaller than in another serializable semantic reasoner (JFact), and that there is a significant  decrease in the reasoning time.