Pages that link to "Item:Q3460382"
From MaRDI portal
The following pages link to Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures (Q3460382):
Displaying 5 items.
- Konclude (Q24402) (← links)
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) (Q2238693) (← links)
- PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner (Q3454515) (← links)
- Individual Reuse in Description Logic Reasoning (Q3541705) (← links)
- On the Saturation of YAGO (Q5747783) (← links)