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