CEL
From MaRDI portal
Software:24405
swMATH12477MaRDI QIDQ24405FDOQ24405
Author name not available (Why is that?)
Cited In (14)
- Completeness guarantees for incomplete ontology reasoners: theory and practice
- An Approach to Exploring Description Logic Knowledge Bases
- Incremental classification of description logics ontologies
- The Logical Difference Problem for Description Logic Terminologies
- Description Logics
- Individual Reuse in Description Logic Reasoning
- Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
- BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies
- Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities
- OWL 2 Profiles: An Introduction to Lightweight Ontology Languages
- Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\)
- The Bayesian ontology language \(\mathcal {BEL}\)
- Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
This page was built for software: CEL
