1. KMi-SMI collaboration Wenjin Lu and Enrico Motta Knowledge Media Institute Monica Crubézy Stanford Medical Informatics

2. Goals Customizing Protégé editor for use with OCML (Protégé-OCML) –Evaluating Protégé suitability Translating classification library into Protégé- OCML –Validating classification library –Evaluating UPML Revising Specification for Internet Reasoning Service

3. 1. The Protégé-UPML editor for OCML Modeling of OCML meta ontology in Protégé – i.e., classes, relations, functions, axioms, etc... Inclusion of OCML meta ontology in Protégé-UPML editor –i.e., defining the appropriate KA forms for the basic OCML constructs Extension of UPML concepts for OCML, with reference to OCML meta ontology –e.g., formula -> OCML-formula

4. OCML meta ontology in Protégé By the way, this is the output of a new plugin for Protégé, that creates a graph out of a KB, with different visualization options subclass-of link instance-of link

5. Each OCML construct is an instance of :OCML-CLASS Template slots define own OCML fields for all classes

6. OCML in Protégé-UPML editor Inclusion of OCML meta ontology in UPML domain modelling meta-ontology Extension of UPML concepts for OCML (“UPML-OCML concepts”) –Formula < OCML-Formula formula -> ocml-kappa-expression, ocml-relation-mapping –Program < OCML-Program program -> ocml-lambda-expression, :OCML-PROCEDURE –Signature Element < OCML-Element ocml-type -> :OCML-CLASS, :OCML-RELATION, :OCML-FUNCTION –Signature < OCML-Signature signature-elements -> (OCML-Element)

7. UPML core ontology is extended for OCML

8. 2. The Classification library in UPML Task-Domain Bridge PSM-Domain Bridge PSM-Task Bridge Task Refiner Domain Model Domain Refiner PSM Refiner Ontologies Ontology Refiner Classification Library Heuristic classifier (Optimal) Classification Optimal classification @ Heuristic classifier Apples Heuristic classifier @ Apples Optimal classification @ Apples Abtractor, Refiner Color “green”, Sugar-level Observable, Solution Abstractor = Sugar-abstractorSolution = Apple class

9. The Classification library in Protégé-UPML Classification ontologies modeled in Protégé-OCML –Classification task, heuristic classification method, apples domain, apples @ heuristic classification application –Modeled as separate ontologies in Protégé-OCML (ie, a hierarchy of classes that are instances of OCML primitives) –Included along with UPML-OCML (UPML extended for OCML) UPML-OCML concepts instantiated with elements of the included classification ontologies UPML concepts instantiated with classification tasks, PSMs, knowledge roles, etc.

10. Classification ontologies in Protégé-OCML OCML-BASE CLASSIFICATION-TASK HEURISTIC-CLASSIFICATION-METHOD APPLE-DOMAIN APPLE-HEURISTIC-CLASSIFICATION-APPLICATION included-in

11. Each concept is an instance of :OCML-CLASS Own slots contain OCML definition of the class

12. Classification Library instance

13. Classification Task instance

14. Task: Classification (ontology signature)

15. Task: Classification (competence)

16. Heuristic optimal solution classifier PSM

17. Heuristic optimal solution classifier PSM (Signature and Competence)

18. Heuristic optimal solution classifier PSM (Operational description)

19. Classification-task @ apples-domain bridge 4 mapping axioms define the bridge

20. Classification-task @ apples-domain bridge (mapping axiom for observable)

21. Conclusions of the experiment Customization of Protégé-UPML for OCML –2-step process: OCML in Protégé + extension of UPML for OCML –Reasonably easy to do! Classification library in UPML –Fits nicely, except: Knowledge roles (case-indep. data) at the task & complex PSM level Task, PSMs, etc. are classes in OCML, not instances as in UPML Needs the implementation of a connection to OCML interpreter

22. 3. Internet Reasoning Service