A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×

DOI10.3233/FI-2020-1977MaRDI QIDQ4988948zbMATH OpenOpenAlexWikidataFDO

Authors Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria

Publication date 20 May 2021

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2020-1977

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• An improved set-based reasoner for the description logic \(\mathcal{DL}_\mathrm{D}^{4,\times\dagger}\)
• A unified framework for non-standard reasoning services in description logics
• A set-theoretic approach to ABox reasoning services
• An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$
• A sequent calculus for reasoning in four-valued description logics
• Reasoning in Description Logics: Basics, Extensions, and Relatives
• scientific article; zbMATH DE number 2090284
• Reasoning and query answering in description logics
• scientific article; zbMATH DE number 1931650

Cites work

• A set-theoretic approach to ABox reasoning services
• An introduction to the technique of formative processes in set theory
• Computational logic and set theory. Applying formalized logic to analysis. Foreword by Martin Davis
• HermiT: an OWL 2 reasoner
• scientific article; zbMATH DE number 1641581 (Why is no real title available?)
• scientific article; zbMATH DE number 50150 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 7592011 (Why is no real title available?)
• On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic
• OWL 2 profiles: an introduction to lightweight ontology languages
• Skeptical query-answering in Constrained Default Logic
• Tableau methods for classical propositional logic
• The Taming of the Cut. Classical Refutations with Analytic Cut
• Three-variable statements of set-pairing
• Web ontology representation and reasoning via fragments of set theory

Cited in

(4)

• Web ontology representation and reasoning via fragments of set theory
• A sequent calculus for reasoning in four-valued description logics
• An improved set-based reasoner for the description logic \(\mathcal{DL}_\mathrm{D}^{4,\times\dagger}\)
• A set-theoretic approach to ABox reasoning services

Describes a project that uses

Uses Software

• HermiT

This page was built for publication: A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×

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