From OntologPSMW

Jump to: navigation, search
[ ]

Contents

NIST-Ontolog-NCOR Mini-Series: Ontology Measurement and Evaluation (Session-4) - Thu 22-Feb-2007     (1)

  • Topic: "Evaluating Reasoning Systems: Ontology Languages"     (1C)

  • Shared-screen support (VNC session), if applicable, will be started 5 minutes before the call at: http://vnc2.cim3.net:5800/     (1E5)
    • view-only password: "ontolog"     (1E5A)
    • if you plan to be logging into this shared-screen option (which the speaker may be navigating), and you are not familiar with the process, please try to call in 5 minutes before the start of the session so that we can work out the connection logistics. Help on this will generally not be available once the presentation starts.     (1E5B)
    • people behind corporate firewalls may have difficulty accessing this. If that is the case, please download the slides below and runing them locally. The speaker will prompt you to advance the slides during the talk.     (1E5C)
  • Please note that this session will be recorded, and the audio archive is expected to be made available as open content to our community membership and the public at-large under our prevailing open IPR policy.     (1E9)

Attendees     (1F)

Background     (1H)

This is the 3rd event of a mini-series of talks and discussions that revolve around the topic: "Ontology Measurement and Evaluation" during which this community will explore the landscape, issues and solutions relating to the measurement, evaluation, quality and testing of ontologies.     (1H1)

This is a Joint NIST-Ontolog-NCOR initiative. A planning meeting for this mini-series took place on 22-Aug-2006, during which the scope and plans for the program was discussed among members of the community. Dr. Steven Ray, who is the Chief of NIST's Manufacturing Systems Integration Division (MSID), a long time member of the Ontolog community, as well as the convener of NCOR's Ontology Evaluation Committee, was invited to champion the program. This series is expected to last about 6 months during which invited speaker and technical discussion events will be featured (at the rate of about one event per month).     (1H2)

See also: OntologyMeasurementEvaluation (the 'project' homepage for this mini-series)     (1H3)

Agenda & Proceedings: "Ontology Measurement and Evaluation" - Mini-series Session-4     (1I)

Professor Michael Gruninger and Mr. Conrad Cock presenting their talk on: "Evaluating Reasoning Systems: Ontology Languages"     (1I1)

  • Session Format: this is a virtual session conducted over an augmented conference call     (1I2)
    • 2. we'll go around with a self-introduction of participants (10~15 minutes) - will skip this segment if we have moe than 20 participants (in which case, it will be best if members try to update their namesake pages on this wiki prior to the call so that everyone can get to know who's who more easily.)     (1I2B)
    • 3. Introduction of the invited speaker by Dr. Steven Ray, our program lead of this mini-series     (1I2C)
    • 4. Invited Speaker(s) Presentation - Michael Grüninger & Conrad Bock (~60 minutes)     (1I2D)
    • 5. Q & A and Open discussion by all participants (~30 minutes)     (1I2E)
    • 6. Summary / Conclusion / Follow-up (SteveRay - 5 minutes)     (1I2F)

Topic: "Evaluating Reasoning Systems: Ontology Languages"     (1J)

by Professor Michael Gruninger & Mr. Conrad Bock     (1K)

MichaelGruninger_20070222.jpg . . . . . . . . ConradBock_20070222.jpg     (1K1)

[Professor Michael Gruninger] [Mr. Conrad Bock]     (1K2)

We present a taxonomy of representation languages, ordered by expressiveness. We will use the following characteristics to specify a profile for each language in the taxonomy: monotonicity, soundness and completeness, complexity, model-theoretic properties. We will use the following three properties of a reasoning system to characterize its representation language: theory language is used to specify the knowledge bases that are used by the reasoning system, Query language is used to specify the queries that are solved by the reasoning system, and ontology that specifies any set of background axioms that are implicitly used by the reasoning system.     (1K4)
Michael Gruninger is a Professor at the Department of Mechanical & Industrial Engineering of University of Toronto (Ontario, Canada). His research focus is in the design and formal characterization of ontologies and their application to problems in manufacturing and enterprise engineering. Previously, he has held research positions at the Institute for Systems Research at the University of Maryland College Park and at the National Institute for Standards and Technology (NIST) in the USA. Michael received his Ph.D. and M.Sc. in Computer Science at the University of Toronto and his B.Sc. in Computer Science at the University of Alberta. He has been the project leader for the Process Specification Language project at NIST. He is also the project leader for ISO 18629 (Process Specification Language) within the International Standards Organization (ISO), and he was the project editor for project ISO 24707 (Common Logic).     (1K6)
Conrad Bock is a computer scientist at the US National Institute of Standards and Technology specializing the Process Specification Language (PSL), the Unified Modeling Language (UML) and modeling language semantics. Among other responsibilities, he has been developing process ontologies based on the PSL. He has been Workgroup Lead for UML 2 Activities and Actions, and one of the developers of the UML repository model at the Object Management Group. He has also been NIST's representative on the HL7 Clinical Decision Support Technical Committee. Conrad received his MS in computer science from Stanford University.     (1K7)

Questions, Answers & Discourse     (1K9)

  • Please mute your phone, by pressing "*2" on your phone keypad, when the talk is in progress. To un-mute, press "*3"     (1K9A)
  • If you want to speak or have questions or remarks to make, please "raise your hand (virtually)" by pressing "11" on your phone keypad. You may speak when acknowledged by the speaker or the session moderator.     (1K9B)

Audio Recording of this Session     (1L)


This page has been migrated from the OntologWiki - Click here for original page     (1L6)