[Attempto] About RACE reasoner source code and development

[Reslav Hollos]

Hello, I'm interested in digging into the internals of the RACE reasoner to
see how it works and how to extend it, but cannot find any code for it.

There are several places related to RACE that I found:
- web client and service http://attempto.ifi.uzh.ch/site/resources/
- swi-prolog package that can do requests to the above service
https://github.com/fnogatz/race
- RACE research papers
https://pdfs.semanticscholar.org/e209/72f2eef36cadcd6abb2453c6326c3f79dcf9.pdf
,
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.6.4744&rep=rep1&type=pdf

- this mailing list with the subject "[Attempto] Source Code of RACE
reasoner"
https://lists.ifi.uzh.ch/pipermail/attempto/2012-September/000980.html

I'm confused about the mailing list part as its first entry already
contains cited text, and there is no mention of RACE or source at all nor
is there mention in the following replies with the same subject. Am I
missing something?

Also, I'd like to run RACE locally to prevent request delays and have it
not run on an 'older machine' as stated in the first mentioned RACE
research paper above.

Is there a way to contribute to the development of RACE?

Thanks,
Reslav
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20180822/e7531cd0/attachment.html>