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/sme/research/sparq/