On intuitionistic query answering in description bases

DOI10.1007/3-540-58156-1_23MaRDI QIDQ5210783zbMATH OpenOpenAlexFDO

Authors Véronique Royer, J. Joachim Quantz

Publication date 21 January 2020

Published in Automated Deduction — CADE-12 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58156-1_23

zbMATH Keywords

description logicsintuitionistic sequent calculusleast fixed-point semanticsquery answering

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• A Decidable Constructive Description Logic
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• \({\mathcal KALC}\): a constructive semantics for \({\mathcal ALC}\)
• A tableaux calculus for default intuitionistic logic
• Very expressive intuitionistic fuzzy rough description logics for the semantic web

Cites work

• An epistemic operator for description logics
• Foundations of a functional approach to knowledge representation
• scientific article; zbMATH DE number 3976991 (Why is no real title available?)
• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 52881 (Why is no real title available?)
• scientific article; zbMATH DE number 67502 (Why is no real title available?)
• scientific article; zbMATH DE number 1292303 (Why is no real title available?)
• Linear logic
• On the declarative and procedural semantics of logic programs
• Reasoning and revision in hybrid representation systems
• The Alexander Method - a technique for the processing of recursive axioms in deductive databases

Cited in

(2)

• An epistemic operator for description logics
• scientific article; zbMATH DE number 1418323 (Why is no real title available?)

This page was built for publication: On intuitionistic query answering in description bases

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