ruqar reasoning with owl 2 rl using forward chaining
play

RuQAR : Reasoning with OWL 2 RL Using Forward Chaining Engines - PowerPoint PPT Presentation

Aug 02, 2023 •115 likes •804 views

RuQAR : Reasoning with OWL 2 RL Using Forward Chaining Engines Jaroslaw Bak Institute of Control and Information Engineering Poznan University of Technology Piotrowo 3a, 60-965 Poznan, Poland Email: jaroslaw.bak@put.poznan.pl June 6th, 2015

  1. RuQAR : Reasoning with OWL 2 RL Using Forward Chaining Engines Jaroslaw Bak Institute of Control and Information Engineering Poznan University of Technology Piotrowo 3a, 60-965 Poznan, Poland Email: jaroslaw.bak@put.poznan.pl June 6th, 2015 Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 1 / 20

  2. Outline Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 2 / 20

  3. Outline 1 What is RuQAR? Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 2 / 20

  4. Outline 1 What is RuQAR? 2 Motivation Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 2 / 20

  5. Outline 1 What is RuQAR? 2 Motivation 3 The RuQAR Framework Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 2 / 20

  6. Outline 1 What is RuQAR? 2 Motivation 3 The RuQAR Framework ◮ Features Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 2 / 20

  7. Outline 1 What is RuQAR? 2 Motivation 3 The RuQAR Framework ◮ Features ◮ Architecture and Implementation Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 2 / 20

  8. Outline 1 What is RuQAR? 2 Motivation 3 The RuQAR Framework ◮ Features ◮ Architecture and Implementation 4 Evaluation Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 2 / 20

  9. Outline 1 What is RuQAR? 2 Motivation 3 The RuQAR Framework ◮ Features ◮ Architecture and Implementation 4 Evaluation 5 Conclusions and Future Work Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 2 / 20

  10. What is RuQAR? Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 3 / 20

  11. What is RuQAR? Rule-based Query Answering and Reasoning framework Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 3 / 20

  12. What is RuQAR? Rule-based Query Answering and Reasoning framework Supports ABox reasoning and query answering with OWL 2 RL ontologies executed by the forward chaining rule reasoners Jess and Drools Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 3 / 20

  13. What is RuQAR? Rule-based Query Answering and Reasoning framework Supports ABox reasoning and query answering with OWL 2 RL ontologies executed by the forward chaining rule reasoners Jess and Drools The main goal of this tool is to provide efficient ABox reasoning as well as query answering within OWL 2 RL profile Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 3 / 20

  14. Motivation Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 4 / 20

  15. Motivation We like rules :) Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 4 / 20

  16. Motivation We like rules :) OWL 2 RL reasoners are known to perform poorly with large ABoxes Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 4 / 20

  17. Motivation We like rules :) OWL 2 RL reasoners are known to perform poorly with large ABoxes Description logic-based reasoners handle the TBox entailments better than the ABox ones Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 4 / 20

  18. Motivation We like rules :) OWL 2 RL reasoners are known to perform poorly with large ABoxes Description logic-based reasoners handle the TBox entailments better than the ABox ones ABox reasoning can be performed more efficiently by a rule engine Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 4 / 20

  19. Motivation We like rules :) OWL 2 RL reasoners are known to perform poorly with large ABoxes Description logic-based reasoners handle the TBox entailments better than the ABox ones ABox reasoning can be performed more efficiently by a rule engine The official list of OWL 2 reasoners supporting OWL 2 RL is limited Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 4 / 20

  20. Motivation Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 5 / 20

  21. Motivation An application of an OWL 2 RL reasoner together with a currently being used forward reasoning engine can be a tricky task Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 5 / 20

  22. Motivation An application of an OWL 2 RL reasoner together with a currently being used forward reasoning engine can be a tricky task Lack of tools that can generate rules for different reasoning engines Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 5 / 20

  23. Motivation An application of an OWL 2 RL reasoner together with a currently being used forward reasoning engine can be a tricky task Lack of tools that can generate rules for different reasoning engines Usually, reasoning engines require data to be stored in the main memory Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 5 / 20

  24. Motivation An application of an OWL 2 RL reasoner together with a currently being used forward reasoning engine can be a tricky task Lack of tools that can generate rules for different reasoning engines Usually, reasoning engines require data to be stored in the main memory Lack of native and efficient rule sets that support OWL 2 RL reasoning in many popular rule engines, especially considering ABox reasoning Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 5 / 20

  25. Motivation An application of an OWL 2 RL reasoner together with a currently being used forward reasoning engine can be a tricky task Lack of tools that can generate rules for different reasoning engines Usually, reasoning engines require data to be stored in the main memory Lack of native and efficient rule sets that support OWL 2 RL reasoning in many popular rule engines, especially considering ABox reasoning We really like rules ;) Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 5 / 20

  26. RuQAR’s Features Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 6 / 20

  27. RuQAR’s Features We aim at providing an easy-to-use framework for performing ABox reasoning with OWL 2 RL ontologies in any forward chaining rule engine which such that it can be used in many rule-based applications Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 6 / 20

  28. RuQAR’s Features We aim at providing an easy-to-use framework for performing ABox reasoning with OWL 2 RL ontologies in any forward chaining rule engine which such that it can be used in many rule-based applications An ontology needs to be transformed into rules that are readable by a chosen engine Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 6 / 20

  29. RuQAR’s Features – ASRF Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 7 / 20

  30. RuQAR’s Features – ASRF The Abstract Syntax of Rules and Facts (ASRF) which is used to rise an abstraction level providing more universal representation of rules and facts Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 7 / 20

  31. RuQAR’s Features – ASRF The Abstract Syntax of Rules and Facts (ASRF) which is used to rise an abstraction level providing more universal representation of rules and facts ASRF enables easy translation into the language of any rule engine Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 7 / 20

  32. RuQAR’s Features – ASRF The Abstract Syntax of Rules and Facts (ASRF) which is used to rise an abstraction level providing more universal representation of rules and facts ASRF enables easy translation into the language of any rule engine An implementation of mappings between ASRF and the language of the engine is required Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 7 / 20

  33. RuQAR’s Features – ASRF Example Rule ClassHierarchyRule 1 LUBM If (Triple (Subject ?x) (Predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (Object "http://swat.cse.lehigh.edu/onto/univ-bench.owl#ResearchAssistant")) Then (Triple (Subject ?x) (Predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (Object "http://swat.cse.lehigh.edu/onto/univ-bench.owl#Person")) End Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 8 / 20

  34. RuQAR’s Features – ASRF Example Rule ClassHierarchyRule 1 LUBM If (Triple (Subject ?x) (Predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (Object "http://swat.cse.lehigh.edu/onto/univ-bench.owl#ResearchAssistant")) Then (Triple (Subject ?x) (Predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (Object "http://swat.cse.lehigh.edu/onto/univ-bench.owl#Person")) End (Triple (Subject "http://www.Department6.University0.edu/GraduateStudent22") (Predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (Object "http://swat.cse.lehigh.edu/onto/univ-bench.owl#ResearchAssistant")) (Triple (Subject "http://www.Department6.University0.edu/GraduateStudent22") (Predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (Object "http://swat.cse.lehigh.edu/onto/univ-bench.owl#Person")) Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 8 / 20

  35. RuQAR’s Features – Transformation Schema Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 9 / 20

  36. RuQAR’s Features – Transformation Schema We transform an OWL 2 ontology into a set of rules and a set of facts expressed in ASRF Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 9 / 20

  37. RuQAR’s Features – Transformation Schema We transform an OWL 2 ontology into a set of rules and a set of facts expressed in ASRF Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 9 / 20

  38. RuQAR’s Features – Transformation Schema We transform an OWL 2 ontology into a set of rules and a set of facts expressed in ASRF HermiT Inferred Ontology OWL 2 Ontology OWL 2 OWL 2 Written in Ontology TBox Reasoning Ontology Transformation ASRF Jaroslaw Bak (PUT) RuQAR Framework June 6th, 2015 9 / 20

Recommend

CHAPTER-4 1 LOGIC AND REASONING ! Knowledge and ! Reasoning in Knowledge- Reasoning Based

CHAPTER-4 1 LOGIC AND REASONING ! Knowledge and ! Reasoning in Knowledge- Reasoning Based

CHAPTER-4 1 LOGIC AND REASONING ! Knowledge and ! Reasoning in Knowledge- Reasoning Based Systems ! syntax and semantics ! shallow and deep reasoning ! validity and satisfiability ! forward and backward ! logic languages chaining ! alternative

616 views • 23 slides
Reasoning 7 AI Slides (5e) c Lin Zuoquan@PKU 2003-2019 1 7 7 Reasoning 7.1 Proofs 7.2

Reasoning 7 AI Slides (5e) c Lin Zuoquan@PKU 2003-2019 1 7 7 Reasoning 7.1 Proofs 7.2

Reasoning 7 AI Slides (5e) c Lin Zuoquan@PKU 2003-2019 1 7 7 Reasoning 7.1 Proofs 7.2 Completeness 7.3 Reducing first-order case to propositional level 7.4 Unification 7.5 Generalized Modus Ponens 7.6 Forward and backward chaining

970 views • 67 slides
Using first order logic (Ch. 9) Backward chaining Backward chaining is almost the opposite of

Using first order logic (Ch. 9) Backward chaining Backward chaining is almost the opposite of

Using first order logic (Ch. 9) Backward chaining Backward chaining is almost the opposite of forward chaining (and eliminating irrelevancy) You try all sentences that are of the form: , and try to find a way to satisfy P1, P2, ... recursively

753 views • 41 slides
Automated Reasoning 6 AI Slides (6e) c Lin Zuoquan@PKU 1998-2020 1 6 6 Automated Reasoning

Automated Reasoning 6 AI Slides (6e) c Lin Zuoquan@PKU 1998-2020 1 6 6 Automated Reasoning

Automated Reasoning 6 AI Slides (6e) c Lin Zuoquan@PKU 1998-2020 1 6 6 Automated Reasoning 6.1 Automated theorem proving 6.2 Forward and backward chaining 6.3 Resolution 6.4 Model checking AI Slides (6e) c Lin Zuoquan@PKU

1.02k views • 97 slides
Chaining Operator in Climb Method Chaining jQuery Method Chaining Extended Climb Christopher

Chaining Operator in Climb Method Chaining jQuery Method Chaining Extended Climb Christopher

Chaining Operator in Climb Introduction Chaining Operator in Climb Method Chaining jQuery Method Chaining Extended Climb Christopher Chedeau Image Processing Implementation Attempts Dollar macro LRDE Extensions Laboratoire de

554 views • 42 slides
Propositional Logic Logical Agents Reasoning [Ch 7 7.3] Propositional Logic [Ch 7.4

Propositional Logic Logical Agents Reasoning [Ch 7 7.3] Propositional Logic [Ch 7.4

1 RN, Chapter 7.4 - 7.8 Propositional Logic Logical Agents Reasoning [Ch 7 7.3] Propositional Logic [Ch 7.4 - 7.8] Syntax Semantics Models Entailment Proof Process Forward / Backward chaining

1.09k views • 69 slides
SECTION 1: Introductions Code Reasoning Forward Reasoning CODE REASONING +

SECTION 1: Introductions Code Reasoning Forward Reasoning CODE REASONING +

OUTLINE SECTION 1: Introductions Code Reasoning Forward Reasoning CODE REASONING + Backward Reasoning Weaker vs. Stronger statements Version control VERSION CONTROL CSE 331 Summer 2018 slides borrowed and

763 views • 11 slides
Factors influencing Forward and Backward chaining Is the goal precisely known? Fan-in and

Factors influencing Forward and Backward chaining Is the goal precisely known? Fan-in and

Factors influencing Forward and Backward chaining Is the goal precisely known? Fan-in and Fan-out of rules. Rule Structure R 1 : P 1 ^ P 2 ^ P 3 ^ . . . . . . ^ Pn Q 1 R 2 : P 1 ^ P 2 ^ P 3 ^ . . . . . . ^ Pn Q 2 . R k : P 1 ^

46 views • 4 slides
A Planning Graph Heuristic for Forward-Chaining Adversarial Planning Pascal Bercher and Robert

A Planning Graph Heuristic for Forward-Chaining Adversarial Planning Pascal Bercher and Robert

Introduction Search Heuristic Results A Planning Graph Heuristic for Forward-Chaining Adversarial Planning Pascal Bercher and Robert Mattmller Institute for Computer Science University of Freiburg ECAI 2008, Patras, Greece Wednesday,

510 views • 28 slides
Resolution: Motivation Steps in inferencing (e.g., forward-chaining) 1. Define a set of

Resolution: Motivation Steps in inferencing (e.g., forward-chaining) 1. Define a set of

Resolution: Motivation Steps in inferencing (e.g., forward-chaining) 1. Define a set of inference rules 2. Define a set of axioms 3. Repeatedly choose one inference rule & one or more axioms (or premices) to derive new sentences until

275 views • 14 slides
Exercises, II part Forward Chaining: 12 Jul 2012 Exercises, II part Consider the following set

Exercises, II part Forward Chaining: 12 Jul 2012 Exercises, II part Consider the following set

Exercises, II part Exercises, II part Forward Chaining: 12 Jul 2012 Exercises, II part Consider the following set of clauses in propositional logic: J = Q A I = J E F = I B = F A B = E A B 1 Show and execution

479 views • 6 slides
Inference Examples Forward Chaining Rule 1: If on first floor Let us imagine that we start And

Inference Examples Forward Chaining Rule 1: If on first floor Let us imagine that we start And

Inference Examples Forward Chaining Rule 1: If on first floor Let us imagine that we start And button is pressed on first floor with the following facts in Then open door. our database: Rule 2: If on first floor Fact 1 And button is

1.12k views • 30 slides
Priority queues Hash tables chaining Priority queue ADT Binary heap March 13, 2020 Cinda

Priority queues Hash tables chaining Priority queue ADT Binary heap March 13, 2020 Cinda

Priority queues Hash tables chaining Priority queue ADT Binary heap March 13, 2020 Cinda Heeren / Andy Roth / Geoffrey Tien 1 Separate chaining Separate chaining takes a different approach to collisions Each entry in the hash table

470 views • 26 slides
Inference in first-order logic Chapter 9 1 Outline Reducing first-order inference to

Inference in first-order logic Chapter 9 1 Outline Reducing first-order inference to

Inference in first-order logic Chapter 9 1 Outline Reducing first-order inference to propositional inference Unification Generalized Modus Ponens Forward and backward chaining Logic programming Resolution 2 Reasoning in

987 views • 40 slides
Blockchain (Bitcoin) Four ideas Hash chaining Unalterable history Public key

Blockchain (Bitcoin) Four ideas Hash chaining Unalterable history Public key

Blockchain (Bitcoin) Four ideas Hash chaining Unalterable history Public key cryptography Signatures Addition/Subtraction General ledger Notarization Proof of validity Hash chaining Enigma machine Enigma rotors

477 views • 27 slides
Functional Chaining System in ICN Phil Brown Fujitsu Laboratories of America, Inc. December 7,

Functional Chaining System in ICN Phil Brown Fujitsu Laboratories of America, Inc. December 7,

Functional Chaining System in ICN Phil Brown Fujitsu Laboratories of America, Inc. December 7, 2016 Functional Chaining demo setup 2 Routing optimization 3 In-network caching 4 Whole-chain security /video_compression/

237 views • 10 slides
Chaining HALs ABS 2015 PRELIMINARY HY Research LLC http://www.hy-research.com/ Mar 15, 2015

Chaining HALs ABS 2015 PRELIMINARY HY Research LLC http://www.hy-research.com/ Mar 15, 2015

Chaining HALs ABS 2015 PRELIMINARY HY Research LLC http://www.hy-research.com/ Mar 15, 2015 (C) 2015 HY Research LLC Agenda * Introduction - Why chain a HAL? * Android HAL basics * Overview of chaining a HAL * HAL loader * Exampling:

465 views • 18 slides
CS 671 Automated Reasoning Tactical Theorem Proving in NuPRL 1. Basic Tactics 2. Tacticals 3.

CS 671 Automated Reasoning Tactical Theorem Proving in NuPRL 1. Basic Tactics 2. Tacticals 3.

CS 671 Automated Reasoning Tactical Theorem Proving in NuPRL 1. Basic Tactics 2. Tacticals 3. Advanced Tactics Chaining, Induction, Case Analysis Tactics: User-defined inference rules Meta-level programs built using Basic inference rules

427 views • 8 slides
Probabilistic Reasoning; Probabilistic Reasoning; Network-based reasoning Network-based

Probabilistic Reasoning; Probabilistic Reasoning; Network-based reasoning Network-based

Probabilistic Reasoning; Probabilistic Reasoning; Network-based reasoning Network-based reasoning COMPSCI 276, Fall 2014 Set 1: Introduction and Background Rina Dechter (Reading: Pearl chapter 1-2, Darwiche chapters 1,3) 1 Why/What/How

700 views • 45 slides
Evidential and Causal Reasoning Much reasoning in AI can be seen as evidential reasoning ,

Evidential and Causal Reasoning Much reasoning in AI can be seen as evidential reasoning ,

Evidential and Causal Reasoning Much reasoning in AI can be seen as evidential reasoning , (observations to a theory) followed by causal reasoning (theory to predictions). Diagnosis Given symptoms, evidential reasoning leads to hypotheses about

243 views • 8 slides
Inference in first-order logic Russell and Norvig Chapter 9 Outline n Reducing first-order

Inference in first-order logic Russell and Norvig Chapter 9 Outline n Reducing first-order

Inference in first-order logic Russell and Norvig Chapter 9 Outline n Reducing first-order inference to propositional inference n Generalized Modus Ponens n Forward chaining n Backward chaining n Resolution 2 FOL to PL n First order inference

853 views • 64 slides
Reasoning and Meta-reasoning Sonia Marin IT-University of Copenhagen, Denmark 85-211

Reasoning and Meta-reasoning Sonia Marin IT-University of Copenhagen, Denmark 85-211

Reasoning and Meta-reasoning Sonia Marin IT-University of Copenhagen, Denmark 85-211 Cognitive Psychology, Guest lecture CMU Qatar November 28, 2018 1 / 15 What is reasoning? Reasoning is the process of drawing conclusions from

911 views • 59 slides
The generalized TSP and trip chaining IWSSSCM3 John Gunnar Carlsson Epstein Department of

The generalized TSP and trip chaining IWSSSCM3 John Gunnar Carlsson Epstein Department of

The generalized TSP and trip chaining IWSSSCM3 John Gunnar Carlsson Epstein Department of Industrial and Systems Engineering, University of Southern California January 7, 2016 John Gunnar Carlsson, USC ISE GTSP and trip chaining January 7,

896 views • 45 slides
Automated Reasoning Course Presentation Summary Automated Reasoning Motivations Course Plan

Automated Reasoning Course Presentation Summary Automated Reasoning Motivations Course Plan

Automated Reasoning Automated Reasoning Course Presentation Summary Automated Reasoning Motivations Course Plan Resources Exam Methods Motivations Automated Reasoning Automated reasoning mechanising the reasoning process. reasoning :

159 views • 14 slides

More recommend