PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX prod: <http://example.com/products/> PREFIX ex: <http://example.com/> ## insert some triples into <http://marklogic.com/semantics/sb/products/inf-1> ## prod:1001 is a blue Henley ## prod:1002 is a blue shirt INSERT DATA { GRAPH <http://marklogic.com/semantics/sb/products/inf-1> { prod:1001 rdf:type ex:Henley ; ex:color "blue" . prod:1002 rdf:type ex:Shirt ; ex:color "blue" . } } PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX prod: <http://example.com/products/> PREFIX ex: <http://example.com/> # search for blue shirts SELECT ?product FROM <http://marklogic.com/semantics/sb/products/inf-1> WHERE { ?product rdf:type ex:Shirt ; ex:color "blue" } PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX prod: <http://example.com/products/> PREFIX ex: <http://example.com/> ## insert some ontology data into http://marklogic.com/semantics/sb/products/inf-1 INSERT DATA { GRAPH <http://marklogic.com/semantics/sb/products/inf-1> { ex:Henley rdfs:subClassOf ex:Shirt . } }(: If you query for blue shirts, even though the ontology says that Henleys are blue shirts, you won't get blue Henleys unless you associate a ruleset with the query. * create a store that uses the RDFS ruleset for inferencing * add that store to the query * run the query and you'll see the blue shirt AND the blue Henley :) let $rdfs-store := sem:ruleset-store("rdfs.rules",sem:store() ) return (: use the store you just created - pass it into sem:sparql() :) sem:sparql(' PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX prod: <http://example.com/products/> PREFIX ex: <http://example.com/> SELECT ?product FROM <http://marklogic.com/semantics/sb/products/inf-1> WHERE { ?product rdf:type ex:Shirt ; ex:color "blue" } ', (), (), $rdfs-store ) ## insert some triples from geonames ## * "Greater London" has parentFeature "England" PREFIX gn: <http://www.geonames.org/ontology#> PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> INSERT DATA { GRAPH <http://marklogic.com/semantics/sb/customers/inf-1> { <http://sws.geonames.org/2648110/> rdfs:isA gn:Feature ; rdfs:isDefinedBy <http://sws.geonames.org/2648110/about.rdf> ; gn:name "Greater London" ; gn:parentFeature <http://sws.geonames.org/6269131/> . <http://sws.geonames.org/6269131/> rdfs:isA gn:Feature ; rdfs:isDefinedBy <http://sws.geonames.org/6269131/about.rdf> ; gn:name "England" ; gn:parentFeature <http://sws.geonames.org/2635167/> . } }## insert some triples about a customer - John Smith ## * John Smith lives in "Greater London" PREFIX gn: <http://www.geonames.org/ontology#> PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX cus: <http://marklogic.com/semantics/sb/customers/inf-1#> PREFIX ex: <http://example.com/> WITH <http://marklogic.com/semantics/sb/customers/inf-1> INSERT { cus:JohnSmith ex:livesIn ?city . } WHERE { ?city gn:name "Greater London" . } (: Create a ruleset that defines the predicate "livesIn" * create a rules file and insert it into the Schemas database Note: run this from Query Console with "Content Source" set to "Schemas" :) xdmp:document-insert( '/rules/livesin.rules' , text{ ' # my rules for inference prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> prefix ex: <http://example.com/> prefix gn: <http://www.geonames.org/ontology#> rule "lives in" construct { ?person ex:livesIn ?place2 } { ?person ex:livesIn ?place1 . ?place1 gn:parentFeature ?place2 } ' } ) (: find places that John Smith lives in – with inferencing, using my ruleset :) let $my-store := sem:ruleset-store("/rules/livesin.rules",sem:store() ) return (: use the store you just created - pass it in to sem:sparql() :) sem:sparql(' PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX gn: <http://www.geonames.org/ontology#> PREFIX ex: <http://example.com/> SELECT ?person ?placeName FROM <http://marklogic.com/semantics/sb/customers/inf-1> WHERE { ?person ex:livesIn ?place . ?place gn:name ?placeName } ORDER BY ?person ', (), (), $my-store ) ## to check: find places that John Smith lives in – without inferencing PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX gn: <http://www.geonames.org/ontology#> PREFIX ex: <http://example.com/> SELECT ?person ?placeName FROM <http://marklogic.com/semantics/sb/customers/inf-1> WHERE { ?person ex:livesIn ?place . ?place gn:name ?placeName }/* Query using my rukleset - JavaScript */ var myStore = sem.rulesetStore("/rules/livesin.rules",sem.store() ) var query = " \ PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> \ PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> \ PREFIX gn: <http://www.geonames.org/ontology#> \ PREFIX ex: <http://example.com/> \ \ SELECT ?person ?placeName \ FROM <http://marklogic.com/semantics/sb/customers/inf-1> \ WHERE \ { \ ?person ex:livesIn ?place . \ ?place gn:name ?placeName \ }" sem.sparql( query, [], [], myStore ) ## ## Find blue shirts WITHOUT the need for an inference rule ## * use a proprtty path ## * Note: this is generally much more efficient than using inference ## PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX prod: <http://example.com/products/> PREFIX ex: <http://example.com/> SELECT ?product FROM <http://marklogic.com/semantics/sb/products/inf-1> WHERE { ?product rdf:type/rdfs:subClassOf* ex:Shirt . } (: Set the default ruleset for the database "Documents" to "rdfs.rules" Now any SPARQL query against the "Documents" database will apply the RDFS ruleset by default. Note: other ways to do this: * in the Admin UI, click on database "Documents", scroll down to "default rulesets" on the left-hand side * use the REST management API - see [http://localhost:8002]/manage/v2/databases/inference/properties :) import module namespace admin = "http://marklogic.com/xdmp/admin" at "/MarkLogic/admin.xqy"; let $config := admin:get-configuration() let $dbid := admin:database-get-id($config, "Documents") let $rules := admin:database-ruleset("rdfs.rules") let $new-config := admin:database-add-default-ruleset($config, $dbid, $rules) return admin:save-configuration($new-config) (: Get the default ruleset(s) for the database "Documents" Note: other ways to do this: * in the Admin UI, click on database "Documents", scroll down to "default rulesets" on the left-hand side * use the REST management API - see [http://localhost:8002]/manage/v2/databases/Documents/properties :) import module namespace admin = "http://marklogic.com/xdmp/admin" at "/MarkLogic/admin.xqy"; let $config := admin:get-configuration() let $dbid := admin:database-get-id($config, "Documents") let $rules := admin:database-ruleset("rdfs.rules") let $db-rulesets := admin:database-get-default-rulesets($config, $dbid) return $db-rulesetsimport module namespace admin = "http://marklogic.com/xdmp/admin" at "/MarkLogic/admin.xqy"; (: Delete all the default rulesets for the database "Documents" Note: other ways to do this: * in the Admin UI, click on database "Documents", scroll down to "default rulesets" on the left-hand side * use the REST management API - see [http://localhost:8002]/manage/v2/databases/Documents/properties :) let $config := admin:get-configuration() let $dbid := admin:database-get-id($config, "Documents") let $rules := admin:database-ruleset("rdfs.rules") let $db-rulesets := admin:database-get-default-rulesets($config, $dbid) let $new-config := admin:database-delete-default-ruleset($config, $dbid, $db-rulesets) return admin:save-configuration($new-config)PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX prod: <http://example.com/products/> PREFIX ex: <http://example.com/> ## insert another triple into <http://marklogic.com/semantics/sb/products/inf-1> ## prod:1003 is a Henley that has hue "blue" INSERT DATA { GRAPH <http://marklogic.com/semantics/sb/products/inf-1> { prod:1003 rdf:type ex:Henley ; ex:hue "blue" . } } PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX prod: <http://example.com/products/> PREFIX ex: <http://example.com/> ## insert some more ontology data into http://marklogic.com/semantics/sb/products/inf-1 ## the predicate ex:color is equivalent to the predicate ex:hue INSERT DATA { GRAPH <http://marklogic.com/semantics/sb/products/inf-1> { ex:color owl:equivalentProperty ex:hue . } }(: SPARQL query using 2 rulesets, RDFS and owl:equivalentProperty Other ways to do this: * set the default rulesets for the database to RDFS and owl:equivalentProperty; * query using SPARQL Query from query console or REST endpoint :) (: create a store that uses the RDFS and owl:equivalentProperty rulesets for inferencing :) let $rdfs-store := sem:ruleset-store( ("rdfs.rules", "equivalentProperty.rules"), sem:store() ) return (: use the store you just created - pass it into sem:sparql() :) sem:sparql(' PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX prod: <http://example.com/products/> PREFIX ex: <http://example.com/> SELECT ?product FROM <http://marklogic.com/semantics/sb/products/inf-1> WHERE { ?product rdf:type ex:Shirt ; ex:color "blue" } ', (), (), $rdfs-store ) ## Use an ontology and a built-in ruleset for inference ## write your own ruleset and use it in a query## ## Inference with more than 1 ruleset ## Note: you can also create your own ruleset that combines existing rulesets (using "import") ## * see the rulesets in your MarkLogic install directory at $MARKLOGIC/Confid/*.rules ##