Pages that link to "Item:Q989170"
From MaRDI portal
The following pages link to The complexity of existential quantification in concept languages. (Q989170):
Displaying 18 items.
- Generalized satisfiability for the description logic \(\mathcal{ALC}\) (Q393137) (← links)
- The complexity of satisfiability for fragments of hybrid logic. I. (Q631087) (← links)
- Attributive concept descriptions with complements (Q749235) (← links)
- Generalized modal satisfiability (Q988571) (← links)
- A refined architecture for terminological systems: Terminology = Schema + Views (Q1128645) (← links)
- An empirical analysis of terminological representation systems (Q1332849) (← links)
- The complexity of concept languages (Q1363785) (← links)
- Consistency checking reduced to satisfiability of concepts in terminological systems (Q1380407) (← links)
- Tractable reasoning via approximation (Q1855213) (← links)
- CoLab: A hybrid knowledge representation and compilation laboratory (Q1897397) (← links)
- Complexity results for modal dependence logic (Q1956378) (← links)
- Computing the least common subsumer w.r.t. a background terminology (Q2372193) (← links)
- Generalized Satisfiability for the Description Logic $\mathcal{ALC}$ (Q3010434) (← links)
- The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I (Q3182957) (← links)
- Description Logics (Q3638996) (← links)
- A sequent calculus for reasoning in four-valued Description Logics (Q4610338) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)
