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