using protégé-2000 in reuse processes h. sofia pinto duarte nuno peralta
DESCRIPTION
30/09/20023 Context of Experiment Development of ontologies NL Dialogue System Ticket vending machine for bus terminal Protégé-2000 Locally installed Large community of users Very good and efficient technical supportTRANSCRIPT
Using Protégé-2000 in Reuse Processes
H. Sofia Pinto [email protected] Nuno Peralta [email protected] J. Mamede [email protected]
30/09/2002 2
Outline
• Context of Experiment• Building Process• Translator Analysis• Conclusions & Future Work
30/09/2002 3
Context of Experiment
• Development of ontologies• NL Dialogue System• Ticket vending machine for bus terminal
• Protégé-2000• Locally installed• Large community of users• Very good and efficient technical support
30/09/2002 4
Building Process
Ontolingua ServerSimple-Time
Source codeReverse
EngineeringSimple-Time
Conceptual model Analysis
AnalysisLost & Misplaced Knowledge
Importingfrom Ontolingua
Technical evaluationSimple-Time
Tempo-Simplestaxonomy
Rearrangement &Extension
Simple-TimeOKBC code
Tempo-Simplestaxonomy,
relations & functions
CorrectionNL translation& Extension
Tempo-SimplesTaxonomy,
relations & functions,NL expressions,
axioms
…
…
30/09/2002 5
• Knowledge lost:• Relations and some functions• Axioms• Minimum cardinality constraints
• Misplaced knowledge• Functions
(define-relation Meets (?time-range-1 ?time-range-2) “...” :iff-def (Equals (End-Time-Of ?time-range-1) (Start-Time-Of ?time-range-2)))
(Define-Function Year-Of (?Time-Point) :-> ?Year “..." :Def (And (Time-Point ?Time-Point) (Year-Number ?Year)))
Time-Point
No slots
Calendar-Year
Year-of
Is-a
Problems after Importing…
30/09/2002 6
Rearrangement & Extension
Time-Point
No slots
Universal-Time-SpecYear-of max.card = 1Month-of max.card = 1
...
...
Time-Point
Universal-Time-Spec
Year-of max.card = 1Month-of max.card = 1Day-of max.card = 1
...Equals max.card = 1
...
Hour-of max.card = 1
Year-of min.card = 1Month-of min.card = 1
...
...
…
30/09/2002 7
Analysis Simple-Time
• Analysis of conceptual model & source code1. Overall perspective2. Language conformity (syntax)
• Technical verification [Goméz-Pérez99]• Assessment [Goméz-Pérez99]
…
30/09/2002 8
• Poor hierarchy
Analysis Simple-Time
Time-PointCalendar-DateCalendar-YearUniversal-Time-Spec
Time-RangeHour-NumberDay-NumberYear-NumberMonth-Name
...Month-ofMonth-Name-of
Hour-ofDay-of
...
• Duplicate knowledge
• Implementation errors
(define-relation EQUALS (?time-point-1 ?time-point-2)
“...”
:axiom-def
((=> (and (time-point ?time-point-1)
(time-point ?time-point-2))
(<=> (equals ?time-point-1 ?time-point-2)
(and ...)))
(=> (and (time-range ?time-range-1)
(time-range ?time-range-2))
(<=> (equals ?time-range-1 ?time-range-2)
(and ...)))))
…
30/09/2002 9
Correction,NL Translation & Extension
• Correction: polymorphic refinement, etc.
• NL Translation
• Extension:• Axioms• NL expressions: “half an hour”, etc.
(defrange ?intervalo1 :FRAME Intervalo-Tempo)(defrange ?intervalo2 :FRAME Intervalo-Tempo Toca)(forall ?intervalo1 (forall ?intervalo2 (=> (and (Toca ?intervalo1 ?intervalo2) (own-slot-not-null Fim-de ?intervalo1) (own-slot-not-null Inicio-de ?intervalo2)) (= (Fim-de ?intervalo1) (Inicio-de ?intervalo2)))))
…
30/09/2002 10
Translator AnalysisThing
Slot
Instance
Class
Class
Class
Is-a Is-a
Is-a
Instance
Instance-of
Instance
Instance-of
Slot
Template-slot
Slot
Template-slot
Slot
Template-slotSlot
Template-slot
Slot
Own-slot
Own-slot
30/09/2002 11
Conclusions
• Support of Protégé-2000 in a reuse process
• Interoperability between ontology building tools• Translator analysis
• Protégé-2000• Intuitive and easy to use• OKBC-tab plug-in helpful for a first draft of the
ontology
30/09/2002 12
Future work
• Improvement of Protégé-2000’s OKBC-tab plug-in
• Development of more ontologies– By reuse processes– Using available tools
• Continue the study of interoperability between other tools