Subject | Predicate | Object | Graph |
---|---|---|---|
entailment:D http://www.w3.org/ns/entailment/D | dct:description http://purl.org/dc/terms/description | Unique identifier for D Entailment | |
dct:description http://purl.org/dc/terms/description | Unique identifier defined for the OWL Entailment with Direct Semantics | ||
dct:description http://purl.org/dc/terms/description | Unique identifier defined for OWL Entailment with RDF-Based Semantics | ||
entailment:RDF http://www.w3.org/ns/entailment/RDF | dct:description http://purl.org/dc/terms/description | Unique identifier for RDF Entailment | |
entailment:RDFS http://www.w3.org/ns/entailment/RDFS | dct:description http://purl.org/dc/terms/description | Unique identifier for RDFS Entailment | |
entailment:RIF http://www.w3.org/ns/entailment/RIF | dct:description http://purl.org/dc/terms/description | Unique identifier defined for RIF Logical Entailment | |
entailment:Simple http://www.w3.org/ns/entailment/Simple | dct:description http://purl.org/dc/terms/description | Unique identifier for Simple Entailment |