aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Remove files in bin, they were only for testing purposes and are replace by ↵HEADmainarie2021-06-29
| | | | the files in test/turtle.
* Rdf turtle tests.arie2021-06-29
| | | | | | | Fix a little bug in the xsd:string uri in rdf_turtle. There was a < which shouldn't have been there. All the tests work now, except for the last one. I think the reason is that @base uri's are not taken into account yet.
* Add turtle tests. Almost done, some small strange behavior with literal.arie2021-06-29
|
* Rdf-turtle test:arie2021-06-28
| | | | | Add a test for the turtle parser and the transformation. See the comments in the code for some remarks.
* Rdf-turtle lib/parser.ml: Add a remark about parsers and how to improve them.arie2021-06-28
|
* Include multiple quotes for the literal parser.arie2021-06-28
|
* Include a lot of turtle strings in bin/main.ml, and I checked whetherarie2021-06-28
| | | | they are parsed, and whether they give the expected results. They do.
* Cleaned up some code, changed a few names. Added a test function inarie2021-06-28
| | | | bin/main for turtle strings.
* Rdf_turtle: add initial encodepukkamustard2021-06-28
|
* Rdf.Graph: add to_nested_seqpukkamustard2021-06-28
|
* Rdf_turtle: Add missing bnode_counter to context initialization in decodepukkamustard2021-06-28
|
* Add decode functionarie2021-06-28
|
* Rdf_turtle: Use a bnode_counter to create new blank nodes while parsingpukkamustard2021-06-28
|
* Some small changesarie2021-06-28
|
* Rdf core:arie2021-06-28
| | | | Two little fixes in Predicate and Graph.
* Rdf-turtlearie2021-06-28
| | | | | | | | Improve pp functions and parsers. The pp_functions print a turtle doc to a certain satisfaction now, and the parsers work likewise. Still, there are things that can happen unexpectedly. The code is a bit cleaner now. An issue is: how do we test this properly?
* Some reorganisation of the tests, improve pp functionsarie2021-06-28
|
* Rdf-turtlearie2021-06-28
| | | | debugging, WIP. It's all very messy now, but that should improve soon.
* Rdf turtlearie2021-06-28
| | | | | | | Add turtle -> graph transformation. Well, statement to graph to be precise, but that's only a list.fold away. Add a function in bin for testing. It does things, but now the great debugging can start, because some of these things are unexpected.
* Rdf turtle:arie2021-06-28
| | | | Reorganise modules into different files.
* Rdf turtle test:arie2021-06-28
| | | | | | | add remaining tests. All the parsers have tests now, and they work. It would be good to include more tests, e.g. all the examples from the w3 specifications. Literals cannot be integers, that remains a todo (so all those examples won't work).
* Rdf turtle tests:arie2021-06-28
| | | | | Add some more complicated tests. Update some parsers. Include a few print statements (for testing, they will be removed later).
* Rdf turtle testsarie2021-06-28
| | | | add subject test case (does not work yet).
* Rdf turtlearie2021-06-28
| | | | | add test for directive, improved types, added some pp and equal functions.
* Rdf turtle:AlleyCat2021-06-28
| | | | add object' tests and predobjs tests
* Small change in predobjs parserarie2021-06-28
|
* Rdf_turtle:arie2021-06-28
| | | | added some tests, changed some types.
* Rdf turtle testsarie2021-06-28
| | | | add some more tests. Improve parsers.
* Rdf_turtle:arie2021-06-28
| | | | | | improve tests for parsers, and include more. Add equality functions and pp functions for more types, especially the recursive ones. Not polished at all (a lot of copy paste), but dune build works (that's a start I guess).
* Rdf_turtle testarie2021-06-28
| | | | | forgot to add these files in the last commit. See previous commit for comments.
* Rdf-turtle tests:arie2021-06-28
| | | | | | | Add several tests for parsers. The one for literal is not working yet, because the parser is not right. We don't really deal with whitespaces yet, and only included a few cases.
* Rdf-turtle:arie2021-06-28
| | | | | | | | implement more parsers for the turtle type. Work in progress. Probably a lot of bugs will show up during testing, but having tests its easier to fix those, so first writing the tests is best now. See the comments about the mutually recursive parser. Hopefully that works ...
* Rdf-turtle:arie2021-06-28
| | | | | | | add some more parsers. Add some helper functions (these are optional, maybe it's more clear not to use them. If there's a way to use lift functions with functions that use optional values that would be great (at least a better way than this one).
* Rdf-turtle:arie2021-06-28
| | | | changed some types, added a few parsers.
* Rdf_turtle:arie2021-06-28
| | | | | Two little parsers for irirefs and prefixed_names. To see whether this is the right direction.
* Rdf_turtle:arie2021-06-28
| | | | | | | | | | | add turtle types, following the turtle grammar from https://www.w3.org/TR/turtle/#literals. It is in some places different from this grammar, where simplifications where needed. We don't use the Rdf_core types, except from Iri's. Maybe this is still possible (for example in the case of predicates). It needs some organization to make it more similar to the rdf_core lib, I suppose. It is based on zoggy, but he deviates more from the grammar (although with the same result, AFAICS).
* Rdf_fragment_graph: Fix compare and make equality checks much more efficient.pukkamustard2021-06-28
|
* Rdf_alcotest: add graph to interfacepukkamustard2021-06-28
|
* Rdf_alcotest: add testable for Rdf.Graphpukkamustard2021-06-28
|
* Rdf.Term: Fix compare.pukkamustard2021-06-28
| | | | | compare was not correctly implemented which was breaking equality checks in Map and Set (used in Graph).
* Rdf.Graph: change argument order for mutating functionspukkamustard2021-06-28
|
* Rdf.Graph: add `equal` functionpukkamustard2021-06-28
|
* Rdf_fragment_graph: Expose the `expand` functions.pukkamustard2021-06-28
|
* Rdf_fragment_graph: Add Namespace to signature in implementation...pukkamustard2021-06-24
| | | | Fixes broken build...
* Rdf_fragment_graph: Add namespace helpers.pukkamustard2021-06-24
|
* Merge branch 'graph' into 'main'pukkamustard2021-06-22
|\ | | | | | | | | Rdf.Graph and Rdf_fragment_graph.t: Reimplement using Map and Set from standard library. See merge request public.dream/dromedar/ocaml-rdf!2
| * Rdf_fragment_graph: Add of_triples function.pukkamustard2021-06-22
| | | | | | | | This is especially useful for converting RDF into content-addressable RDF.
| * Rdf_fragment_graph: Reimplement using standard library Map and Set.pukkamustard2021-06-22
| | | | | | | | | | This gets rid of the containers dependency and cleans up implementaiton a bit.
| * Rdf.Graph: Reimplement with Map from the standard librarypukkamustard2021-06-21
|/
* Readme: Update Guix instructions.pukkamustard2021-06-13
| | | | | Using time-machine is no longer necessary as patches have been merged to Guix master.