Pages that link to "Item:Q4930766"
From MaRDI portal
The following pages link to ${\mathcal{ALC}_\mathcal{ALC}}$ : A Context Description Logic (Q4930766):
Displaying 7 items.
- \(\mathcal {BCDL}\): Basic constructive description logic (Q972431) (← links)
- Decidable Description Logics of Context with Rigid Roles (Q2964450) (← links)
- (Q3306924) (← links)
- (Q4539596) (← links)
- <scp>Core</scp>ALM<scp>lib</scp>: An library translated from the <scp>Component Library</scp> (Q4593060) (← links)
- RACCOON: A Connection Reasoner for the Description Logic ALC (Q4645736) (← links)
- Transforming Fuzzy Description Logic $\mathcal{ALC}_\mathcal{FL}$ into Classical Description Logic $\mathcal{ALCH}$ (Q5507388) (← links)