{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T14:24:24Z","timestamp":1777645464778,"version":"3.51.4"},"reference-count":0,"publisher":"SAGE Publications","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["FI"],"published-print":{"date-parts":[[2021,2,9]]},"abstract":"<jats:p>We present a KE-tableau-based implementation of a reasoner for a decidable fragment of (stratified) set theory expressing the description logic \ud835\udc9f\u2112\u23294LQSR,\u00d7\u232a(D) (\ud835\udc9f\u2112D4,\u00d7, for short). Our application solves the main TBox and ABox reasoning problems for \ud835\udc9f\u2112D4,\u00d7. In particular, it solves the consistency and the classification problems for \ud835\udc9f\u2112D4,\u00d7-knowledge bases represented in set-theoretic terms, and a generalization of the Conjunctive Query Answering problem in which conjunctive queries with variables of three sorts are admitted. The reasoner, which extends and improves a previous version, is implemented in C++. It supports \ud835\udc9f\u2112D4,\u00d7-knowledge bases serialized in the OWL\/XML format and it admits also rules expressed in SWRL (Semantic Web Rule Language).<\/jats:p>","DOI":"10.3233\/fi-2021-2009","type":"journal-article","created":{"date-parts":[[2021,2,9]],"date-time":"2021-02-09T14:54:36Z","timestamp":1612882476000},"page":"315-346","source":"Crossref","is-referenced-by-count":4,"title":["An Improved Set-based Reasoner for the Description Logic \ud835\udc9f\u2112D4,\u00d7\u2020"],"prefix":"10.1177","volume":"178","author":[{"given":"Domenico","family":"Cantone","sequence":"first","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Catania, Italy. domenico.cantone@unict.it, nicolosi@dmi.unict.it, santamaria@dmi.unict.it"}]},{"given":"Marianna","family":"Nicolosi-Asmundo","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Catania, Italy. domenico.cantone@unict.it, nicolosi@dmi.unict.it, santamaria@dmi.unict.it"}]},{"given":"Daniele Francesco","family":"Santamaria","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Catania, Italy. domenico.cantone@unict.it, nicolosi@dmi.unict.it, santamaria@dmi.unict.it"}]}],"member":"179","container-title":["Fundamenta Informaticae"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/FI-2021-2009","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T06:32:17Z","timestamp":1777444337000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/FI-2021-2009"}},"subtitle":[],"editor":[{"given":"Paolo","family":"Felli","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[]},{"given":"Maurizio","family":"Proietti","sequence":"additional","affiliation":[]}],"short-title":[],"issued":{"date-parts":[[2021,2,9]]},"references-count":0,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.3233\/fi-2021-2009","relation":{},"ISSN":["0169-2968","1875-8681"],"issn-type":[{"value":"0169-2968","type":"print"},{"value":"1875-8681","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,2,9]]}}}