First steps working.

Author: Jan Wielemaker

README.md

@@ -0,0 +1,22 @@
+# Concepts in motion playground
+
+This repository contains some simple code  to   see  whether  we can get
+reasoning to work with Thea.  To use it:
+
+  - Get the development version of SWI-Prolog (for the tabling)
+  - Download:
+
+    ```
+    git clone [email protected]:conceptsinmotion/playground
+    git submodule update --init
+    ```
+  - Run
+    ```
+    swipl playground.pl
+    ?- initialize_reasoner.
+    ?- reasoner_ask(subClassOf(Sub,Super)).
+    ```
+
+Test on Linux (Ubuntu 19.04). Should work   on any platform where Prolog
+and Java work. On some platform some  environment setup may be needed to
+get JPL (the Prolog <-> Java interface) to run.

playground.pl

@@ -27,3 +27,19 @@
     !.
 validate(X) :-
     format(user_error, 'Invalid: ~p~n', [X]).
+
+%!  initialize_reasoner
+%
+%   Initialise the reasoner and send it our ontology. After this we can
+%   use e.g.
+%
+%   ```
+%   ?- reasoner_ask(subClassOf(Sub,Super)).
+%   ?- reasoner_ask(unsatisfiable(Class)).
+%   ```
+
+initialize_reasoner :-
+%   debug(owl2),
+    load,
+    initialize_reasoner(pellet, _Reasoner).
+