entailment:RIF
http://www.w3.org/ns/entailment/RIF
http://purl.org/dc/terms/creator
:
http://www.ivan-herman.net/foaf#
Create a prefix for http://www.ivan-herman.net/foaf#
Hit Enter to save
Double click to create a prefix
me
http://www.ivan-herman.net/foaf#me
graph:default
https://triplydb.com/w3c/entailment/graphs/default
entailment:RIF
http://www.w3.org/ns/entailment/RIF
dct:date
http://purl.org/dc/terms/date
2010-05-03
graph:default
https://triplydb.com/w3c/entailment/graphs/default
entailment:RIF
http://www.w3.org/ns/entailment/RIF
http://purl.org/dc/terms/description
Unique identifier defined for RIF Logical Entailment
graph:default
https://triplydb.com/w3c/entailment/graphs/default
entailment:RIF
http://www.w3.org/ns/entailment/RIF
rdf:type
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
entailment:Entailment
http://www.w3.org/ns/entailment/Entailment
graph:default
https://triplydb.com/w3c/entailment/graphs/default
entailment:RIF
http://www.w3.org/ns/entailment/RIF
rdfs:comment
http://www.w3.org/2000/01/rdf-schema#comment
The specification for the entailment is part of the RIF W3C Recommendation.
graph:default
https://triplydb.com/w3c/entailment/graphs/default
entailment:RIF
http://www.w3.org/ns/entailment/RIF
http://www.w3.org/2000/01/rdf-schema#isDefinedBy
:
http://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
Logical_Entailment
http://www.w3.org/TR/2009/CR-rif-bld-20091001/#Logical_Entailment
graph:default
https://triplydb.com/w3c/entailment/graphs/default
entailment:RIF
http://www.w3.org/ns/entailment/RIF
rdfs:seeAlso
http://www.w3.org/2000/01/rdf-schema#seeAlso
:
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
WD-rif-overview-20091001/
http://www.w3.org/TR/2009/WD-rif-overview-20091001/
graph:default
https://triplydb.com/w3c/entailment/graphs/default