entailment:D | rdfs: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 | : 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 | : 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 | rdfs: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 | rdfs: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 | rdfs: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 | rdfs: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 |