Using Prot

1
Using Protégé-2000 in Reuse Processes
H. Sofia Pinto sofia_at_gia.ist.utl.pt Duarte Nuno
Peralta duarte_at_gia.ist.utl.pt Nuno J.
Mamede Nuno.Mamede_at_inesc-id.pt
2
Outline

• Context of Experiment
• Building Process
• Translator Analysis
• Conclusions Future Work

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

4
Building Process

Simple-Time Source code
Simple-Time Conceptual model
Ontolingua Server
Reverse Engineering
Analysis
Lost Misplaced Knowledge
Technical evaluation Simple-Time
Analysis
Tempo-Simples Taxonomy, relations
functions, NL expressions, axioms
Tempo-Simples taxonomy, relations functions
Correction NL translation Extension
Tempo-Simples taxonomy
Importing from Ontolingua
Rearrangement Extension
Simple-Time OKBC code

5
Problems after Importing

• 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) -gt ?Year
..." Def (And
(Time-Point ?Time-Point)
(Year-Number ?Year)))
6
Rearrangement Extension

7
Analysis Simple-Time

• Analysis of conceptual model source code
• Overall perspective
• Language conformity (syntax)
• Technical verification Goméz-Pérez99
• Assessment Goméz-Pérez99

8
Analysis Simple-Time

• Poor hierarchy

(define-relation EQUALS (?time-point-1
?time-point-2) ... axiom-def ((gt
(and (time-point ?time-point-1)
(time-point ?time-point-2)) (ltgt (equals
?time-point-1 ?time-point-2) (and
...))) (gt (and (time-range ?time-range-1)
(time-range ?time-range-2))
(ltgt (equals ?time-range-1 ?time-range-2)
(and ...)))))

• Duplicate knowledge

• Implementation errors

9
Correction,NL Translation Extension

• Correction polymorphic refinement, etc.
• NL Translation

(defrange ?intervalo1 FRAME Intervalo-Tempo) (def
range ?intervalo2 FRAME Intervalo-Tempo
Toca) (forall ?intervalo1 (forall ?intervalo2
(gt (and (Toca ?intervalo1 ?intervalo2)
(own-slot-not-null Fim-de ?intervalo1)
(own-slot-not-null Inicio-de
?intervalo2)) ( (Fim-de ?intervalo1)
(Inicio-de ?intervalo2)))))

• Extension
• Axioms
• NL expressions half an hour, etc.

10
Translator Analysis
Thing
Slot
Instance
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

12
Future work

• Improvement of Protégé-2000s OKBC-tab plug-in
• Development of more ontologies
• By reuse processes
• Using available tools
• Continue the study of interoperability between
  other tools