Automata-based axiom pinpointing

DOI10.1007/s10817-010-9181-2zbMath1213.68589OpenAlexW2020755561WikidataQ57383691 ScholiaQ57383691MaRDI QIDQ707741

Rafael Peñaloza, Franz Baader

Publication date: 8 October 2010

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-010-9181-2

zbMATH Keywords

automated reasoningexplanationdescription logicsweighted automataaxiom-pinpointing

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

The Bayesian ontology language \(\mathcal {BEL}\), Tableau reasoning for description logics and its extension to probabilities, Understanding the complexity of axiom pinpointing in lightweight description logics, The complexity of computing the behaviour of lattice automata on infinite trees, Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities, Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in $$\mathcal {FL}_0$$, An Automata View to Goal-Directed Methods, Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach, Weighted automata, The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies

Uses Software

• Pellet
• Racer
• KL-ONE

Cites Work

• Attributive concept descriptions with complements
• Automata can show PSpace results for description logics
• Automata-theoretic techniques for modal logics of programs
• A theory of diagnosis from first principles
• Finite tree automata with cost functions
• Debugging incoherent terminologies
• A lattice-theoretical fixpoint theorem and its applications
• Axiom Pinpointing in General Tableaux
• Automata-Based Axiom Pinpointing
• Weighted Automata and Weighted Logics on Infinite Words
• Axiom Pinpointing in General Tableaux
• Lattice Automata
• An overview of tableau algorithms for description logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item