Logic for Programming, Artificial Intelligence, and Reasoning

DOI10.1007/B106931MaRDI QIDQ5705930zbMATH OpenOpenAlexFDO

Authors Ullrich Hustadt, Boris Motik, Ulrike Sattler

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)

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}}\).
• A resolution based description logic calculus
• scientific article; zbMATH DE number 1507191

Cited in

(13)

• A decision procedure for von Wright's OBS-calculus
• 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
• scientific article; zbMATH DE number 5129614 (Why is no real title available?)
• Reasoning and query answering in description logics
• 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
• A resolution based description logic calculus
• Query Answering in Description Logics: The Knots Approach

Describes a project that uses

Uses Software

• SATCHMO

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)