Re:
http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2007_02_22 (01)
*ANNOUNCEMENT* (02)
The Ontolog Forum is pleased to announce that Dr. Steven Ray
(NIST, USA) will be presenting the 4th event of the joint
NIST-Ontolog-NCOR mini-series on "Ontology Measurement and
Evaluation," Thursday, 22-Feb-2007. Professor Michael Gruninger
(University of Toronto, Canada) and Mr. Conrad Bock (NIST, USA)
will be our invited speakers. They will be giving the talk
entitled: "Evaluating Reasoning Systems." (03)
We take pleasure in inviting you to join us at this
virtual event. (04)
*Conference call-in details*: (05)
Date: Thursday, 22-February-2007
Start Time: 10:30am PST / 1:30pm EST / 18:30 GMT/UTC
(World Time:
http://www.timeanddate.com/worldclock/fixedtime.html?month=2&day=22&year=2007&hour=10&min=30&sec=0&p1=224 (06)
)
Session Duration: 1.5~2.0 Hours
Dial-in Number:
o from US: +1-605-475-8590 (South Dakota, USA)
o from Europe, call:
* Belgium 070-35-9989
* France 0826-100-277
* Germany 01805-00-7649
* Ireland 0818-270-034
* Italy 0848-390-175
* Switzerland 0848-560-195
* UK 0870-738-0763
o callers from other countries please dial into either one
of the US or European numbers
o Conference ID: "5823120#"
o Direct call from from Skype: +990008275823120
Shared-screen support will be available (07)
Session Chair: *Dr. Steven Ray* (NIST)
Invited Speakers:
*Professor Michael Gruninger* (U. of Toronto)
*Mr. Conrad Bock* (NIST) (08)
Topic: *Evaluating Reasoning Systems* (09)
*Abstract*: (by Michael Gruninger & Conrad Bock) (010)
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. (011)
*About the Speakers*: (012)
*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). (013)
*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 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. (014)
*Refer to details on the session wiki page at*:
http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2007_02_22 (015)
This will be a virtual session over an augmented
conference call. The session is expected to include a
~1 Hour presentation followed by a Q&A and discussion
between the participants and the speaker. The entire
session will be recorded and made available as open
content under the prevailing Ontolog IPR policy (see:
http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid32). (016)
As usual, this Ontolog event is open to all. I look
forward to having you at this session. Please pass the
announcement along to those who might be interested to
join us too. (017)
*RSVP* by by emailing me at <peter.yim@xxxxxxxx>
offline so that we can prepare enough resources to
support everyone. (Kindly include your affiliation and
job title if you aren't already a member of the Ontolog
community.) (018)
Regards. =ppy (019)
Peter P. Yim Co-convener, Ontolog
-- (020)
_________________________________________________________________
Join this list: mailto:ontolog-invitation-join@xxxxxxxxxxxxxxxx
Leave this list: mailto:ontolog-invitation-leave@xxxxxxxxxxxxxxxx
Message Archives: http://ontolog.cim3.net/forum/ontolog-invitation/
Community Wiki: http://ontolog.cim3.net/wiki/
Community Portal: http://ontolog.cim3.net/ (021)
|