Statements (22)
Predicate | Object |
---|---|
gptkbp:instanceOf |
Semantic Web concept
|
gptkbp:basisFor |
SPARQL entailment regimes
|
gptkbp:category |
gptkb:logic
gptkb:Semantic_Web Knowledge representation |
gptkbp:definedIn |
W3C RDF Semantics specification
|
gptkbp:describes |
logical consequence in RDF graphs
|
gptkbp:enables |
inference of new RDF triples
|
gptkbp:hasType |
entailment regime
|
https://www.w3.org/2000/01/rdf-schema#label |
RDF Entailment
|
gptkbp:level |
OWL entailment
RDF entailment RDFS entailment simple entailment |
gptkbp:relatedTo |
gptkb:OWL
gptkb:RDF_Schema gptkb:Resource_Description_Framework |
gptkbp:supports |
gptkb:OWL_reasoning
RDF(S) reasoning |
gptkbp:usedIn |
gptkb:Semantic_Web
|
gptkbp:bfsParent |
gptkb:RDF_Semantics
|
gptkbp:bfsLayer |
7
|