Pages that link to "Item:Q5086207"
From MaRDI portal
The following pages link to A Set-Theoretic Approach to ABox Reasoning Services (Q5086207):
Displaying 4 items.
- Adding the power-set to description logics (Q1989328) (← 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)
- An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$ (Q6104768) (← links)