ELK

swMATH22930MaRDI QIDQ34716FDOQ34716

Author name not available (Why is that?)

Source code repository: https://github.com/liveontologies/elk-reasoner/

Cited In (21)

• HermiT: an OWL 2 reasoner
• Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL
• Evonne: interactive proof visualization for description logics (system description)
• Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications
• NoHR: integrating XSB Prolog with the OWL 2 profiles and beyond
• A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
• An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
• Memory-limited model-based diagnosis
• Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
• The OWL reasoner evaluation (ORE) 2015 competition report
• Data repair of inconsistent nonmonotonic description logic programs
• Similarity-based relaxed instance queries
• Reasoning within fuzzy OWL 2 EL revisited
• OWL 2 Profiles: An Introduction to Lightweight Ontology Languages
• Enhancing probabilistic model checking with ontologies
• An Automata View to Goal-Directed Methods
• Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\)
• The Bayesian ontology language \(\mathcal {BEL}\)
• Enumerating justifications using resolution
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
• Efficient Reasoning for Inconsistent Horn Formulae

This page was built for software: ELK