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):
Displayed 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)
- Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics (Q6104767) (← links)