scientific article

zbMath0963.68197MaRDI QIDQ2723446

Ulrike Sattler, Stephan Tobies, Ian Horrocks

Publication date: 5 July 2001

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items

Tractable approximate deduction for OWL, Complexity of modal logics with Presburger constraints, View-based query answering in description logics: semantics and complexity, A resolution-based decision procedure for \({\mathcal{SHOIQ}}\)., The Complexity of Conjunctive Query Answering in Expressive Description Logics, Optimizing terminological reasoning for expressive description logics, 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, Answering regular path queries in expressive description logics via alternating tree-automata, Checking content consistency of integrated web documents, Composing Modular Ontologies with Distributed Description Logics, On the scalability of description logic instance retrieval, Fuzzy description logics with general t-norms and datatypes, Hybrid Logics and Ontology Languages, Reasoning with nominal schemas through absorption, Decidability of SHIQ with complex role inclusion axioms