Union and Intersection of All Justifications

Chen, Jieying; Ma, Yue; Peñaloza, Rafael; Yang, Hui

doi:10.1007/978-3-031-06981-9_4

Search citation statements

Order By: Relevance

Paper Sections

Select...

Preliminaries1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2022

Publication Types

Select...

Book1

Relationship

Self Cite1

Independent0

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 32 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…While the former problem remains polynomial in EL, the latter necessarily needs exponential time, as the number of justifications may be exponential on the size of the ontology. Despite some potential uses, which have been identified for non standard reasoning [6], only very recently have specific algorithms for computing the unions and intersection of justifications been developed [9,14]. To the best of our knowledge, no previous work has considered computing the justifications of minimal cardinality directly.…”

Section: Preliminariesmentioning

confidence: 99%

Pinpointing Axioms in Ontologies via ASP

Peñaloza

Ricca²

2022

Logic Programming and Nonmonotonic Reasoning

Self Cite

View full text Add to dashboard Cite

Axiom pinpointing is the task of identifying the axiomatic causes for a consequence to follow from an ontology. Different approaches have been proposed in the literature for finding one or all the subsetminimal subontologies that preserve a description logic consequence. We propose an approach that leverages the capabilities of answer set programming for transparent axiom pinpointing. We show how other associated tasks can be modelled without much additional effort.

show abstract

Section: Preliminariesmentioning

confidence: 99%