1 / 19

OWL-QL

OWL-QL. Joshua Scotton jscotton@dcs.warwick.ac.uk. OWL-QL. OWL Query Language) Based on DQL (DAML Query Lang.) Simple Request-Response Model http://www-ksl.stanford.edu/projects/owl-ql/. Basic Queries. a query pattern (required) a must-bind variables list a may-bind variables list

jonco
Download Presentation

OWL-QL

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. OWL-QL Joshua Scotton jscotton@dcs.warwick.ac.uk

  2. OWL-QL • OWLQuery Language) • Based on DQL (DAML Query Lang.) • Simple Request-Response Model • http://www-ksl.stanford.edu/projects/owl-ql/

  3. Basic Queries • a query pattern (required) • a must-bind variables list • a may-bind variables list • a don’t bind variables list • an answer pattern • a query premise • an answer KB pattern • an answer bundle size bound

  4. A simple OWL-QL query If C1 is a Seafood Course and W1 is a drink of C1, what color is W1? P: (type C1 Seafood-Course) (drink C1 W1) Q: (has-color W1 ?x) V: must-bind ?x AP: drink ?x Wine with Seafoood KB: http://somewhere.com/wine.owl A: drink White Wine with Seafood

  5. A Simple OWL-QL Query The following is the actual query: <owl-ql:queryxmlns:owl-ql="http://www.w3.org/2003/10/owl-ql-syntax#" xmlns:var="http://www.w3.org/2003/10/owl-ql-variables#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#"> <owl-ql:premise> <rdf:RDF> <rdf:Descriptionrdf:about="#C1"> <rdf:typerdf:resource="#Seafood-Course"/> <drink rdf:resource="#W1"/> </rdf:Description> </rdf:RDF></owl-ql:premise> <owl-ql:queryPattern> <rdf:RDF> <rdf:Descriptionrdf:about="#W1"> <has-color rdf:resource="http://www.w3.org/2003/10/owl-ql-variables#x"/> </rdf:Description> </rdf:RDF> </owl-ql:queryPattern> <owl-ql:mustBindVars> <var:x/> </owl-ql:mustBindVars> <owl-ql:answerKBPattern> <owl-ql:kbRefrdf:resource="http://ontolingua.stanford.edu/wines.owl"/> </owl-ql:answerKBPattern> <owl-ql:answerSizeBound>5</owl-ql:answerSizeBound> </owl-ql:query> This would normally be included inside a SOAP message

  6. Response to Simple Query <rdfs:Class rdf:ID="SEAFOOD-COURSE"> <owl:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#DRINK"/> <owl:toClass> <owl:Restriction> <owl:onProperty rdf:resource="#COLOR"/> <owl:hasValue rdf:resource="#WHITE"/> </owl:Restriction> </owl:toClass> </owl:Restriction> </owl:subClassOf> </rdfs:Class>

  7. Query patterns • specifies a collection of OWL sentences in which some URI refs are considered to be variables • Query Pattern: (owns ?p ?c) (type ?c Car) (has-color ?c Red)

  8. OWL-QL bindings Three types of OWL-QL bindings • must-bind variables lists Answers must provide bindings for all the must-bind variables • may-bind variables lists Answers may provide bindings for any of the may-bind variables • don’t-bind variables lists Answers are not to provide bindings for any of the don’t-bind variables

  9. OWL-QL bindings • A KB may entail the existence of a query answer, but not entail a binding for every variable in the query • A KB says -every person has exactly one father and - Joe is a person • The KB -entails that Joe has a father -but may not entail a value of property “hasFather” for Joe (i.e., the KB may not identify the father)

  10. Another Query Who owns a red car? Query Pattern: (owns ?p ?c) (type ?c Car) (has-color ?c Red) Must-Bind Variable: ?p Don’t-Bind Variable: ?c Answer Pattern: owns ?p a red car

  11. Answer patterns • specify the format in which answer bindings are returned • Answer Pattern: owns ?p a red car

  12. Query Premises • “if-then” queries cannot be stated using only a query pattern • When a premise is included in a query it is considered to be included in the answer KB Query: “If C1 is a Seafood Course and W1 is a drink of C1, then what color is W1? Premise: (type C1 Seafood-Course) (has-drink W1 C1) Query Pattern: has-color W1 ?x Must-Bind Variables: ?x

  13. Answer KB patterns • The Answer KB is a set of OWL sentences that are used by the server in answering the query • If a query’s answer KB pattern is a variable then the server is free to select or to generate an answer KB from which to answer the query. • If a query’s answer KB pattern is a list of KBs then answer sentences must be entailed by conjunction of the KBs in that list

  14. Answer bundle size bounds • specify the maximum number of answers in each “bundle” • answers are delivered by the server in bundles <owl-ql:answerSizeBound>5</owl-ql:answerSizeBound> • contain at most the number of query answers given by the answer bundle size bound

  15. The Car Query <owl-ql:queryxmlns:owl-ql="http://www.w3.org/2003/10/owl-ql-syntax#" xmlns:var="http://www.w3.org/2003/10/owl-ql-variables#"> <owl-ql:queryPattern><rdf:RDF> <rdf:Descriptionrdf:about="http://www.w3.org/2003/10/owl-ql-variables#p"> <owns rdf:resource="http://www.w3.org/2003/10/owl-ql-variables#c"/> </rdf:Description> <Car rdf:ID="http://www.w3.org/2003/10/owl-ql-variables#c"> <has-color rdf:resource="#Red"/> </Car> </rdf:RDF></owl-ql:queryPattern> <owl-ql:mustBindVars><var:p/></owl-ql:mustBindVars> <owl-ql:answerKBPattern><owl-ql:kbRefrdf:resource="http://joedata/joe.owl"/></owl-ql:answerKBPattern> <owl-ql:answerSizeBound>5</owl-ql:answerSizeBound> </owl-ql:query>

  16. An OWL-QL answer Contains: • answer pattern instances • an answer bundle

  17. The Car Query Answer <owl-ql:answerBundlexmlns:owl-ql="http://www.w3.org/2003/10/owl-ql-syntax#" xmlns:var="http://www.w3.org/2003/10/owl-ql-variables#"> <owl-ql:queryPattern><rdf:RDF> <rdf:Descriptionrdf:about="http://www.w3.org/2003/10/owl-ql-variables#p"> <owns rdf:resource="http://www.w3.org/2003/10/owl-ql-variables#c"/> </rdf:Description> <Car rdf:ID="http://www.w3.org/2003/10/owl-ql-variables#c"> <has-color rdf:resource="#Red"/> </Car> </rdf:RDF></owl-ql:queryPattern> <owl-ql:answer> <owl-ql:binding-set> <var:prdf:resource="#Joe"/> </owl-ql:binding-set> <owl-ql:answerPatternInstance> <rdf:RDF> <rdf:Descriptionrdf:about="#Joe"> <owns rdf:resource="http://www.w3.org/2003/10/owl-ql-variables#c"/> </rdf:Description> <Car rdf:ID="http://www.w3.org/2003/10/owl-ql-variables#c"><has-color rdf:resource="#Red"/></Car> </rdf:RDF> </owl-ql:answer> <owl-ql:continuation> <owl-ql:none/> </owl-ql:continuation> </owl-ql:answerBundle>

  18. Online Demonstrations • Try OWL-QL Query Service at http://onto.stanford.edu:8080/owql/FrontEnd

  19. Questions?

More Related