A Reasoning Broker Framework for Protg June 25, 2009 Jrgen Bock - - PowerPoint PPT Presentation

▶
a reasoning broker framework for prot g
SMART_READER_LITE
LIVE PREVIEW

A Reasoning Broker Framework for Protg June 25, 2009 Jrgen Bock - - PowerPoint PPT Presentation

Oct 29, 2023 226 likes •378 views

A Reasoning Broker Framework for Protg June 25, 2009 Jrgen Bock Tuvshintur Tserendorj Yongchun Xu Jens Wissmann Stephan Grimm FZI Research Center for Information Technology at the University of Karlsruhe WIR FORSCHEN FR SIE

slide-1
SLIDE 1

A Reasoning Broker Framework for Protégé

June 25, 2009

Jürgen Bock Tuvshintur Tserendorj Yongchun Xu Jens Wissmann Stephan Grimm FZI Research Center for Information Technology at the University of Karlsruhe

WIR FORSCHEN FÜR SIE

slide-2
SLIDE 2
  • Reasoning on ontologies
  • DL based ontologies provide well defined semantics
  • Allows for automatic inference of implicit knowledge
  • Reasoning systems
  • Pellet, FaCT++, RacerPro, KAON2, HermiT, CEL, …, Screech, AQA
  • Different strengths and weaknesses
  • Different language expressivity
  • Different APIs
  • Reasoning in protégé
  • Consistency checking
  • Querying (DL Query tab)

2

Reasoning

slide-3
SLIDE 3

3

Reasoning Brokerage

OWL API ReasonerFactory

HERAKLES

[localhost]

Pellet

[server2.com]

FaCT++

[server3.com]

KAON2

[server4.com]

Tabs and Views Configuration Monitoring

AQA

[server1.com]

Screech

[server5.com]

Extension Points External Remote Reasoners

…

slide-4
SLIDE 4
  • Strategies control behaviour of reasoning broker
  • Different broker features
  • Parallel execution of reasoning tasks
  • Reasoner selection
  • Partitioning of ontologies
  • Load balancing
  • Development of customised strategies by using

strategy components

  • Paralleliser
  • Selector
  • (Analyser)
  • (Modulariser)

4

Broker Strategies

slide-5
SLIDE 5
  • Load strategies
  • Basic load strategy
  • Analysing load strategy
  • Execution strategies
  • Parallelising strategy
  • Selection strategies
  • Selection according to reasoning task
  • Selection according to ontology properties
  • Anytime strategies
  • (Partitioning strategies)

5

Broker Strategies cont.

slide-6
SLIDE 6

Broker Strategies Example

HERAKLES

[localhost]

Pellet

[server3.com]

FaCT++

[server2.com]

KAON2

[server1.com]

Reasoning Task: Consistency Checking

6

slide-7
SLIDE 7

Broker Strategies Example

HERAKLES

[localhost]

Pellet

[server3.com]

FaCT++

[server2.com]

KAON2

[server1.com]

Reasoning Task: Consistency Checking

7

slide-8
SLIDE 8

Broker Strategies Example

HERAKLES

[localhost]

Pellet

[server3.com]

FaCT++

[server2.com]

KAON2

[server1.com]

Reasoning Task: Instance Retrieval

8

slide-9
SLIDE 9

Broker Strategies Example

HERAKLES

[localhost]

Pellet

[server3.com]

FaCT++

[server2.com]

KAON2

[server1.com]

Reasoning Task: Instance Retrieval

9

slide-10
SLIDE 10
  • Selection of external remote reasoners
  • Strategy selection and configuration
  • Monitoring of external remote reasoners
  • Anytime querying

10

Protégé Integration

slide-11
SLIDE 11
  • Continuous delivery of (preliminary) results
  • Anytime reasoner interface complementary to traditional

OWLReasoner interface

  • Anytime Query Tab in protégé
  • Anytime behaviour by use of approximate reasoning systems

(Screech, AQA)

  • Trading soundness / completeness for speed

11

Anytime Reasoning

sound, incomplete complete, unsound correct (sound and complete) Screech-All Screech-None (1) Screech-None (2)

slide-12
SLIDE 12
  • Protégé plug-in for HERAKLES reasoning broker
  • Controlled delegation of reasoning requests to various

external remote reasoners

  • Behaviour controlled by broker strategies
  • Parallelisation
  • Selection
  • Partitioning (planned)
  • Anytime reasoning (currently by approximation)
  • Additionally
  • Real-time benchmarking
  • Centralised caching

12

Summary

slide-13
SLIDE 13

Thanks for your attention!

13