Commitment and reasoner
This presentation is the property of its rightful owner.
Sponsored Links
1 / 4

Commitment and Reasoner PowerPoint PPT Presentation


  • 46 Views
  • Uploaded on
  • Presentation posted in: General

Commitment and Reasoner. Reporter: Yan Tang Date: 7 July 2006 At: VUB STAR lab. Ontology reasoner. OWL DL reasoner DL reasoner RACER FaCT FaCT++ Pellet DIG reasoner via HTTP Why does OWL need a reasoner?

Download Presentation

Commitment and Reasoner

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.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Commitment and reasoner

Commitment and Reasoner

Reporter: Yan Tang

Date: 7 July 2006

At: VUB STAR lab


Ontology reasoner

Ontology reasoner

  • OWL DL reasoner

    • DL reasoner

      • RACER

      • FaCT

      • FaCT++

      • Pellet

    • DIG reasoner via HTTP

  • Why does OWL need a reasoner?

    • To enable inferences to be made about classes and individuals in an ontology

  • Other tools (RDF, KIF, etc)


Why do we need a reasoner

Why do we need a reasoner?

  • DOGMA approach is model theoretic approach

    • ORM is our current ontology design tool – lexon + commitment

    • ER diagram

  • 2 ways of “reasoning”:

    • Ground to the normal DL

    • Mapping to available models in commitment


Simple analysis

Simple analysis

  • For the fist possibility

    • Advantage: reuse available tools

    • Disadvantage:

      • Induction/deduction is hidden

      • Error proven is not guaranteed

  • For the second possibility

    • Advantage

      • Users can get enough information during mapping

    • Disadvantage

      • Node exhaustively explored, thus time consuming

    • Difficulty

      • Time consuming problem

      • Different models can represent similar concept


  • Login