Hey Paul, nice work! Can I find the code somewhere? This is a webpack setup right? We have also improved query.wikidata.org very much with stuff like auto completion, so maybe we could share some code in the future. You are very welcome to contribute! You will find the git project here (see gui folder): git clone https://gerrit.wikimedia.org/r/wikidata/query/rdf/ Cheers, Jonas 2015-11-11 1:35 GMT+01:00 Info WorldUniversity < info(a)worlduniversityandschool.org&gt;gt;: -- Jonas KressSoftware Developer Wikimedia Deutschland e. V. | Tempelhofer Ufer 23-24 | 10963 BerlinPhone: +49 (0)30 219 158 26-0http://wikimedia.de Imagine a world, in which every single human being can freely share in the sum of all knowledge. That‘s our commitment. Wikimedia Deutschland - Gesellschaft zur Förderung Freien Wissens e. V. Eingetragen im Vereinsregister des Amtsgerichts Berlin-Charlottenburg unter der Nummer 23855 B. Als gemeinnützig anerkannt durch das Finanzamt für Körperschaften I Berlin, Steuernummer 27/681/51985.

Hi! You may want to check out https://wikidata.metaphacts.com -- Stas Malyshev smalyshev(a)wikimedia.org

On 12.11.2015 16:30, Paul Houle wrote: As far as I can tell, this is a SPARQL-based copy of the inference rules given in the OWL standard [1], which, to be fair, should probably be counted as something that "has been written about OWL" ;-) On a more technical note, it should be remarked that the queries do not really "implement OWL RL". First of all, you would need to run these queries recursively and add their results to the database in each step, which is not something you could do through a public SPARQL endpoint. The queries are actually SPARQL-encoded inference rules that need to be executed in a way that is not the usual mode of answering a SPARQL query. Secondly, these rules only implement certain aspects of OWL RL (instance retrieval). They do not, in particular, correctly implement retrieval of subclass-of axioms. In fact, it is not possible to implement correct subclass-of reasoning for OWL RL by using RDF-based rules in this way, even if they are executed recursively [2]. It is possible to do it with rules, but these are beyond SPARQL CONSTRUCT, unless your "SPARQL rule engine" implements some more complex redundancy checking before adding CONSTRUCT results to the database. On the other hand, it is entirely possible to implement correct OWL QL (note: *QL* not *RL*) reasoning in SPARQL without even using "rules" that need any recursive evaluation [3]. This covers all of RDFS, and indeed some of the patterns in these queries are quite well-known to Wikidata users too (e.g., using "subclassOf*" in a query). Depending on how much of OWL QL you want to support, the SPARQL queries you get in this case are more or less simple. This work also gives arguments as to why this style of SPARQL-based implementation does (most likely) not exist for OWL RL [3]. (I come to bury, not praise OWL -- if there are some OWL I am afraid that the rules you cited are actually an example of some such "mindless" inference. They infer some types of axioms, such as subclass of, that are not part of their intended output (that is: which are never inferred completely anyway). There are other inference rule sets that avoid this useless extra inferences and still obtain all instance-of relations in OWL RL. I write this not to praise or "bury" any technology, just to clarify some apparent misconceptions. (In particular, I completely agree with the fact that SPARQL is not that hard to grok, and that nicer interfaces and maybe further tutorial-style introductions would be useful.) Regards, Markus [1] http://www.w3.org/TR/owl2-profiles/#Reasoning_in_OWL_2_RL_and_RDF_Graphs_us… [2] http://korrekt.org/page/The_Not-So-Easy_Task_of_Computing_Class_Subsumption… [3] http://korrekt.org/page/Schema-Agnostic_Query_Rewriting_in_SPARQL_1.1

On 11/12/2015 09:10 AM, Markus Krötzsch wrote: [...] Does OWL QL cover *all* of RDFS, even things like subproperties of rdfs:subclassOf and rdfs:subPropertyOf? peter

On 11/13/2015 01:21 AM, Markus Krötzsch wrote: Yes indeed, and hence my query. peter

Paul and Wikidatans, Thanks again for your great simplification of SPARQL in qwery.me. Check out too - http://www.learningsparql.com/ - with its variety of video tutorials part way down. Scott On Thu, Nov 12, 2015 at 8:36 AM, Thomas Douillard < thomas.douillard(a)gmail.com&gt; wrote: -- - Scott MacLeod - Founder & President - Please donate to tax-exempt 501 (c) (3) - World University and School - via PayPal, or credit card, here - - http://worlduniversityandschool.org - or send checks to - 415 480 4577 - PO Box 442, (86 Ridgecrest Road), Canyon, CA 94516 - World University and School - like Wikipedia with best STEM-centric OpenCourseWare - incorporated as a nonprofit university and school in California, and is a U.S. 501 (c) (3) tax-exempt educational organization. World University and School is sending you this because of your interest in free, online, higher education. If you don't want to receive these, please reply with 'unsubscribe' in the body of the email, leaving the subject line intact. Thank you.