Pages that link to "Item:Q989170"
From MaRDI portal
The following pages link to The complexity of existential quantification in concept languages. (Q989170):
Displayed 9 items.
- Attributive concept descriptions with complements (Q749235) (← 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)
- Computing the least common subsumer w.r.t. a background terminology (Q2372193) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)