Automata-based axiom pinpointing
type: Item
instance of: scholarly article
title: Automata-based axiom pinpointing
zbMATH Open document ID: 1213.68589
author: Franz Baader
author: Rafael Peñaloza
published in: Journal of Automated Reasoning
publication date: 2010-10-08T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 5797496
zbMATH Keywords: axiom-pinpointing
zbMATH Keywords: automated reasoning
zbMATH Keywords: weighted automata
zbMATH Keywords: explanation
zbMATH Keywords: description logics
describes a project that uses: Pellet
describes a project that uses: Racer
describes a project that uses: KL-ONE
MaRDI profile type: Publication
full work available at URL: s10817-010-9181-2
OpenAlex ID: W2020755561
Wikidata QID: Q57383691
cites work: Q4012241
cites work: Q4406531
cites work: Automata can show PSpace results for description logics
cites work: Axiom Pinpointing in General Tableaux
cites work: Automata-Based Axiom Pinpointing
cites work: An overview of tableau algorithms for description logics
cites work: Q4539600
cites work: Q5322945
cites work: Q3536079
cites work: Weighted Automata and Weighted Logics on Infinite Words
cites work: Q4399900
cites work: Q4539653
cites work: Lattice Automata
cites work: Q4430407
cites work: Q4205072
cites work: Q5616162
cites work: Q3515223
cites work: A theory of diagnosis from first principles
cites work: Debugging incoherent terminologies
cites work: Attributive concept descriptions with complements
cites work: Finite tree automata with cost functions
cites work: A lattice-theoretical fixpoint theorem and its applications
cites work: Automata-theoretic techniques for modal logics of programs
DBLP publication ID: journals/jar/BaaderP10
DOI: 10.1007/S10817-010-9181-2
description: scientific article; zbMATH DE number 5797496