Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures

DOI10.1017/S1471068421000284MaRDI QIDQ5019600

Loris Bozzato, Thomas Eiter, Rafael Kiesel

Publication date: 10 January 2022

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2108.03100

zbMATH Keywords

description logicsASPdefeasible knowledgealgebraic measuresjustifiable exceptions

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

A general framework for preferences in answer set programming

Uses Software

• asprin

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multilanguage hierarchical logics, or: How we can do without modal logics
• Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
• Enhancing context knowledge repositories with justifiable exceptions
• Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison
• Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories
• Combining answer set programming with description logics for the semantic web
• Disjunctive logic programs with inheritance
• Efficient Inferencing for OWL EL
• An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
• Automata, Languages and Programming

This page was built for publication: Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures