Keynote Speakers and Invited Demos
Michael Genesereth, Stanford University, USA
Abstract: Logical spreadsheets are spreadsheets in which formulas are written as logical constraints rather than function definitions. Allowing logical constraints in spreadsheets substantially increases their utility. At the same time, it poses interesting technical challenges, notably the representation of logical constraints (both static and dynamic), query and update in the face of data incompleteness and inconsistency, and support for collaborative work on distributed spreadsheets. In this presentation, we describe logical spreadsheets in detail and offer some approaches to dealing with these underlying challenges. While logical spreadsheet technology is useful in specialized applications, it is even more useful as a general technology for the World Wide Web, turning ordinary Web forms into logical forms (sometimes called websheets). Moreover, the concept and technology of collaborative websheets can be further generalized to collaborative management of arbitrary logical databases. We close with thoughts about how this generalized technology can be used to produce a key component of the Semantic Web, viz. a World Data Web in which concepts and relationships replace documents and links, in which rules replace code, and in which query and update replace keyword search and file management.
About the speaker: Michael Genesereth is an associate professor in the Computer Science Department at Stanford University. He received his Sc.B. in Physics from M.I.T. and his Ph.D. in Applied Mathematics from Harvard University. Genesereth is most known for his work on Computational Logic and applications of that work in Enterprise Management and Electronic Commerce. He is one of the founders of Teknowledge, the premier company commercializing Artificial Intelligence; he is a co-founder of CommerceNet, the premier organization for electronic commerce on the Internet; and he is a founder of Mergent Systems, an early vendor of technology for integrated catalogs on the World-Wide Web. (Mergent was sold to Commerce One in 2000, which in turn was sold to Perfect Commerce in 2006.) Genesereth is the current director of the Logic Group at Stanford and research director of CodeX (the Stanford Center for Computers and Law).
David Webber, OASIS CAM TC Chair, USANIEM Canonical XML Dictionaries and Rule Engine Systems
About the speaker: David is currently working as a consultant to the US Government for eHealthcare applications of XML and ebXML. He is also guiding work on open source public standard-based solutions for eVoting. Previously he worked as VP Business Development for XML Global Technologies Inc, and he is a cofounder of the XML/edi Group. An acknowledged authority on XML and eBusiness David holds two US Patents on advanced information transformation and EDI. Known as a innovator David has been the genesis of a wide range of world leading solutions including airport gate scheduling, buy-repair logistics, address synchronization, SeeMail, iBolt, ShroudIt!, XML Transform and Registry and now VisualScript XML for Smartdraw.com. David is chairing a new OASIS Technical Committee developing Content Assembly Mechanism specifications as a vital component of next generation eBusiness infrastructure. David has also co-authored a book for New Riders Press entitled "ebXML: The New Global Standard for doing business on the Internet", designed for managers, executives and business implementers. He lectures frequently in the U.S., Europe, and Asia, has more than 20 years' experience implementing business systems in a broad spectrum of industries. He is also heavily involved in ebXML interoperability standards development and the latest OASIS Business-Centric Methodology work. Additionally David has continued to focus on facilitating the development and deployment of semantic registry systems by government and industry organizations. He received his degree in Physics with Computing from the University of Kent, Canterbury, UK, in 1976.
Donald Chapin, Business Semantics Ltd, UK - Co-chair of OMG Business Modeling & Integration DTFImplementing SBVR with a Practitioner's Perspective
About the speaker: Donald Chapin has pioneered methods for defining concepts, structuring knowledge, and expressing business rules in the language of the business since the beginning of his career. Having co-founded a manufacturing company with responsibility for its organization, processes, management system and recordkeeping, he proceeded to bring that business orientation to the design of IBM's first training program for business application development. He continues to enable organizations to document and manage their business vocabularies, policies, rules, services and processes as a strategy, tools and methods consultant, workshop facilitator, trainer, mentor, and quality reviewer. Donald Chapin has been the chair of the OMG Finalization Task Force for the Semantics of Business Vocabulary and Business Rules (SBVR), co-chair of the OMG Business Modeling and Integration Domain Task Force, and the OMG Liaison to ISO TC 37 (Terminology and other Language and Content Resources).
Jans Aasman, Franz Inc's President and CEO
About the speaker: Dr. Jans Aasman, Franz's President and CEO, a longtime customer, joined Franz from TNO Telecom based in The Netherlands. His previous experience and educational background include:
- KPN Research, the research lab of the major Dutch telecommunication company.
- Tenured Professor in Industrial Design at the Technical University of Delft. Title of the chair: Informational Ergonomics of Telematics and Intelligent Products.
- Carnegie Mellon University. Visiting Scientist at the Computer Science Department of Prof. Dr. Alan Newell.
- Researcher at the Traffic Research Center of the University of Groningen (The Netherlands).
- Experimental and cognitive psychology at the University of Groningen, specialization: Psychophysiology, Cognitive Psychology.
- Bachelors title Philosophy.
Dumitru Roman, SINTEF ICT, NorwayRule-based Composition and Mediation of Environmental Services
About the speaker: Dr. Dumitru Roman joined SINTEF ICT as a research scientist in September 2009. Previously he worked as a senior researcher at the Semantic Technology Institute Innsbruck, Austria, where he was involved in several large projects on developing and applying semantic technologies in the area of service-oriented computing and the Web. His general research background and interests lay at the border between knowledge representation and reasoning, and large scale, dynamically distributed systems.