Pages that link to "Item:Q4305351"
From MaRDI portal
The following pages link to Deduction in Concept Languages: from Subsumption to Instance Checking (Q4305351):
Displaying 15 items.
- Combining interval-based temporal reasoning with general TBoxes (Q814545) (← links)
- Data complexity of query answering in expressive description logics via tableaux (Q945056) (← links)
- A refined architecture for terminological systems: Terminology = Schema + Views (Q1128645) (← links)
- An epistemic operator for description logics (Q1128772) (← links)
- Consistency checking reduced to satisfiability of concepts in terminological systems (Q1380407) (← links)
- Preference-based inconsistency-tolerant query answering under existential rules (Q2093372) (← links)
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family (Q2462646) (← links)
- Adding Threshold Concepts to the Description Logic $\mathcal{EL}$ (Q2964451) (← links)
- Inconsistency-Tolerant Querying of Description Logic Knowledge Bases (Q2970304) (← links)
- DL-LINK: A CONCEPTUAL CLUSTERING ALGORITHM FOR INDEXING DESCRIPTION LOGICS KNOWLEDGE BASES (Q3016234) (← links)
- Ontologies and Databases: The DL-Lite Approach (Q3639004) (← links)
- A sequent calculus for reasoning in four-valued Description Logics (Q4610338) (← links)
- Linking Data to Ontologies (Q5445729) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)
- Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures (Q6152660) (← links)