1. Ontology Views Update Marianne Shaw 03/04/2008

2. Overview Sub and recursive queries on DB model  ds-config.ttl  Demo: Liver part TC Skolem Functions  Syntax & result  Status  Demo: CONSTRUCT query Next up

3. Sub & recursive queries on DB Problem:  Need to be able to specify data sources in subquery  Currently can only specify DB model programmatically Solution:  Support ds-config.ttl file that provides data source bindings to AssemblerModels  Builds on top of Todd's work with AssemblerModels

4. ds-config.ttl @prefix rdf:. @prefix rdfs:. @prefix owl:. @prefix ja:. @prefix dsc:. rdf:type dsc:root ; dsc:dataSource _:source1 ; dsc:dataSource _:source2. _:source1 dsc:modelName "http://bioontology.org/projects/ontologies/fma/fmaOwlFullComponent_1_4_0" ; dsc:assemblerModel _:model1. _:source2 dsc:modelName "file:///home/mar/OntologyViews/subQueries/db_subqueries/FMA_OWL_Service/graph3.ttl" ; dsc:assemblerModel _:model2. _:model1 rdf:type ja:OntModel ; rdfs:label "_:modelOnt1" ; ja:baseModel _:modelDB1 ; ja:ontModelSpec _:omSpec.

5. Demo: Recursive Query on FMA PREFIX dl: CONSTRUCT { ?x ?y ?z.} FROM NAMED [ CONSTRUCT {dl:Liver dl:part ?obj} FROM WHERE {dl:Liver dl:part ?obj.} UNION CONSTRUCT {?a ?b ?c. ?c dl:part ?d} FROM NAMED WHERE { GRAPH { ?a ?b ?c. }. GRAPH { ?c dl:part ?d. }. } ] WHERE { GRAPH {?x ?y ?z.} }

6. Skolem Functions Query Syntax: [[ (arg1,...) ]] Result URL: PREFIX xsd: PREFIX dc: PREFIX ac: PREFIX bobo: PREFIX : CONSTRUCT { [[bobo:skolem(?y)]] ac:booktitle [[bobo:skolem(?z)]] } FROM WHERE { ?x ?y ?z. ?a ?b [[bobo:skolem(?z)]]. }

7. Demo: Skolem Function PREFIX xsd: PREFIX dc: PREFIX ac: PREFIX bobo: PREFIX : CONSTRUCT { [[bobo:skolem(?y)]] ac:booktitle [[bobo:skolem(?z)]] } FROM WHERE { ?x ?y ?z. } @prefix dc:. @prefix bob:. [] dc:title "Harry Potter and the Philospher's Stone". [] dc:title "Harry Potter and the Chamber of Secrets". [] dc:title 5. [] dc:title.

8. Skolem Function Status CONSTRUCT queries work Other query forms not yet working  SELECT

9. Next up? Finish Skolem functions; clean up & check in Write Onard's RADLEX queries; run against FMA  Generate RADLEX view Onard has provided SAV files (from Gary's software) for small portions of functionality