Subject | Predicate | Object | Graph |
---|---|---|---|
entailment:D http://www.w3.org/ns/entailment/D | rdfs:isDefinedBy http://www.w3.org/2000/01/rdf-schema#isDefinedBy | : D_entailmenthttp://www.w3.org/TR/2004/REC-rdf-mt-20040210/# Create a prefix for http://www.w3.org/TR/2004/REC-rdf-mt-20040210/# Hit Enter to save Double click to create a prefix | |
rdfs:isDefinedBy http://www.w3.org/2000/01/rdf-schema#isDefinedBy | : REC-owl2-direct-semantics-20091027/http://www.w3.org/TR/2009/ Create a prefix for http://www.w3.org/TR/2009/ Hit Enter to save Double click to create a prefix | ||
rdfs:isDefinedBy http://www.w3.org/2000/01/rdf-schema#isDefinedBy | : REC-owl2-rdf-based-semantics-20091027/http://www.w3.org/TR/2009/ Create a prefix for http://www.w3.org/TR/2009/ Hit Enter to save Double click to create a prefix | ||
entailment:RDF http://www.w3.org/ns/entailment/RDF | rdfs:isDefinedBy http://www.w3.org/2000/01/rdf-schema#isDefinedBy | : rdf_entailhttp://www.w3.org/TR/2004/REC-rdf-mt-20040210/# Create a prefix for http://www.w3.org/TR/2004/REC-rdf-mt-20040210/# Hit Enter to save Double click to create a prefix | |
entailment:RDFS http://www.w3.org/ns/entailment/RDFS | rdfs:isDefinedBy http://www.w3.org/2000/01/rdf-schema#isDefinedBy | : rdfs_entailmenthttp://www.w3.org/TR/2004/REC-rdf-mt-20040210/# Create a prefix for http://www.w3.org/TR/2004/REC-rdf-mt-20040210/# Hit Enter to save Double click to create a prefix | |
entailment:RIF http://www.w3.org/ns/entailment/RIF | rdfs:isDefinedBy http://www.w3.org/2000/01/rdf-schema#isDefinedBy | : Logical_Entailmenthttp://www.w3.org/TR/2009/CR-rif-bld-20091001/# Create a prefix for http://www.w3.org/TR/2009/CR-rif-bld-20091001/# Hit Enter to save Double click to create a prefix | |
entailment:Simple http://www.w3.org/ns/entailment/Simple | rdfs:isDefinedBy http://www.w3.org/2000/01/rdf-schema#isDefinedBy | : entailhttp://www.w3.org/TR/2004/REC-rdf-mt-20040210/# Create a prefix for http://www.w3.org/TR/2004/REC-rdf-mt-20040210/# Hit Enter to save Double click to create a prefix |