The following pages link to (Q4809039):
Displaying 12 items.
- \(\mathcal {BCDL}\): Basic constructive description logic (Q972431) (← links)
- Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics (Q1726275) (← links)
- The Description Logic Handbook (Q3569996) (← links)
- Practical reasoning for very expressive description logics (Q4487262) (← links)
- (Q4539598) (← links)
- (Q4576215) (← links)
- (Q4576256) (← links)
- Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆 (Q4637881) (← links)
- RACCOON: A Connection Reasoner for the Description Logic ALC (Q4645736) (← links)
- A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,× (Q4988948) (← links)
- OUP accepted manuscript (Q5894701) (← links)
- Foundations of Information and Knowledge Systems (Q5898545) (← links)