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

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

Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria

Publication date: 20 May 2021

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

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T30: Knowledge representation

68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)

Uses Software

• HermiT