1 / 23

KMi-SMI collaboration

KMi-SMI collaboration. Wenjin Lu and Enrico Motta Knowledge Media Institute Monica Crubézy Stanford Medical Informatics. Goals. Customizing Protégé editor for use with OCML (Protégé-OCML) Evaluating Protégé suitability Translating classification library into Protégé-OCML

allan
Download Presentation

KMi-SMI collaboration

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  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. subclass-of link instance-of link 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

  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 Classification Library Optimal classification @ Heuristic classifier PSM Refiner Task Refiner PSM-Task Bridge (Optimal) Classification Heuristic classifier Task PSM Abtractor, Refiner Observable, Solution Ontology Refiner Ontologies Task-Domain Bridge PSM-Domain Bridge Color “green”, Sugar-level Optimal classification @ Apples Heuristic classifier @ Apples Domain Refiner Solution = Apple class Abstractor = Sugar-abstractor Domain Model Apples

  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 included-in included-in CLASSIFICATION-TASK APPLE-DOMAIN included-in HEURISTIC-CLASSIFICATION-METHOD included-in included-in APPLE-HEURISTIC-CLASSIFICATION-APPLICATION

  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

More Related