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

DOI10.3233/FI-2020-1977zbMath1506.68134OpenAlexW3114138200WikidataQ124544771 ScholiaQ124544771MaRDI QIDQ4988948

Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria, Domenico Cantone

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)

Related Items (1)

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

Uses Software

• HermiT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Three-variable statements of set-pairing
• HermiT: an OWL 2 reasoner
• Web ontology representation and reasoning via fragments of set theory
• On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal 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
• OWL 2 Profiles: An Introduction to Lightweight Ontology Languages
• A Set-Theoretic Approach to ABox Reasoning Services
• Computational Logic and Set Theory

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