Joshua Scotton OWL-QL.

Slides:



Advertisements
Similar presentations
TWO STEP EQUATIONS 1. SOLVE FOR X 2. DO THE ADDITION STEP FIRST
Advertisements

LEUCEMIA MIELOIDE AGUDA TIPO 0
Modal Versions of the Ontological Argument Based on Alvin Plantingas discussion in God, Freedom, and Evil (1974).
You have been given a mission and a code. Use the code to complete the mission and you will save the world from obliteration…
Information Technology Quiz Questions with Answers Part 11
Information Technology Quiz Questions with Answers Part 9
Applications Computational LogicLecture 11 Michael Genesereth Spring 2004.
Bellwork If you roll a die, what is the probability that you roll a 2 or an odd number? P(2 or odd) 2. Is this an example of mutually exclusive, overlapping,
Inference in First-Order Logic
Copyright © 2011, Elsevier Inc. All rights reserved. Chapter 4 Author: Julia Richards and R. Scott Hawley.
1 Copyright © 2010, Elsevier Inc. All rights Reserved Fig 2.1 Chapter 2.
1 Chapter 40 - Physiology and Pathophysiology of Diuretic Action Copyright © 2013 Elsevier Inc. All rights reserved.
By D. Fisher Geometric Transformations. Reflection, Rotation, or Translation 1.
…to Ontology Repositories Mathieu dAquin Knowledge Media Institute, The Open University From…
Combining Like Terms. Only combine terms that are exactly the same!! Whats the same mean? –If numbers have a variable, then you can combine only ones.
Reasoning Breakout Session 7/20/01 Richard Fikes Mike Dean DAML PI Meeting Nashua, New Hampshire July 18-20, 2001.
McGuinness Oct 17, Query and Inference Rules BOF Moderators: Deborah McGuinness and Pat Hayes Short-eared OwlShort-eared Owl Asio flammeus ; picture.
Business Transaction Management Software for Application Coordination 1 Business Processes and Coordination.
Jeopardy Q 1 Q 6 Q 11 Q 16 Q 21 Q 2 Q 7 Q 12 Q 17 Q 22 Q 3 Q 8 Q 13
Jeopardy Q 1 Q 6 Q 11 Q 16 Q 21 Q 2 Q 7 Q 12 Q 17 Q 22 Q 3 Q 8 Q 13
Title Subtitle.
My Alphabet Book abcdefghijklm nopqrstuvwxyz.
Coordinate Plane Practice The following presentation provides practice in two skillsThe following presentation provides practice in two skills –Graphing.
0 - 0.
ALGEBRAIC EXPRESSIONS
DIVIDING INTEGERS 1. IF THE SIGNS ARE THE SAME THE ANSWER IS POSITIVE 2. IF THE SIGNS ARE DIFFERENT THE ANSWER IS NEGATIVE.
MULTIPLYING MONOMIALS TIMES POLYNOMIALS (DISTRIBUTIVE PROPERTY)
ADDING INTEGERS 1. POS. + POS. = POS. 2. NEG. + NEG. = NEG. 3. POS. + NEG. OR NEG. + POS. SUBTRACT TAKE SIGN OF BIGGER ABSOLUTE VALUE.
MULTIPLICATION EQUATIONS 1. SOLVE FOR X 3. WHAT EVER YOU DO TO ONE SIDE YOU HAVE TO DO TO THE OTHER 2. DIVIDE BY THE NUMBER IN FRONT OF THE VARIABLE.
SUBTRACTING INTEGERS 1. CHANGE THE SUBTRACTION SIGN TO ADDITION
MULT. INTEGERS 1. IF THE SIGNS ARE THE SAME THE ANSWER IS POSITIVE 2. IF THE SIGNS ARE DIFFERENT THE ANSWER IS NEGATIVE.
FACTORING Think Distributive property backwards Work down, Show all steps ax + ay = a(x + y)
Addition Facts
1 Learning Touchmath *Graphics taken from
BALANCING 2 AIM: To solve equations with variables on both sides.
Dr. A.I. Cristea CS 319: Theory of Databases: FDs.
ZMQS ZMQS
Some Prolog Prolog is a logic programming language
BT Wholesale October Creating your own telephone network WHOLESALE CALLS LINE ASSOCIATED.
Report Card P Only 4 files are exported in SAMS, but there are at least 7 tables could be exported in WebSAMS. Report Card P contains 4 functions: Extract,
ABC Technology Project
O X Click on Number next to person for a question.
© S Haughton more than 3?
5.9 + = 10 a)3.6 b)4.1 c)5.3 Question 1: Good Answer!! Well Done!! = 10 Question 1:
1 Directed Depth First Search Adjacency Lists A: F G B: A H C: A D D: C F E: C D G F: E: G: : H: B: I: H: F A B C G D E H I.
Twenty Questions Subject: Twenty Questions
Linking Verb? Action Verb or. Question 1 Define the term: action verb.
Squares and Square Root WALK. Solve each problem REVIEW:
Energy & Green Urbanism Markku Lappalainen Aalto University.
1 OWL: Web Ontologies Matthew Yau
1 MAXIMUM LIKELIHOOD ESTIMATION OF REGRESSION COEFFICIENTS X Y XiXi 11  1  +  2 X i Y =  1  +  2 X We will now apply the maximum likelihood principle.
Past Tense Probe. Past Tense Probe Past Tense Probe – Practice 1.
Combine Like Terms. Simplify the Given Expression Below:
This, that, these, those Number your paper from 1-10.
Properties of Exponents
GG Consulting, LLC I-SUITE. Source: TEA SHARS Frequently asked questions 2.
1 First EMRAS II Technical Meeting IAEA Headquarters, Vienna, 19–23 January 2009.
Event 4: Mental Math 7th/8th grade Math Meet ‘11.
Addition 1’s to 20.
25 seconds left…...
Test B, 100 Subtraction Facts
11 = This is the fact family. You say: 8+3=11 and 3+8=11
Week 1.
We will resume in: 25 Minutes.
1 Ke – Kitchen Elements Newport Ave. – Lot 13 Bethesda, MD.
1 Unit 1 Kinematics Chapter 1 Day
O X Click on Number next to person for a question.
2009 Quinín Freire 1 THE MAGIC OF LEARNING Where do animals live?
K S L W i n e A g e n t : Testbed Application for Semantic Web Technologies Deborah McGuinness Eric Hsu Jessica Jenkins Rob McCool Sheila McIlraith Paulo.
DQL Server Powered By JTP
Presentation transcript:

Joshua Scotton OWL-QL

2 OWL Query Language) Based on DQL (DAML Query Lang.) Simple Request-Response Model

3 Basic Queries 1.a query pattern (required) 2.a must-bind variables list 3.a may-bind variables list 4.a don’t bind variables list 5.an answer pattern 6.a query premise 7.an answer KB pattern 8.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: A: drink White Wine with Seafood

5 A Simple OWL-QL Query The following is the actual query: 5 This would normally be included inside a SOAP message

6 Response to Simple Query

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 1.must-bind variables lists Answers must provide bindings for all the must- bind variables 2.may-bind variables lists Answers may provide bindings for any of the may-bind variables 3.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

131 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 5 contain at most the number of query answers given by the answer bundle size bound

15 The Car Query 5

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

17 The Car Query Answer

18 Online Demonstrations Try OWL-QL Query Service at

Questions? 19