Pages that link to "Item:Q4260087"
From MaRDI portal
The following pages link to A description logic with transitive and inverse roles and role hierarchies (Q4260087):
Displaying 28 items.
- A bi-intuitionistic modal logic: foundations and automation (Q299186) (← links)
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching (Q352943) (← links)
- Consistency reasoning in lattice-based fuzzy description logics (Q465592) (← links)
- Lightweight hybrid tableaux (Q631086) (← links)
- A tableau algorithm for description logics with concrete domains and general TBoxes (Q877890) (← links)
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) (Q946573) (← links)
- Reasoning within expressive fuzzy rough description logics (Q1043323) (← links)
- Terminating tableau systems for hybrid logic with difference and converse (Q1047795) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- A loop-free decision procedure for modal propositional logics K4, S4 and S5 (Q2271187) (← links)
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- Extended decision procedure for a fragment of HL with binders (Q2351423) (← links)
- Reasoning with nominal schemas through absorption (Q2352498) (← links)
- Reasoning within intuitionistic fuzzy rough description logics (Q2390356) (← links)
- Optimizing terminological reasoning for expressive description logics (Q2462645) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- A Connection Calculus for the Description Logic $$ {\mathcal{ALC}} $$ (Q2814524) (← links)
- An efficient approach to nominal equalities in hybrid logic tableaux (Q2901189) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (Q3454121) (← links)
- Mapping Properties of Heterogeneous Ontologies (Q3534659) (← links)
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (Q3541703) (← links)
- Ontology Integration Using ε-Connections (Q3631364) (← links)
- Description Logics (Q3638996) (← links)
- Ontologies and Databases: The DL-Lite Approach (Q3639004) (← links)
- Conservative Extensions in Horn Description Logics with Inverse Roles (Q5114785) (← links)
- Cardinality Restrictions Within Description Logic Connection Calculi (Q6104758) (← links)