SparQ
SparQ copied to clipboard
dwolter
qualitative spatio-temporal reasoning toolbox
I'm on Ubuntu 22.04. When I make identitcal sequential calls, the ouputs are different (second is an error). The docker works as intended, so I imagine it's something specific to...
My libtool package version is 2.4.6-15. The INSTALL file specifies that "In the source directory, run autogen.sh (or: autoreconf -fi) to generate the configure script." autogen.sh displays "./autogen.sh: 5: glibtoolize:...
Hi, My input file is in RDF format, but I am having trouble finding any tutorials on how to import the file and get started using SparQ toolbox. I installed...
My configuration is the following: Debian Testing with kernel 5.19.0, g++ 12.2.0, and SBCL 2.2.3. I use the SparQ version from the master branch from this repository. I am trying...
In its current version (V0.8) the rendering of certain symbols, such as quotation marks `"` and angle brackets (``), is inaccurate/broken throughout the SparQ manual due to missing font enconding....
EQ in Common Lisp is not for comparison of characters and numbers. Characters and numbers have no identity and may be copied by an implementation. Thus effectively comparing 3 and...
There's an issue with symbols 'composition and 'converse: ./sparq a-reasoning pc analyze-operation composition An error occured: No matching command found or erroneous input. Suggestions: a-reasoning analyze-operation (1) (1): COMPOSITION is...
