The following pages link to Daniele Francesco Santamaria (Q2360183):
Displaying 5 items.
- Web ontology representation and reasoning via fragments of set theory (Q2360184) (← links)
- A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,× (Q4988948) (← links)
- An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆ (Q4991928) (← links)
- A Set-Theoretic Approach to ABox Reasoning Services (Q5086207) (← links)
- An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$ (Q6104768) (← links)
