The Serializable and Incremental Semantic Reasoner fuzzyDL

Authors :: Carlos Bobed
Ignacio Huitzil
Umberto Straccia
Fernando Bobillo
Eduardo Mena
Source :: FUZZ-IEEE, FUZZ-IEEE 2020-IEEE International Conference on Fuzzy Systems, Glasgow, UK, 19-24 July 2020, info:cnr-pdr/source/autori:Huitzil I.; Straccia U.; Bobed C.; Mena E.; Bobillo F./congresso_nome:FUZZ-IEEE 2020-IEEE International Conference on Fuzzy Systems/congresso_luogo:Glasgow, UK/congresso_data:19-24 July 2020/anno:2020/pagina_da:/pagina_a:/intervallo_pagine, Zaguán. Repositorio Digital de la Universidad de Zaragoza, instname
Publication Year :: 2020
Publisher :: 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.