Pages that link to "Item:Q1680678"
From MaRDI portal
The following pages link to Understanding the complexity of axiom pinpointing in lightweight description logics (Q1680678):
Displaying 7 items.
- Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics (Q1726275) (← links)
- Query answering over inconsistent knowledge bases: a probabilistic approach (Q2084950) (← links)
- Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications (Q2104519) (← links)
- Strong inconsistency (Q2321259) (← links)
- On the complexity of inconsistency measurement (Q2321337) (← links)
- Pinpointing axioms in ontologies via ASP (Q2694580) (← links)
- Reasoning with ontologies (Q6602220) (← links)
