scientific article; zbMATH DE number 2243392

zbMath1080.68683MaRDI QIDQ5715707

No author found.

Publication date: 4 January 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (15)

Towards World Identification in Description Logics ⋮ Exact Query Reformulation with First-Order Ontologies and Databases ⋮ Reasoning within intuitionistic fuzzy rough description logics ⋮ Logical Foundations of Possibilistic Keys ⋮ Complexity of hybrid logics over transitive frames ⋮ On keys and functional dependencies as first-class citizens in description logics ⋮ The Complexity of Conjunctive Query Answering in Expressive Description Logics ⋮ Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) ⋮ Automated Reasoning in $\mathcal{ALCQ}$ via SMT ⋮ Inclusion dependencies and their interaction with functional dependencies in SQL ⋮ Link key candidate extraction with relational concept analysis ⋮ The limits of decidability in fuzzy description logics with general concept inclusions ⋮ Reasoning with rough description logics: An approximate concepts approach ⋮ Reasoning within expressive fuzzy rough description logics ⋮ First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries

This page was built for publication: