A resolution based description logic calculus

zbMATH Open1224.68168MaRDI QIDQ3074460FDOQ3074460

Authors: Zsolt Zsombori 

Publication date: 8 February 2011

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

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)

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}} \)
• Title not available (Why is that?)
• Logic for Programming, Artificial Intelligence, and Reasoning

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)