Pages that link to "Item:Q2352492"
From MaRDI portal
The following pages link to The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (Q2352492):
Displaying 29 items.
- Tractable approximate deduction for OWL (Q274420) (← links)
- Data repair of inconsistent nonmonotonic description logic programs (Q322065) (← links)
- Tractable extensions of the description logic \({\mathcal{EL}}\) with numerical datatypes (Q438566) (← links)
- Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities (Q465595) (← links)
- The OWL reasoner evaluation (ORE) 2015 competition report (Q1694573) (← links)
- Reasoning within fuzzy OWL 2 EL revisited (Q1795363) (← links)
- Statistical \(\mathcal{EL}\) is \textsc{ExpTime}-complete (Q2032149) (← links)
- ReAD: AD-based modular ontology classification (Q2055795) (← links)
- Finding good proofs for description logic entailments using recursive quality measures (Q2055864) (← links)
- Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes (Q2055866) (← links)
- Enhancing probabilistic model checking with ontologies (Q2065528) (← links)
- Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\) (Q2082509) (← links)
- Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL (Q2104508) (← links)
- Evonne: interactive proof visualization for description logics (system description) (Q2104515) (← links)
- Memory-limited model-based diagnosis (Q2124447) (← links)
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure (Q2224833) (← links)
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) (Q2238693) (← links)
- HermiT: an OWL 2 reasoner (Q2351420) (← links)
- The Bayesian ontology language \(\mathcal {BEL}\) (Q2362495) (← links)
- Efficient Reasoning for Inconsistent Horn Formulae (Q2835881) (← links)
- Islands of tractability for relational constraints: towards dichotomy results for the description logic \({\mathcal{EL}}\) (Q2904059) (← links)
- Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures (Q3460382) (← links)
- OWL 2 Profiles: An Introduction to Lightweight Ontology Languages (Q4647815) (← links)
- Efficient Inferencing for OWL EL (Q4930768) (← links)
- An ASP approach for reasoning in a concept-aware multipreferential lightweight DL (Q5140012) (← links)
- An Automata View to Goal-Directed Methods (Q5738990) (← links)
- Sequential model-based diagnosis by systematic search (Q6080651) (← links)
- Optimal repairs in the description logic \(\mathcal{EL}\) revisited (Q6545515) (← links)
- Merge, explain, iterate: a combination of MHS and MXP in an ABox abduction solver (Q6545548) (← links)
