There is also a really interesting Biomedical toolkit for SWI-prolog, which if IIRC uses or integrates with the semantic capabilities (for ontologies etc), although it was a while since I looked at it, so might recall wrong:

* BlipKit - Biomedical Logic Programming : http://www.blipkit.org