A set-theoretic approach to ABox reasoning services

DOI10.1007/978-3-319-61252-2_7MaRDI QIDQ5086207zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Recommendations

• A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×
• An improved set-based reasoner for the description logic \(\mathcal{DL}_\mathrm{D}^{4,\times\dagger}\)
• An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$
• Web ontology representation and reasoning via fragments of set theory
• ABox abduction in the description logic \(\mathcal{ALC}\)

Cited in

(6)

• Adding the power-set to description logics
• Web ontology representation and reasoning via fragments of set theory
• ABox abduction in the description logic \(\mathcal{ALC}\)
• A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×
• An improved set-based reasoner for the description logic \(\mathcal{DL}_\mathrm{D}^{4,\times\dagger}\)
• An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$

This page was built for publication: A set-theoretic approach to ABox reasoning services

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5086207)