1 / 4

Commitment and Reasoner

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?

phelan-howard
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. 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. Commitment and Reasoner Reporter: Yan Tang Date: 7 July 2006 At: VUB STAR lab

  2. 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)

  3. 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

  4. 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

More Related