An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆

DOI10.3233/FI-2021-2009zbMath1497.68545OpenAlexW3127511143WikidataQ124544767 ScholiaQ124544767MaRDI QIDQ4991928

Daniele Francesco Santamaria, Domenico Cantone, Marianna Nicolosi-Asmundo

Publication date: 4 June 2021

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2021-2009

zbMATH Keywords

consistencyautomated reasoningsemantic webclassification problemscomputable set theoryconjunctive query answering problemKE-tableau systemsreasoners for description logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Axiomatics of classical set theory and its fragments (03E30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• FaCT++
• HermiT
• swrl

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• HermiT: an OWL 2 reasoner
• Web ontology representation and reasoning via fragments of set theory
• A decision procedure for restricted intensional sets
• On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal Logic
• An Introduction to Description Logic
• The Taming of the Cut. Classical Refutations with Analytic Cut
• An Introduction to the Technique of Formative Processes in Set Theory
• Skeptical query-answering in Constrained Default Logic
• Building decision procedures for modal logics from propositional decision procedures — The case study of modal K
• OWL 2 Profiles: An Introduction to Lightweight Ontology Languages
• A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×
• A Set-Theoretic Approach to ABox Reasoning Services
• Computational Logic and Set Theory

This page was built for publication: An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆