The following pages link to (Q3408128):
Displaying 9 items.
- Automata can show PSpace results for description logics (Q948069) (← links)
- Formally verified tableau-based reasoners for a description logic (Q2351147) (← links)
- (Q3493238) (← links)
- Ontology Integration Using ε-Connections (Q3631364) (← links)
- Ontologies and Databases: The DL-Lite Approach (Q3639004) (← links)
- Reasoning and Query Answering in Description Logics (Q4647812) (← links)
- A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case (Q4779588) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479274) (← links)
- Automated Deduction – CADE-19 (Q5900712) (← links)