1.  Copyright 2007 LarKC Early Adopters Rule-based Reasoner Prototype Barry Bishop STI Innsbruck

2. Introduction Purpose: –show how a pipeline of plug-ins fit together –show wrappingg an existing reasoner (IRIS) –demonstrate anytime behaviour Rule-based reasoning in LarKC –setup an eclipse project with prototype plug-ins –execute some queries –change the statements to be reasoned with –WEB RDF documents => Linked Life Data –modify entailment rules 2 18/05/2009

3. Rule-based Reasoning Rule-based reasoning is –Reasoning with formalisms whose semantics can be captured in (Horn) rules –i.e. if X and Y then Z This is useful in LarKC because –RDF, RDFS, L2, etc have rule-based semantics 3

4. Entailment Rules Example rules: 4 /* rdfp3 */ triple(?v, ?p, ?w) :- triple(?w, ?p, ?v), triple(?p, _iri('rdf:type'), _iri('owl:SymmetricProperty')). /* rdfp7 */ triple(?u, _iri('owl:sameAs'), ?w) :- triple(?u, _iri('owl:sameAs'), ?v), triple(?v, _iri('owl:sameAs'), ?w). 18/05/2009

5. Getting Started Required software –Java JDK 1.6 –eclipse Import LarKC eclipse projects –file menu -> import –choose general -> existing projects in to workspace –select "copy projects into workspace" platform plugins pipelines 5 18/05/2009

6. Execute a query Step 1: In the project 'pipelines' run the class: –rule-scenario/src/.../ConfigurableSimplePipeline –set max heap size: -Xmx1024m If you have an internet connection, then you should see several iterations of pipeline output Plug-ins used: –sparql to triple pattern query transformer –sindice identifier –growing data selecter –IRIS reasoner plug-in (with no rules) 6 18/05/2009

7. Different Data Step 2: Switch to some local data –http://dev.isb-sib.ch/projects/uniprot-rdf/http://dev.isb-sib.ch/projects/uniprot-rdf/ Use the SimpleFileReaderIdentifier to read in some uniprot data-sets Use the IRIS reasoner plug-in, but without any rules yet Execute a query to get all triples –two iterations of pipeline –~9800 triples 7 18/05/2009

8. Change Inference Rules Step 3: Switch on inference –RDF, L2 or RDFS –Output: More triples (~28000 for RDFS) Step 4: Look for sub-classes of 'pathway 402' –No inference: ~50 sub-classes Step 5: Look for sub-classes of 'pathway 402' –With inference (RDFS): 238 sub-classes 8 18/05/2009

9. Create Inference Rule Step 6: Sub-classes of self –Output (any entailment): Nothing! –Why? –Look for ':Class' in core.owl Step 7: Fix –Copy L2_entailment.rules to L2_plus.rules –Add this: –triple(_iri("owl:Class"),_iri("rdfs:subClassOf"),_iri("rdfs:Class")) :-. –Use the new rule-file and re-run –Now we see the inferences! 9 18/05/2009

10. Summary You have: –seen a handful of LarKC plug-ins –used them together in a simple pipeline –swapped plug-ins –experimented with rule-based reasoning 10 18/05/2009