| | Unique identifier for D Entailment | |
| | Unique identifier defined for the OWL Entailment with Direct Semantics | |
| | Unique identifier defined for OWL Entailment with RDF-Based Semantics | |
| | Unique identifier for RDF Entailment | |
| | Unique identifier for RDFS Entailment | |
| | Unique identifier defined for RIF Logical Entailment | |
| | Unique identifier for Simple Entailment | |