A resolution based description logic calculus

MaRDI QIDQ3074460zbMATH OpenFDO

Authors Zsolt Zsombori

Publication date 8 February 2011

zbMATH Keywords

DL calculusSHQ language

Mathematics Subject Classification ID

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

Recommendations

• Deciding expressive description logics in the framework of resolution
• Logic for Programming, Artificial Intelligence, and Reasoning
• A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$
• A resolution-based decision procedure for \({\mathcal{SHOIQ}}\).
• Publication:4503911

Cited in

(6)

• Deciding expressive description logics in the framework of resolution
• Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
• Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
• A connection calculus for the description logic \( {\mathcal{ALC}} \)
• scientific article; zbMATH DE number 7234173 (Why is no real title available?)
• Logic for Programming, Artificial Intelligence, and Reasoning

Describes a project that uses

Uses Software

• DLog

This page was built for publication: A resolution based description logic calculus

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