The following pages link to (Q4386924):
Displayed 23 items.
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching (Q352943) (← links)
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) (Q352965) (← links)
- Complexity of hybrid logics over transitive frames (Q631089) (← links)
- A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic (Q859844) (← links)
- A refined architecture for terminological systems: Terminology = Schema + Views (Q1128645) (← links)
- An epistemic operator for description logics (Q1128772) (← links)
- Verification of knowledge bases based on containment checking (Q1274279) (← links)
- Combining Horn rules and description logics in CARIN (Q1274681) (← links)
- An alternative proof method for possibilistic logic and its application to terminological logics (Q1346240) (← links)
- Cardinality restrictions on concepts (Q1391904) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- Preprocessing of intractable problems (Q1854544) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- A PSpace algorithm for acyclic epistemic DL \(\mathcal{ALCS}5_m\) (Q2323444) (← links)
- On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions (Q2341257) (← links)
- Reasoning on UML class diagrams (Q2457652) (← links)
- A tableau decision procedure for \(\mathcal{SHOIQ}\) (Q2462647) (← links)
- A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$ (Q3010368) (← links)
- Description Logics (Q3638996) (← links)
- Ontologies and Databases: The DL-Lite Approach (Q3639004) (← links)
- Towards Contingent World Descriptions in Description Logics (Q5006820) (← links)
- A Fine-Grained Approach to Resolving Unsatisfiable Ontologies (Q5445719) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)