n to reuse granted so long as this notice is not altered – Author: Adam Pease [email protected]Introduction to Ontologies • Introduction – 5 min • Motivation – 5 min • Ontologies compared to other stuff – 5 min • Exercise – first part – 15 min • Upper ontology specifics – 15 min • Exercise – second part – 15 min • Discussion – 15 min Adam Pease Teknowledge [email protected]http://ontology.teknowledge.com
Introduction to Ontologies. Introduction – 5 min Motivation – 5 min Ontologies compared to other stuff – 5 min Exercise – first part – 15 min Upper ontology specifics – 15 min Exercise – second part – 15 min Discussion – 15 min. Adam Pease Teknowledge [email protected] - PowerPoint PPT Presentation
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Permission to reuse granted so long as this notice is not altered – Author: Adam Pease [email protected], 2003
Introduction to Ontologies
• Introduction – 5 min• Motivation – 5 min• Ontologies compared to other stuff – 5 min• Exercise – first part – 15 min• Upper ontology specifics – 15 min• Exercise – second part – 15 min• Discussion – 15 min
• The semantics of inverse is part of the DAML spec
Permission to reuse granted so long as this notice is not altered – Author: Adam Pease [email protected], 2003
Language Formality and Expressiveness
Formality
Exp
ress
iven
ess
Human Language
KIFCycL
OWLF-Logic
DAML
XML
SQL
HumanConsumption
MachineProcessing
MachineInference
Permission to reuse granted so long as this notice is not altered – Author: Adam Pease [email protected], 2003
Content Formality and Size
Formality
WordNet
Cyc
SUMO
DOLCE
Lexicons Formal Ontology
Taxonomy
Siz
e
SUMO+domain
UMLSYahoo!
Permission to reuse granted so long as this notice is not altered – Author: Adam Pease [email protected], 2003
Everything is not a Nail
• Ontology is not always the right tool for the job
• Face recognition, vehicle control systems etc – not the right applications for ontology
Permission to reuse granted so long as this notice is not altered – Author: Adam Pease [email protected], 2003
Many Ways to Use Ontology
• As an information engineering tool– Create a database schema– Map the schema to an upper ontology– Use the ontology as a set of reminders for additional
information that should be included
• As more formal comments– Define an ontology that is used to create a DB or OO
system– Use a theorem prover at design time to check for
inconsistencies
• For taxonomic reasoning– Do limited run-time inference in Prolog, a description
logic, or even Java
• For first order logical inference– Full-blown use of all the axioms at run time
Permission to reuse granted so long as this notice is not altered – Author: Adam Pease [email protected], 2003
Upper Ontology
• An attempt to capture the most general and reusable terms and definitions
Permission to reuse granted so long as this notice is not altered – Author: Adam Pease [email protected], 2003
Motivation
• Ontologies may have different names for the same things
– type – a relation between a class and an instance– instance – a relation between a class and an instance– isa – a relation between a class and an instance– …
• Ontologies may have the same name for different things, and no corresponding terms
– before – a relation between two time points– before – a relation between two time intervals
• Either use the same upper ontology, or at least map to a common upper ontology
Permission to reuse granted so long as this notice is not altered – Author: Adam Pease [email protected], 2003
Formal Upper Ontologies
• DOLCE• Cyc• SUMO
Permission to reuse granted so long as this notice is not altered – Author: Adam Pease [email protected], 2003
Simple Methodology
• Extract nouns and verbs from a source text• Find classes in SUMO for the nouns and verbs• Record a mapping as being either equal, subsuming or instance.
– type a single word that relates to the UBL term in the "SUMO term" or "English Word" text areas in the SUMO browser
• Create a subclass of SUMO if it's a subsuming mapping• Add properties to the subclass
– reusing SUMO properties– extending SUMO properties by creating a &%subrelation of an existing property
• Add English definition to the class – define constraints that express how the subclass is more specific than the
superclass
• Express the classes and properties in KIF and begin creating axioms, based on the English definitions created previously
Permission to reuse granted so long as this notice is not altered – Author: Adam Pease [email protected], 2003
Exercise
• Walk through the process of creating some ontology content from a source text
• Learn a general methodology• Get practical familiarity with KIF and SUMO
Permission to reuse granted so long as this notice is not altered – Author: Adam Pease [email protected], 2003
First Exercise (1)
• “Seven Turkish nationals of Chechen origin hijacked a Russia-bound Panamanian ferry in Trabzon. The hijackers initially threatened to kill all Russians on board unless Chechen separatists being held in Dagestan, Russia, were released. On 19 January 1998, the hijackers surrendered to Turkish authorities outside the entrance to the Bosporus. The passengers were unharmed.“
• Identify items that need formalization – start with nouns and verbs
Permission to reuse granted so long as this notice is not altered – Author: Adam Pease [email protected], 2003
First Exercise (2)
• “Seven Turkish nationals of Chechen origin hijacked a Russia-bound Panamanian ferry in Trabzon. The hijackers initially threatened to kill all Russians on board unless Chechen separatists being held in Dagestan, Russia, were released. On 19 January 1998, the hijackers surrendered to Turkish authorities outside the entrance to the Bosporus. The passengers were unharmed.“
• Now create terms that correspond to the nouns and verbs
• Remove redundancy• Are there any “background” notions that are not
explicit in the text?
Permission to reuse granted so long as this notice is not altered – Author: Adam Pease [email protected], 2003
First Exercise (3)
• Seven Turkish nationals of Chechen origin hijacked a Russia-bound Panamanian ferry in Trabzon. The hijackers initially threatened to kill all Russians on board unless Chechen separatists being held in Dagestan, Russia, were released. On 19 January 1998, the hijackers surrendered to Turkish authorities outside the entrance to the Bosporus. The passengers were unharmed
IntentionalProcess IntentionalPsychologicalProcess RecreationOrExercise OrganizationalProcess Guiding Keeping Maintaining Repairing Poking ContentDevelopment Making Searching SocialInteraction ManeuverMotion BodyMotion DirectionChange Transfer Transportation Radiating
Permission to reuse granted so long as this notice is not altered – Author: Adam Pease [email protected], 2003
Abstract
SetOrClass
Relation
Proposition
Quantity
Number
PhysicalQuantity
Attribute
Graph
GraphElement
Permission to reuse granted so long as this notice is not altered – Author: Adam Pease [email protected], 2003
A Little Bit of Logic
• Instance – GeorgeBush, Iraq, BobsRightBigToe
• Class – Human, Nation• Relation – WWI before WWII, Bill childOf Mary• => (read as “implies”) - if X then Y• and – X and Y are true• or – X or Y (or both) are true• not – not X – the opposite of the truth of X• exists ?X – there exists something about
which the following is true
Permission to reuse granted so long as this notice is not altered – Author: Adam Pease [email protected], 2003
A Little “Structural” Ontology
(instance GeorgeBush Human) – GeorgeBush is an instance of the class of humans
(exists (?X) (parent ?X GeorgeBush)) – there exists something of which
George Bush is the parent
(instance parent BinaryPredicate) – the relation of parent is a binary relation
(domain parent 1 Organism) – the first argument to the parent relation must be an instance of the class Organism
(domain parent 2 Organism) – similarly for the second argument
Permission to reuse granted so long as this notice is not altered – Author: Adam Pease [email protected], 2003