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