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