View Source RDF.Guards (RDF.ex v2.0.1)

A collection of guards.

Summary

Functions

Returns if the given term is a plain RDF.Literal, i.e. has either datatype xsd:string or rdf:langString.

Returns if the given term is a quad, i.e. a tuple with four elements.

Returns if the given term is a RDF.BlankNode.

Returns if the given term is a RDF.IRI.

Returns if the given term is a RDF.Literal.

Returns if the given term is a RDF.Literal with the given RDF.Literal.Datatype.

Returns if the given term is a RDF.Quad, i.e. a tuple with four elements where each element is a RDF.Term.

Returns if the given term is a RDF.Resource, i.e. a RDF.IRI or RDF.BlankNode.

Returns if the given term is a RDF.Statement in terms of is_rdf_triple/1 or is_rdf_quad/1.

Returns if the given term is a RDF.Term, i.e. a RDF.IRI, RDF.BlankNode or RDF.Literal.

Returns if the given term is a RDF.Triple, i.e. a tuple with three elements where each element is a RDF.Term.

Returns if the given term is a triple or a quad in terms of is_triple/1 or is_quad/1.

Returns if the given term is a triple, i.e. a tuple with three elements.

Returns if the given term is a typed RDF.Literal, i.e. has , i.e. has another datatype than xsd:string or rdf:langString.

Returns if the given term is an atom which could potentially be an RDF.Vocabulary.Namespace term.

Functions

Link to this macro

is_plain_rdf_literal(term)

View Source (macro)

Returns if the given term is a plain RDF.Literal, i.e. has either datatype xsd:string or rdf:langString.

Warning

Due to this bug in Elixir a false warning is currently raised when the given term is not a RDF.Literal, although the implementation works as expected. If you want to get rid of the warning you'll have to catch non-RDF.Literal values in a separate clause before the one calling this guard.

Examples

iex> is_plain_rdf_literal(~L"foo")
true

iex> is_plain_rdf_literal(~L"foo"en)
true

iex> is_plain_rdf_literal(XSD.Integer.new(42))
false

Returns if the given term is a quad, i.e. a tuple with four elements.

Examples

iex> is_quad({~I<http://example.com/S>, EX.foo(), 42, EX.Graph})
true

iex> is_quad({~I<http://example.com/S>, EX.foo(), 42})
false

iex> is_quad({~I<http://example.com/S>, EX.foo()})
false
Link to this macro

is_rdf_bnode(term)

View Source (macro)

Returns if the given term is a RDF.BlankNode.

Examples

iex> is_rdf_bnode(~B<b1>)
true

iex> is_rdf_bnode(~L"b1")
false
Link to this macro

is_rdf_iri(term)

View Source (macro)

Returns if the given term is a RDF.IRI.

Note: This function does not recognize RDF.IRIs given as upper-cased RDF.Namespace terms. You'll have to use the RDF.iri?/1 function for this.

Examples

iex> is_rdf_iri(~I<http://example.com/>)
true

iex> is_rdf_iri("http://example.com/")
false

iex> is_rdf_iri(RDF.type())
true

iex> is_rdf_iri(RDF.NS.RDFS.Class)
false

iex> RDF.iri?(RDF.NS.RDFS.Class)
true
Link to this macro

is_rdf_literal(term)

View Source (macro)

Returns if the given term is a RDF.Literal.

Examples

iex> is_rdf_literal(~L"foo")
true

iex> is_rdf_literal(~L"foo"en)
true

iex> is_rdf_literal(XSD.integer(42))
true

iex> is_rdf_literal(42)
false
Link to this macro

is_rdf_literal(term, datatype)

View Source (macro)

Returns if the given term is a RDF.Literal with the given RDF.Literal.Datatype.

Warning

Due to this bug in Elixir a false warning is currently raised when the given term is not a RDF.Literal, although the implementation works as expected. If you want to get rid of the warning you'll have to catch non-RDF.Literal values in a separate clause before the one calling this guard.

Examples

iex> is_rdf_literal(~L"foo", XSD.String)
true

iex> is_rdf_literal(XSD.Integer.new(42), XSD.String)
false
Link to this macro

is_rdf_quad(term)

View Source (macro)

Returns if the given term is a RDF.Quad, i.e. a tuple with four elements where each element is a RDF.Term.

Examples

iex> is_rdf_quad({~I<http://example.com/S>, EX.foo(), XSD.integer(42), RDF.iri(EX.Graph)})
true

iex> is_rdf_quad({~I<http://example.com/S>, EX.foo(), 42, RDF.iri(EX.Graph)})
false

iex> is_rdf_quad({~L"the subject can not be a literal", EX.foo(), XSD.integer(42), RDF.iri(EX.Graph)})
false

iex> is_rdf_quad({~I<http://example.com/S>, ~L"the predicate can not be a literal", XSD.integer(42), RDF.iri(EX.Graph)})
false

iex> is_rdf_quad({~I<http://example.com/S>, EX.foo(), XSD.integer(42), ~L"the graph context can not be a literal"})
false

iex> is_rdf_quad({~I<http://example.com/S>, EX.foo(), XSD.integer(42)})
false

iex> is_rdf_quad({~I<http://example.com/S>, EX.foo()})
false
Link to this macro

is_rdf_resource(term)

View Source (macro)

Returns if the given term is a RDF.Resource, i.e. a RDF.IRI or RDF.BlankNode.

Note: This function does not recognize RDF.IRIs given as upper-cased RDF.Namespace terms. You'll have to use the RDF.resource?/1 function for this.

Examples

iex> is_rdf_resource(~I<http://example.com/foo>)
true

iex> is_rdf_resource(~B<foo>)
true

iex> is_rdf_resource(~L"foo")
false

iex> is_rdf_resource(RDF.type())
true

iex> is_rdf_resource(RDF.NS.RDFS.Class)
false

iex> RDF.resource?(RDF.NS.RDFS.Class)
true
Link to this macro

is_rdf_statement(term)

View Source (macro)

Returns if the given term is a RDF.Statement in terms of is_rdf_triple/1 or is_rdf_quad/1.

Examples

iex> is_rdf_statement({~I<http://example.com/S>, EX.foo(), XSD.integer(42)})
true

iex> is_rdf_statement({~I<http://example.com/S>, EX.foo(), XSD.integer(42), RDF.iri(EX.Graph)})
true

iex> is_rdf_statement({~I<http://example.com/S>, EX.foo()})
false

iex> is_rdf_statement({~L"the subject can not be a literal", EX.foo(), XSD.integer(42)})
false
Link to this macro

is_rdf_term(term)

View Source (macro)

Returns if the given term is a RDF.Term, i.e. a RDF.IRI, RDF.BlankNode or RDF.Literal.

Note: This function does not recognize RDF.IRIs given as upper-cased RDF.Namespace terms. You'll have to use the RDF.term?/1 function for this.

Examples

iex> is_rdf_term(~I<http://example.com/foo>)
true

iex> is_rdf_term(~B<foo>)
true

iex> is_rdf_term(~L"foo")
true

iex> is_rdf_term(RDF.type())
true

iex> is_rdf_term(RDF.NS.RDFS.Class)
false

iex> RDF.term?(RDF.NS.RDFS.Class)
true
Link to this macro

is_rdf_triple(term)

View Source (macro)

Returns if the given term is a RDF.Triple, i.e. a tuple with three elements where each element is a RDF.Term.

Examples

iex> is_rdf_triple({~I<http://example.com/S>, EX.foo(), XSD.integer(42)})
true

iex> is_rdf_triple({~I<http://example.com/S>, EX.foo(), 42})
false

iex> is_rdf_triple({~L"the subject can not be a literal", EX.foo(), XSD.integer(42)})
false

iex> is_rdf_triple({~I<http://example.com/S>, ~L"the predicate can not be a literal", XSD.integer(42)})
false

iex> is_rdf_triple({~I<http://example.com/S>, EX.foo()})
false

iex> is_rdf_triple({~I<http://example.com/S>, EX.foo(), XSD.integer(42), RDF.iri(EX.Graph)})
false
Link to this macro

is_statement(term)

View Source (macro)

Returns if the given term is a triple or a quad in terms of is_triple/1 or is_quad/1.

Examples

iex> is_statement({~I<http://example.com/S>, EX.foo(), 42, EX.Graph})
true

iex> is_statement({~I<http://example.com/S>, EX.foo(), 42})
true

iex> is_statement({~I<http://example.com/S>, EX.foo()})
false
Link to this macro

is_triple(term)

View Source (macro)

Returns if the given term is a triple, i.e. a tuple with three elements.

Note: This

Examples

iex> is_triple({~I<http://example.com/S>, EX.foo(), 42})
true

iex> is_triple({~I<http://example.com/S>, EX.foo()})
false

iex> is_triple({~I<http://example.com/S>, EX.foo(), 42, EX.Graph})
false
Link to this macro

is_typed_rdf_literal(term)

View Source (macro)

Returns if the given term is a typed RDF.Literal, i.e. has , i.e. has another datatype than xsd:string or rdf:langString.

Warning

Due to this bug in Elixir a false warning is currently raised when the given term is not a RDF.Literal, although the implementation works as expected. If you want to get rid of the warning you'll have to catch non-RDF.Literal values in a separate clause before the one calling this guard.

Examples

iex> is_typed_rdf_literal(XSD.Integer.new(42))
true

iex> is_typed_rdf_literal(~L"foo")
false

iex> is_typed_rdf_literal(~L"foo"en)
false
Link to this macro

maybe_ns_term(term)

View Source (macro)

Returns if the given term is an atom which could potentially be an RDF.Vocabulary.Namespace term.

Examples

iex> maybe_ns_term(EX.Foo)
true

iex> maybe_ns_term(true)
false

iex> maybe_ns_term(false)
false

iex> maybe_ns_term(nil)
false