The following pages link to CEL (Q24405):
Displaying 14 items.
- Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities (Q465595) (← links)
- Incremental classification of description logics ontologies (Q972428) (← links)
- Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\) (Q2082509) (← links)
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (Q2352492) (← links)
- The Bayesian ontology language \(\mathcal {BEL}\) (Q2362495) (← links)
- BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies (Q2818038) (← links)
- Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice (Q2887081) (← links)
- Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing (Q3453236) (← links)
- Individual Reuse in Description Logic Reasoning (Q3541705) (← links)
- The Logical Difference Problem for Description Logic Terminologies (Q3541706) (← links)
- An Approach to Exploring Description Logic Knowledge Bases (Q3552290) (← links)
- Description Logics (Q3638996) (← links)
- Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection (Q3651460) (← links)
- OWL 2 Profiles: An Introduction to Lightweight Ontology Languages (Q4647815) (← links)