ELK
From MaRDI portal
swMATH22930MaRDI QIDQ34716FDOQ34716
Author name not available (Why is that?)
Official website: http://liveontologies.github.io/elk-reasoner/
Source code repository: https://github.com/liveontologies/elk-reasoner/
Cited In (55)
- Evonne
- 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
- An automata view to goal-directed methods
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
- OWL 2 profiles: an introduction to lightweight ontology languages
- 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
- Pellet
- FaCT++
- KAON2
- Racer
- Ltur
- CEL
- Chainsaw
- COROR
- HermiT
- DReW
- Konclude
- TrOWL
- WebPIE
- DL-learner
- BEACON
- RacerPro
- FAME
- BioPortal
- ELepHant
- JFact
- Ontop
- Snorocket
- WSReasoner
- MERGEXPLAIN
- OntoDebug
- NoHR
- EL2MCS
- PULi
- QUICKXPLAIN
- RDFox
- owlcpp
- Similarity-based relaxed instance queries
- Reasoning within fuzzy OWL 2 EL revisited
- HgMUS
- Efficient reasoning for inconsistent Horn formulae
- Enhancing probabilistic model checking with ontologies
- Protege-TS
- 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
This page was built for software: ELK
