Pages that link to "Item:Q924723"

The following pages link to Deciding expressive description logics in the framework of resolution (Q924723):

Displaying 19 items.

• On the finite controllability of conjunctive query answering in databases under open-world assumption (Q532372) (← links)
• Top-\(k\) retrieval for ontology mediated access to relational databases (Q712661) (← links)
• Decidability of SHIQ with complex role inclusion axioms (Q814639) (← links)
• A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657) (← links)
• Incremental classification of description logics ontologies (Q972428) (← links)
• Deciding inseparability and conservative extensions in the description logic (Q1041590) (← links)
• Tableau reasoning for description logics and its extension to probabilities (Q1653448) (← links)
• Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) (Q2238693) (← links)
• A tableau decision procedure for \(\mathcal{SHOIQ}\) (Q2462647) (← links)
• Type-elimination-based reasoning for the description logic \(\mathcal {SHIQ}b_s\) using decision diagrams and disjunctive Datalog (Q2881079) (← links)
• A decidable quantified fragment of set theory involving ordered pairs with applications to description logics (Q2915678) (← links)
• Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
• First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
• A Decidable Constructive Description Logic (Q4930754) (← links)
• Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach (Q4957185) (← links)
• (Q5232905) (← links)
• Prolog Based Description Logic Reasoning (Q5504674) (← links)
• Logic for Programming, Artificial Intelligence, and Reasoning (Q5705930) (← links)
• Semantic web (Q6602270) (← links)