Project Ideas

Knowledge Representation via ACE

Following the article https://arxiv.org/abs/1303.4293, we can think in a lot of possible extensions. For Portuguese support, we would need to develop the Portuguese concrete syntax in GF. The idea of code the translation of ACE to OWL in GF would be very interesting to explore.

Learning support tools

We would like to have an environment similar to https://www.hackerrank.com for receiving submissions of students projects.

SUMO to TFF and HTF

We have an SUMO to TPTP/FOF translation in https://github.com/own-pt/cl-krr. We would like to extend to TFF and later to TFF or THF. Alternatively, we can also translate to http://www.ai.sri.com/~stickel/snark.html language.

Semantic Web technologies

Both systems were realised opensource, much can be done to improve them! We need Common Lisp libraries for Linked Data and related technologies:

• json-ld: some initial attempt made from cl-json-ld and maybe some references from Franz’s code.
• owlapi: some references at cliki. Common Lisp really need an OWLAPI library.
• Racer and Wilbur are very nice libs.

I would be very happy to supervise a work (undergrad or masters) to develop such libraries in Common Lisp.

Lisp library for metadata extraction

Contribute to projects like http://code.google.com/p/cl-jpegmeta/ and http://www.xach.com/lisp/zpb-exif/ to improve both library and the hability to handle IIM-style IPTC fields, EXIF fields and XMP metadata.

---