Joint Committee Minutes 14 November 2000
This page summarizes the telecon for the Joint
US/EU Committee on Agent Markup Languages
held from 1300 to 1400 PST on 14 November 2000.
These minutes were prepared by the chairman,
and were approved during the 21 November telecon.
- Tim Berners-Lee (lurking)
- Dan Brickley
- Dan Connolly (joined late)
- Mike Dean
- Stefan Decker
- Dieter Fensel
- Richard Fikes (invited guest)
- Frank van Harmelen
- Pat Hayes
- Jeff Heflin
- Jim Hendler (brief appearance)
- Ian Horrocks
- Ora Lassila
- Deb McGuinness (joined late)
- Lynn Andrea Stein
Dieter Fensel has joined the committee as an advisor representing the EU.
Dan Connolly secured 5 day passes to the
XML 2000 Conference
in DC, which will allow committee members to
participate in the
Introducing Knowledge Technologies
session on December 6.
These were claimed by Deb McGuinness,
Frank van Harmelen, Ian Horrocks, and Jeff Heflin.
Stefan Decker, Ora Lassila, Jeff Heflin,
an OIL representative (Ian Horrocks, Dieter Fensel, or Frank van Harmelen),
and Pat Hayes volunteered to develop a proposal to
add rules to DAML-ONT.
They will also try to coordinate with
Rule Markup Language Initiative.
ACTION: Mike Dean will coordinate.
Universe of Discourse
There was considerable discussion regarding the DAML-ONT
domain/universe of discourse question
raised by Frank von Harmelen.
Core KIF (first-order logic + identity) was cited as an example
of keeping things simple, placing minimal requirements
on the domain of discourse.
Issues include expressivity, decidability,
complexity (formal and cognitive), and keeping things simple for tools.
ACTION: Pat Hayes (in favor of including classes in the
universe of discourse) and Ian Horrocks (in favor of
excluding classes) will develop proposals.
Formal Semantics for DAML-ONT
Deb McGuinness and Richard Fikes introduced their
Axiomatic Semantics for DAML-ONT,
which has been discussed on email@example.com.
to reach a larger target audience.
Remaining issues include
- axioms for imports
- axioms for default
- axioms for type
- axioms for RDF Schema
Our in-person meeting will be held at the
BBN Rosslyn office (convenient to the
on 7-8 December 2000.
John Flynn has distributed local hotel location and rate information.
Plan on 9-5 on Thursday, and 9-3 on Friday.
Kelly Barber's raw notes
last week's minutes
$Id: 2000-11-14.html,v 1.7 2001/04/10 09:35:11 mdean Exp $