Daniele Francesco Santamaria

Available identifiers

zbMath Open santamaria.daniele-francescoDBLP163/2143WikidataQ61956403 ScholiaQ61956403MaRDI QIDQ2360183

List of research outcomes

Publication	Date of Publication	Type
An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$	2023-06-28	Paper
A Set-Theoretic Approach to ABox Reasoning Services	2022-07-01	Paper
An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆	2021-06-04	Paper
A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×	2021-05-20	Paper
Web ontology representation and reasoning via fragments of set theory	2017-06-26	Paper

Research outcomes over time

This page was built for person: Daniele Francesco Santamaria