Marcel Otto
ec04345da2
Add RDF.Utils.lazy_map_update/3
2020-12-08 22:40:46 +01:00
Marcel Otto
2b0296fd32
Fix formatting
2020-11-11 11:16:38 +01:00
Marcel Otto
eef64b9253
Add support for adding terms of a vocab namespace to RDF.PropertyMap
...
For now only with RDF.PropertyMap.add/2 on purpose, since we want to
enforce a conscious usage of this feature, as put/2 would silently
overwrite terms.
2020-10-11 11:42:30 +02:00
Marcel Otto
aed8e5bae6
Copy Enum while_ok utils from SPARQL.Client
2020-09-30 14:41:19 +02:00
Marcel Otto
a8c71df20b
Limit and unify the forms of input on RDF.Graph functions
2020-09-28 02:49:41 +02:00
Marcel Otto
0e81f4c02c
Apply mix formatter
2020-06-29 10:37:42 +02:00
Marcel Otto
fa35b65d9f
Redesign datatype reflection API
2020-05-15 17:13:31 +02:00
Marcel Otto
5819eec0cf
Re-integrate XSD.ex
...
It turned out that the costs of separating the XSD datatypes are too high
and probably not worth the effort, since with its limited scope
probably nobody would want to use XSD.ex outside of the RDF.ex context
anyway.
2020-05-05 23:58:44 +02:00
Marcel Otto
6049798b37
Add and fix some Dialyzer typespecs
2020-04-12 21:52:25 +02:00
Marcel Otto
f6146c51b0
Revision of the literal system with extracted XSD datatypes
2020-04-10 23:56:35 +02:00
rustra
8345e101d3
Add function signatures
2020-03-02 18:23:34 +01:00
Marcel Otto
5c7efe4cbd
Add RDF.IRI, use it instead of URI and use the term IRI consistently
...
Closes #1
2017-08-20 22:35:14 +02:00
Marcel Otto
a9c039dea7
core: remove module docs for internal RDF.Utils.ResourceClassifier
2017-06-11 14:24:29 +02:00
Marcel Otto
d83a0c508d
core: terms from the RDF.NS.RDF namespace are directly accessible from the top-level RDF module
2017-06-10 23:08:49 +02:00
Marcel Otto
b72bf17d9c
core: a RDF.Vocabulary.Namespace can be built from any RDF.Data structure
2017-06-05 02:58:49 +02:00
Marcel Otto
d772d8f1ed
core: add owl:inverseOf as a property property
2017-05-30 22:06:28 +02:00
Marcel Otto
19c84b7ea2
core: detect and handle case-violations of vocabulary terms
2017-05-29 23:12:50 +02:00
