Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre...
Transcript of Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre...
![Page 1: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/1.jpg)
Context and Intention in Ontologies
Rick Wallace & Tabbasum NazCork Constraint Computation Centre
University College CorkCork, Ireland
ARCOE 2010, Lisbon
![Page 2: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/2.jpg)
Motivation• Normally, an ontology embodies intentions (sometimes called
“competencies”)
• Intentions usually remain implicit– May not be expressed in the concepts included in the ontology– Relevance of a given concept to the purpose of the ontology may not be clear
• Ontologies often seem deficient in their organisation– Ontology building still appears to be a fairly undisciplined process in that
concepts are included on a more or less intuitive basis– Organisational principles lacking
(despite approaches such as OntoClean and availability of top-level ontologies)– To what degree is this because ‘intentionality’ is not explicit?– To what degree can a means of making such intentionality more explicit help
improve the organisation?
![Page 3: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/3.jpg)
![Page 4: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/4.jpg)
?’s
• How can we characterise these problems?
• How can we evaluate appropriateness of ontology for given task?
• How can we determine organisational quality of ontologies – including completeness?
![Page 5: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/5.jpg)
Outline
• Basic proposal
• Implementing these ideas
• Future vistas
![Page 6: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/6.jpg)
Outline• Basic proposal
o Central ideao Mapping to ontological elementso Representing intention(s) within ontologyo Bringing in background conceptso Dealing with ‘completeness’o Characterising good organisation
• Implementing these ideas
• Future vistas
![Page 7: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/7.jpg)
Outline• Basic proposal
o Central ideao Mapping plan elements to ontological elementso Representing intention(s) within ontologyo Bringing in background conceptso Characterising good organisation
• Implementing the idea
• Future vistas
![Page 8: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/8.jpg)
Solution (top-level)
We approach ontology construction as if we were building a plan.
This means that we must start by defining a goal.
Critical insight
Pace Bratman (1988), we consider the idea of intention as bound upwith the creation of a plan. This leads to the approach described inthis talk.
How To Proceed?
![Page 9: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/9.jpg)
In the tourism domain, the basic goal is to support trip-planning.
This goal is associated with a central concept, in this case trip.
(Interestingly, this concept does not appear in either of the twoontologies shown before.)
![Page 10: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/10.jpg)
“For example, if one’s goal is to attend the IJCAI-93 conferencein Chambery, France, advanced planning is suggested. The goalof attending the conference engenders many subgoals: bookingplane tickets, getting to the airport, changing dollars to francs,making hotel reservations, finding the hotel, and so on.”
D. S. WeldAn introduction to least commitment planningAI Magazine, Winter 1994, pp. 27-61
![Page 11: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/11.jpg)
We can accommodate subgoals using an HTN planningscheme.
In the present case, we can think of the basic action,trip-planning, as decomposed into component actions.
An example is shown in the next slide.
![Page 12: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/12.jpg)
plan_trip
book_flight find_accomodation choose_activity
Plan actions
![Page 13: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/13.jpg)
Outline• Basic proposal
o Central ideao Mapping plan elements to ontological elementso Representing intention(s) within ontologyo Bringing in background conceptso Dealing with ‘completeness’o Characterising good organisation
• Implementing these ideas
• Future vistas
![Page 14: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/14.jpg)
A Second Domain
• Let’s consider the pizza domain
• And different intentions– Eating a pizza– Making a pizza
• How to characterise the Owl example?– Cataloguing/classifying the kinds of pizzas (?)
![Page 15: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/15.jpg)
get_pizza
go_to_pizza_place buy_pizza eat_pizza
select_pizza pay_for_pizza
select_topping
![Page 16: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/16.jpg)
classify_pizzas
specify_features classify_pizzas_by_features
Antecedent: ¬haveFeaturesEffect: haveFeatures
Antecedent: haveFeaturesEffect: haveTaxonomyofPizzas
specify_topping specify_base
![Page 17: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/17.jpg)
Mapping plan elements to ontological elements
• Consider the “specify_features” action
• This could be mapped to a <hasFeature> property in the ontology
• <hasFeature> could have subproperties <hasTopping> and <hasBase>
![Page 18: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/18.jpg)
Mapping plan elements to ontological elements - 2
• Admission– In this case, we built a plan to go with the ontology (and
the plan was, essentially, to build an ontology)– So, naturally, a plan element could be transformed back
into an ontology element
• But …– This example is at least suggestive
• Hence, a tentative proposal is that actions in a plan should map to properties in the ontology
![Page 19: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/19.jpg)
Mapping plan elements to ontological elements - 3
• Admission– In this case, we built a plan to go with the ontology (and
the plan was, essentially, to build an ontology)– So, naturally, a plan element could be transformed back
into an ontology element• But …
– This example is at least suggestive• Hence, a tentative proposal is that actions in a plan
should map into properties in the ontology• A second proposal is that antecedents and effects
should map to concepts in the ontology
![Page 20: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/20.jpg)
Outline• Basic proposal
o Central ideao Mapping plan elements to ontological elementso Representing intention(s) within ontologyo Bringing in background conceptso Dealing with ‘completeness’o Characterising good organisation
• Implementing these ideas
• Future vistas
![Page 21: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/21.jpg)
Representing Central Intention• One idea
– Introduce a concept of <Agent>– <Agent> associated with only one property, which ‘points’
to the “central concept”, which reflects the intention
Agent pizzacatalogue
Agent tripplan
![Page 22: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/22.jpg)
Outline• Basic proposal
o Central ideao Mapping plan elements to ontological elementso Representing intention(s) within ontologyo Bringing in background conceptso Dealing with ‘completeness’o Characterising good organisation
• Implementing these ideas
• Future vistas
![Page 23: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/23.jpg)
Plan-(intention-)related Concepts
• Focal concepts– Associated with elements of the plan– E.g. “book_flight” => <booking>, <flight>, <flightBooking>
• Background concepts– Superclasses– Classes related to the focal concepts by ‘basic’ properties– Is it possible to use constraints, as in many planners?
![Page 24: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/24.jpg)
Selection of Concepts - 2
• Tentative rule– Focal concepts must not be superordinate to
background concepts in a hierarchy– I.e. all focal concepts must occur at the bottom of
a concept-tree
background
focal
focal
other
focal other
Well-formed tree
![Page 25: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/25.jpg)
Selection of Concepts - 3
• Tentative rule– Focal concepts must not precede background
concepts in a hierarchy– I.e. all focal concepts must occur at the bottom of
a concept-tree
background
focal
focal
background
focal other
Well-formed tree?other
![Page 26: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/26.jpg)
Selection of Concepts - 4
• Tentative rule– Focal concepts must not precede background
concepts in any hierarchy– I.e. all focal concepts must occur at the bottom of
a concept-tree
background
focal
background
other
focal other
Ill-formed tree
![Page 27: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/27.jpg)
Outline• Basic proposal
o Central ideao Mapping plan elements to ontological elementso Representing intention(s) within ontologyo Bringing in background conceptso Dealing with ‘completeness’o Characterising good organisation
• Implementing these ideas
• Future vistas
![Page 28: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/28.jpg)
‘Completeness’ of Ontology
• Tentative proposal
– Ontology is complete if associated plan is complete, given an appropriate set of rules for translating and elaborating
![Page 29: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/29.jpg)
Outline• Basic proposal
o Central ideao Mapping plan elements to ontological elementso Representing intention(s) within ontologyo Bringing in background conceptso Dealing with ‘completeness’o Characterising good organisation
• Implementing these ideas
• Future vistas
![Page 30: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/30.jpg)
“Ontological mereology”
• Want to consider clusters of concepts
• Especially, clusters that, in some sense, partition a superclass
• Sticking point: how can you know when you have a complete partition?
• Weaker condition– Subclasses don’t overlap
![Page 31: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/31.jpg)
Plans and Partitions
• Partition – a basic concept for ontologies ?
• Basic partition – of some background concept– Focal subconcept(s)– “Other”-subconcept (a better term might be “remainder”)
• Interpretation: individuals not covered by focal concepts
![Page 32: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/32.jpg)
Plans and Partitions - 2
• Tentative rule– Focal concepts must not precede background
concepts in a hierarchy– I.e. all focal concepts must occur at the bottom of
a concept-tree
background
focal
focal
other
focal other
Well-formed tree
![Page 33: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/33.jpg)
Partitions (cont.)
• Good (partial) partitions and bad partitions
BodyPart
Arm Leg
BodyPart
Arm Cell
Good Bad
![Page 34: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/34.jpg)
Further Examples• Animal
– Arthropod– Chordate– Etc
• Animal– Winged– Legged– Crawling
• Animal– Radial symmetry– Bilateral symmetry
![Page 35: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/35.jpg)
E.g.
VehicleModeOfTransport
Bus Rented_Car Airplane Car Bus Airplane
For trip-planning, hierarchy on left is more appropriate
Choice of background concepts
![Page 36: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/36.jpg)
Outline
• Basic proposal
• Implementing these ideas
• Future vistas
![Page 37: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/37.jpg)
Implementation
• Important issue– regarding conceptualization vs. HCI
• How should preceding ideas be reflected in actual implementation?
• More specifically, which of the distinctions in the model must the user be expected to make?
• Want to avoid some complexities of planning process
![Page 38: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/38.jpg)
Implementation – Current Plan
• Planning interface– Supports HTN style of planning
• Concept extraction– Dictionary, string matching– Initially, use Java camelBack conventions for plan
elements– Use of top-level ontology to ‘locate’ concepts
derived from plan• Use of Owl with Java API
![Page 39: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/39.jpg)
Outline
• Basic proposal
• Implementing the idea
• Future vistas
![Page 40: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/40.jpg)
Ideas for Future
• Ontology building as replanning– Use of old plans, subplans
• Plan schemas– Interrogate user for associated actions, etc
(focal) concepts• Refining ideas of intention/requisite
competence– Handling multiple intentions
• Generating plan(s) from existing ontologies
![Page 41: Context and Intention in Ontologies Rick Wallace & Tabbasum Naz Cork Constraint Computation Centre University College Cork Cork, Ireland ARCOE 2010, Lisbon.](https://reader031.fdocuments.us/reader031/viewer/2022032612/56649efd5503460f94c11e30/html5/thumbnails/41.jpg)
END