Logic for Programming, Artificial Intelligence, and Reasoning

DOI10.1007/B106931zbMATH Open1109.03009OpenAlexW4206255911MaRDI QIDQ5705930FDOQ5705930

Ullrich Hustadt, Ulrike Sattler, Boris Motik

Publication date: 10 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b106931

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (12)

• A decision procedure for von Wright's OBS-calculus
• Reasoning and Query Answering in Description Logics
• Deciding expressive description logics in the framework of resolution
• Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots
• Data complexity of query answering in expressive description logics via tableaux
• A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$
• AN ALGORITHM FOR SOLVING RULE SETS-BASED BILEVEL DECISION PROBLEMS
• Title not available (Why is that?)
• Answering regular path queries in expressive description logics via alternating tree-automata
• A resolution-based decision procedure for \({\mathcal{SHOIQ}}\).
• Reasoning in description logics by a reduction to disjunctive datalog
• Query Answering in Description Logics: The Knots Approach

Uses Software

• SATCHMO

   Recommendations

• Deciding expressive description logics in the framework of resolution 👍 👎
• A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$ 👍 👎
• A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Logic for Programming, Artificial Intelligence, and Reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5705930)