Pages that link to "Item:Q2638816"

The following pages link to Terminological reasoning is inherently intractable (Q2638816):

Displaying 34 items.

• PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) (Q352965) (← links)
• Generalized satisfiability for the description logic \(\mathcal{ALC}\) (Q393137) (← links)
• Attributive concept descriptions with complements (Q749235) (← links)
• Automata can show PSpace results for description logics (Q948069) (← links)
• The complexity of existential quantification in concept languages. (Q989170) (← links)
• Fuzzy description logics with general t-norms and datatypes (Q1043321) (← links)
• Reasoning within expressive fuzzy rough description logics (Q1043323) (← links)
• A refined architecture for terminological systems: Terminology = Schema + Views (Q1128645) (← links)
• An epistemic operator for description logics (Q1128772) (← links)
• Subsumption computed algebraically (Q1202639) (← links)
• Prototypes in a hybrid language with primitive descriptions (Q1202670) (← links)
• Pattern associativity and the retrieval of semantic networks (Q1202672) (← links)
• Acquisition and validation of complex object database schemata supporting multiple inheritance (Q1330409) (← 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)
• Using automata theory for characterizing the semantics of terminological cycles (Q1380409) (← links)
• Tractable reasoning via approximation (Q1855213) (← links)
• The F-logic approach for description languages (Q1924824) (← links)
• Human rationality challenges universal logic (Q1931349) (← links)
• ``Reducing'' classic to practice: Knowledge representation theory meets reality (Q1978452) (← links)
• Computing the least common subsumer w.r.t. a background terminology (Q2372193) (← links)
• Reasoning within intuitionistic fuzzy rough description logics (Q2390356) (← links)
• Debugging incoherent terminologies (Q2462643) (← links)
• Planning from second principles (Q2676578) (← links)
• The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics (Q2938484) (← links)
• Generalized Satisfiability for the Description Logic $\mathcal{ALC}$ (Q3010434) (← links)
• Complexity of Planning in Action Formalisms Based on Description Logics (Q3498484) (← links)
• Description Logics (Q3638996) (← links)
• Reasoning and Query Answering in Description Logics (Q4647812) (← links)
• Unification of concept terms in description logics (Q5929707) (← links)
• Efficient TBox Reasoning with Value Restrictions using the <i>wer</i> Reasoner (Q6063879) (← links)
• Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures (Q6152660) (← links)
• Reasoning with ontologies (Q6602220) (← links)