search

vangelisv / thea

OWL2 library for Prolog
http://vangelisv.github.com/thea
108 stars 19 forks source link

FIXED: avoid discontiguous/2. This used to work, but was caused by a #27

Closed JanWielemaker closed 5 years ago

JanWielemaker commented 5 years ago

misinterpretation of the ISO docs. No other Prolog seems to do this.

cmungall commented 5 years ago

Thanks!

Btw, I am not using thea so much today, I am tending to use more lightweight wrappers directly over rdf11, e.g.:

https://github.com/cmungall/sparqlprog/blob/aa2d6f27be09e3b9bc0e862a43e7030ef5609fa6/prolog/sparqlprog/owl_util.pl#L147-L153

Would like to abstract this into its own more feature complete library some time

JanWielemaker commented 5 years ago

Would like to abstract this into its own more feature complete library some time

Funny. We seem to be walking in opposite directions :smile: I'm involved in a project where people try to formalize concepts from philosophers where reasoning plays a role. Thea seems a great tool for that. I'm trying to connect it to ACE (Attempto Controlled English). The plan is to bring these together under the SWISH web interface, together with some more stuff.

But yes, the community seems to be going from the formal DL stuff to much more lightweight approaches. For most applications I agree. I'm enormously enjoying formal reasoning while migrating XSB style tabling to SWI and playing with OWL2.

P.s. 7b185df is broken. I will try to fix that shortly. I can now run the generated wine.pl in SWI! More patches will be added. I also need to get the Manchester syntax running.

Edit: 7b185df is fine. It just solves only part of the problem. Working on the rest.