Automata-based axiom pinpointing
From MaRDI portal
Publication:707741
DOI10.1007/s10817-010-9181-2zbMath1213.68589OpenAlexW2020755561WikidataQ57383691 ScholiaQ57383691MaRDI QIDQ707741
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
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
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
