Pages that link to "Item:Q2360184"
From MaRDI portal
The following pages link to Web ontology representation and reasoning via fragments of set theory (Q2360184):
Displayed 4 items.
- The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations (Q737087) (← links)
- 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)