Evonne: interactive proof visualization for description logics (system description)
type: Item
instance of: scholarly article
title: Evonne: interactive proof visualization for description logics (system description)
DOI: 10.1007/978-3-031-10769-6_16
author: Christian Alrabbaa
author: Franz Baader
author: Stefan Borgwardt
author: Raimund Dachselt
author: Patrick Koopmann
author: Julián Méndez
publication date: 2022-12-07T00:00:00Z
full work available at URL: https://arxiv.org/abs/2205.09583
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7628192
describes a project that uses: ELK
describes a project that uses: FAME
describes a project that uses: Protege-TS
MaRDI profile type: Publication
OpenAlex ID: W4289104049
cites work: Finding good proofs for description logic entailments using recursive quality measures
cites work: An Introduction to Description Logic
cites work: Mechanizing Mathematical Reasoning
cites work: The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
cites work: Forgetting Concept and Role Symbols in $\mathcal{ALCH}$ -Ontologies
cites work: FAME: an automated tool for semantic forgetting in expressive description logics
description: scientific article; zbMATH DE number 7628192