A Set-Theoretic Approach to ABox Reasoning Services

DOI10.1007/978-3-319-61252-2_7zbMath1490.68211OpenAlexW2624768566WikidataQ124544773 ScholiaQ124544773MaRDI QIDQ5086207

Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria

Publication date: 1 July 2022

Published in: Rules and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-61252-2_7

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$, Adding the power-set to description logics, A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×, An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆