ELK
From MaRDI portal
Software:34716
No author found.
Source code repository: https://github.com/liveontologies/elk-reasoner/
Related Items (21)
Memory-limited model-based diagnosis ⋮ The Bayesian ontology language \(\mathcal {BEL}\) ⋮ Data repair of inconsistent nonmonotonic description logic programs ⋮ NoHR: integrating XSB Prolog with the OWL 2 profiles and beyond ⋮ The OWL reasoner evaluation (ORE) 2015 competition report ⋮ Similarity-based relaxed instance queries ⋮ 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 ⋮ Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) ⋮ OWL 2 Profiles: An Introduction to Lightweight Ontology Languages ⋮ An Automata View to Goal-Directed Methods ⋮ Reasoning within fuzzy OWL 2 EL revisited ⋮ Enumerating justifications using resolution ⋮ Enhancing probabilistic model checking with ontologies ⋮ Efficient Reasoning for Inconsistent Horn Formulae ⋮ Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\) ⋮ 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 ⋮ HermiT: an OWL 2 reasoner ⋮ The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
This page was built for software: ELK
