CEL
From MaRDI portal
Cited in
(32)- Pellet
- Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\)
- FaCT++
- Racer
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
- The Bayesian ontology language \(\mathcal {BEL}\)
- Ltur
- TRAVOS
- HermiT
- COROR
- Chainsaw
- WebPIE
- DReW
- BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies
- BEACON
- Just
- Completeness guarantees for incomplete ontology reasoners: theory and practice
- Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing
- Snorocket
- ELK
- Individual Reuse in Description Logic Reasoning
- The Logical Difference Problem for Description Logic Terminologies
- An approach to exploring description logic knowledge bases
- Description Logics
- Message-based web service composition, integrity constraints, and planning under uncertainty: a new connection
- FAME
- EL2MCS
- KL-ONE
- OWL 2 profiles: an introduction to lightweight ontology languages
- Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities
- HgMUS
- Incremental classification of description logics ontologies
This page was built for software: CEL
