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

Conference Call Details    (TQY)

Attendees    (TRP)

Background    (TRZ)

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.    (TS0)

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).    (TS1)

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

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

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

Topic: "Evaluating Reasoning Systems: Ontology Languages"    (TSC)

by Professor Michael Gruninger & Mr. Conrad Bock    (TTN)

http://ontolog.cim3.net/file/work/OntologyMeasurementEvaluation/2007-02-22_EvaluatingReasoningSystems/MichaelGruninger_20070222.jpg . . . . . . . . http://ontolog.cim3.net/file/work/OntologyMeasurementEvaluation/2007-02-22_EvaluatingReasoningSystems/ConradBock_20070222.jpg    (TSD)

    [Professor Michael Gruninger]                [Mr. Conrad Bock]    (TSE)

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.    (TSG)

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).    (TSI)

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.    (TSJ)

Questions, Answers & Discourse:    (TSP)

Audio Recording of this Session    (TSZ)