Sparql query to demo exercising reasoner.

Include expected output in readme.

Author: grosscol

acceptable.sparql

@@ -0,0 +1,4 @@
+SELECT ?subject
+WHERE {
+ ?subject rdf:type think-pudding:AcceptableCandidate
+}

minimal.owl

@@ -44,13 +44,13 @@
 
 
 
-    <!-- http://example.com/think-pudding#hasAColor -->
+    <!-- http://example.com/think-pudding#hasColor -->
 
-    <owl:ObjectProperty rdf:about="http://example.com/think-pudding#hasAColor">
+    <owl:ObjectProperty rdf:about="http://example.com/think-pudding#hasColor">
         <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2002/07/owl#topObjectProperty"/>
         <rdfs:range>
             <owl:Restriction>
-                <owl:onProperty rdf:resource="http://example.com/think-pudding#hasAColor"/>
+                <owl:onProperty rdf:resource="http://example.com/think-pudding#hasColor"/>
                 <owl:someValuesFrom rdf:resource="http://example.com/think-pudding#Color"/>
             </owl:Restriction>
         </rdfs:range>
@@ -117,7 +117,7 @@
 
     <owl:NamedIndividual rdf:about="http://example.com/think-pudding#Foo">
         <rdf:type rdf:resource="http://example.com/think-pudding#Candidate"/>
-        <hasAColor rdf:resource="http://example.com/think-pudding#Red"/>
+        <hasColor rdf:resource="http://example.com/think-pudding#Red"/>
     </owl:NamedIndividual>
 
 
@@ -129,7 +129,7 @@
         <rdf:type rdf:resource="http://example.com/think-pudding#Color"/>
         <rdf:type>
             <owl:Restriction>
-                <owl:onProperty rdf:resource="http://example.com/think-pudding#hasAColor"/>
+                <owl:onProperty rdf:resource="http://example.com/think-pudding#hasColor"/>
                 <owl:someValuesFrom rdf:resource="http://example.com/think-pudding#Color"/>
             </owl:Restriction>
         </rdf:type>
@@ -169,7 +169,7 @@
                         <rdf:first>
                             <rdf:Description>
                                 <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#IndividualPropertyAtom"/>
-                                <swrl:propertyPredicate rdf:resource="http://example.com/think-pudding#hasAColor"/>
+                                <swrl:propertyPredicate rdf:resource="http://example.com/think-pudding#hasColor"/>
                                 <swrl:argument1 rdf:resource="http://example.com/think-pudding#c"/>
                                 <swrl:argument2 rdf:resource="http://example.com/think-pudding#Red"/>
                             </rdf:Description>

readme.md

@@ -1,34 +1,41 @@
 # Think Pudding
-A minimal proof of concept reasoner example.
+A minimal proof of concept reasoner and ontology example.
 
 ## Description
-The minimal.owl ontology is rdf/xml formatted, and contains a single SWRL rule/
-That rule specifies that a Candidate that hasColor(Red) is an acceptable Candidate.
+The minimal.owl ontology is rdf/xml formatted, and contains a single SWRL rule.
+That rule specifies that a Candidate that hasColor(Red) is an AcceptableCandidate.
+```
+Candidate(?c) ^ hasColor(?c, Red) -> AcceptableCandidate(?c)
+```
 There is a named individual Color "Red".
 The named individual candidate "Foo". 
 Foo hasColor Red in this ontology, and reasoners should infer that Foo is an AcceptableCandidate.
 
 ## Use
 
-### OwlTools Command Line
-
-```
-owltools minimal.owl --reasoner hermit --run-reasoner --assert-implied
-```
-
 ### StarDog Command Line
-
 Start up & demonstrate
 ```
 # Start server and create database
 stardog-admin server start
 stardog-admin db create -n 'mydb' minimal.owl
 
-# Query without reasoning
-stardog query mydb "select distinct * where { ?s ?p ?o } limit 10"
+# Query without reasoning will return no results
+stardog query mydb acceptable.sparql
 
-# Query with reasoning
-stardog query mydb "select distinct * where { ?s ?p ?o } limit 10"
+# +---------+
+# | subject |
+# +---------+
+# +---------+
+
+# Query with reasoning will return single result, :Foo
+stardog query --reasoning acceptable.sparql
+
+# +---------+
+# | subject |
+# +---------+
+# | :Foo    |
+# +---------+
 ```
 
 Cleanup & shutdown
@@ -37,6 +44,14 @@ stardog-admin db drop mydb
 stardog-admin server stop
 ```
 
+### OwlTools Command Line
+The owltools does not make the inference that Foo is an AcceptableCandidate.
+
+```
+owltools minimal.owl --reasoner hermit --run-reasoner --assert-implied
+```
+
+
 ## Requirements
 - owltools
 - StarDog Community