Transcript dogma – prime ocm

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?
– To enable inferences to be made about classes and
individuals in an ontology
• Other tools (RDF, KIF, etc)
Titel van de presentatie
| pag. 2
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
Titel van de presentatie
| pag. 3
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
Titel van de presentatie
| pag. 4