Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications
type: Item
instance of: scholarly article
title: Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications
DOI: 10.1007/978-3-031-10769-6_19
author: H. Yang
author: Yue Ma
author: Nicole Bidoit
publication date: 2022-12-07T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7628195
describes a project that uses: PULi
describes a project that uses: BEACON
describes a project that uses: ELK
MaRDI profile type: Publication
full work available at URL: 978-3-031-10769-6 19
OpenAlex ID: W4289104026
cites work: BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies
cites work: Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
cites work: Directed hypergraphs: introduction and fundamental algorithms -- a survey
cites work: Directed hypergraphs and applications
cites work: Q3624118
cites work: Enumerating justifications using resolution
cites work: Q5283020
cites work: Understanding the complexity of axiom pinpointing in lightweight description logics
description: scientific article; zbMATH DE number 7628195