qualitative spatio-temporal reasoning toolbox
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Calculi
Lib fixed issues that triggered compiler warnings Aug 25, 2015
Source
doc
.dockerignore
.gitignore
COPYING
CREDITS
Dockerfile
HISTORY
INSTALL
Makefile.am
README.md
autogen.sh
check.sh
configure.ac

README.md

SparQ

SparQ is a toolbox for qualitative spatial and temporal reasoning. Qualitative reasoning about spatial and temporal domains aims at dealing with commonsense knowledge, for example sentences like event A happens after event B, spatial region X overlaps with region Y, etc. SparQ implements many qualitative formalisms (Allen's interval algebra, RCC-5/8, etc.) and several reasoning algorithms, see doc/SparQ-Manual.pdf for details.

SparQ released unter the GNU General Public License Version 3. Refer to COPYING for details. As this software is being provided free of charge, warranty as stipulated in sections 11 and 12 shall be governed by the provisions of German civil law concerning gifts (Schenkungsrecht).

SparQ runs on many operating systems including Linux, Mac OS, and Windows (via Docker). For installing SparQ, refer to the INSTALL file.

For further information and appropriate documentation see the manual and have a look at the SparQ website:

https://www.uni-bamberg.de/ai/smart-environments/research/sparq/