Terminological reasoning is inherently intractable
From MaRDI portal
Publication:2638816
DOI10.1016/0004-3702(90)90087-GzbMath0717.68089OpenAlexW2057513565MaRDI QIDQ2638816
Publication date: 1990
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(90)90087-g
Related Items
Acquisition and validation of complex object database schemata supporting multiple inheritance, An empirical analysis of terminological representation systems, Computing the least common subsumer w.r.t. a background terminology, Reasoning within intuitionistic fuzzy rough description logics, The complexity of concept languages, PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\), Consistency checking reduced to satisfiability of concepts in terminological systems, Using automata theory for characterizing the semantics of terminological cycles, The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics, The F-logic approach for description languages, A refined architecture for terminological systems: Terminology = Schema + Views, An epistemic operator for description logics, Generalized satisfiability for the description logic \(\mathcal{ALC}\), Human rationality challenges universal logic, Complexity of Planning in Action Formalisms Based on Description Logics, Planning from second principles, Efficient TBox Reasoning with Value Restrictions using the wer Reasoner, Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures, ``Reducing classic to practice: Knowledge representation theory meets reality, Debugging incoherent terminologies, Generalized Satisfiability for the Description Logic $\mathcal{ALC}$, Automata can show PSpace results for description logics, Reasoning and Query Answering in Description Logics, Subsumption computed algebraically, Prototypes in a hybrid language with primitive descriptions, Pattern associativity and the retrieval of semantic networks, Unification of concept terms in description logics, The complexity of existential quantification in concept languages., Attributive concept descriptions with complements, Description Logics, Fuzzy description logics with general t-norms and datatypes, Reasoning within expressive fuzzy rough description logics, Tractable reasoning via approximation
Cites Work
