scientific article; zbMATH DE number 1448975
From MaRDI portal
Publication:4954172
zbMath0941.03029MaRDI QIDQ4954172
Publication date: 18 May 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
decidabilitysatisfiabilityALCQ extended with nominalscomplexity of the combination of description logicsextension of ALCQI with nominalsreasoning with cardinality restrictionsreasoning with general axioms
Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Towards World Identification in Description Logics, The guarded fragment with transitive guards, Reasoning within intuitionistic fuzzy rough description logics, A family of dynamic description logics for representing and reasoning about actions, A description logic based situation calculus, Foundations of instance level updates in expressive description logics, Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\), Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics, A short introduction to SHACL for logicians, The complexity of Bayesian networks specified by propositional and relational languages, A tableau decision procedure for \(\mathcal{SHOIQ}\), Data complexity of query answering in expressive description logics via tableaux, Reasoning and Query Answering in Description Logics, Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics, Package-Based Description Logics, Reasoning within expressive fuzzy rough description logics, Hybrid Logics and Ontology Languages, Absorption for ABoxes, Extended decision procedure for a fragment of HL with binders
