CINXE.COM

<?xml version="1.0" encoding="utf-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" lang="en-US" xml:lang= "en-US"> <head> <meta http-equiv="content-type" content="text/html; charset=utf-8" /> <meta name="generator" content= "HTML Tidy for Mac OS X (vers 1st March 2004), see www.w3.org" /> <title>Minutes: W3C Technical Plenary Day - 1 March 2006</title> <link href="https://www.w3.org/StyleSheets/base.css" rel="stylesheet" type="text/css" /> <style type="text/css"> /*<![CDATA[*/ .irc { font-family: monospace; font-size: 95%; background: #ddd; color: #000; padding: 0.2em; margin-left: 4%; } .image { text-align: left; } /*]]>*/ </style> </head> <body> <div class="head"> <a href="https://www.w3.org/" title="Go to W3C Home Page"><img height= "48" width="72" alt="W3C" src="/Icons/w3c_home" /></a> </div> <h1>Minutes: W3C Technical Plenary Day</h1> <h2>1 March 2006</h2> These are the minutes of the sixth annual <a href= "/2006/03/01-TechPlenAgenda.html">W3C Technical Plenary</a> held on 1 March 2006 at the Sofitel Royal Casino Hotel in Mandelieu, France. In addition to the day-long event, thirty W3C Working Groups and Interest Groups held face-to-face meetings over four days at the same location. The public plenary consisted of nine sessions. This meeting record is transcribed from the <a href="/2006/03/01-tp-irc">IRC log</a> (Member only) and is not verbatim. Please send corrections to the <a href= "/People/domain?domain=Communications">W3C Communications Team</a>. W3C wishes to thank Plenary Day scribes Klaus Birkenbihl, Janet Daly, Sandro Hawke, Ivan Herman, Ian Jacobs and Felix Sasaki; and photographers Kazuyuki Ashimura [archive: <a href= "http://toro.w3.mag.keio.ac.jp/~ashimura/Photo/2006_03_01_am1/">Session 2</a>, <a href= "http://toro.w3.mag.keio.ac.jp/~ashimura/Photo/2006_03_01_am2/">Sessions 3, 4 and 5</a>, <a href= "http://toro.w3.mag.keio.ac.jp/~ashimura/Photo/2006_03_01_pm1/">Sessions 6 and 7</a>, <a href= "http://toro.w3.mag.keio.ac.jp/~ashimura/Photo/2006_03_01_pm2/">Sessions 8 and 9</a>], Klaus Birkenbihl [<a href="https://www.w3.org/2006/03/TPPlenaryPicturesKB/index.html">archive</a>], Bert Bos, Paul Downey, Thomas Roessler [<a href= "http://people.w3.org/~lesch/20060301-Roessler/">archive</a>] and others. Informally, <a href="http://dig.csail.mit.edu/breadcrumbs/node/92">Dan Connolly</a> (W3C), <a href="http://torrez.us/archives/2006/03/04/419">Elias Torres</a> (IBM), and <a href="http://norman.walsh.name/2006/03/06/tp">Norm Walsh</a> (Sun Microsystems) and others posted reflections on this year's plenary. The first annual W3C Technical Plenary took place on <a href= "/2001/02/allgroupoverview.html">28 February 2001</a>, the second on <a href="/2001/07/allgroupoverview.html">27 February 2002</a>, the third on <a href="/2003/08/allgroupoverview.html">5 March 2003</a>, the fourth on <a href="/2004/03/plenary-minutes">3 March 2004</a> and the fifth on <a href="/2005/03/plenary-minutes">2 March 2005</a>. <img alt="Ian Hickson presenting" src= "/2006/03/01-photos/IanHickson.jpg" /> <img alt= "Mark Nottingham at mic" src= "/2006/03/01-photos/Mark-Nottingham.jpg" /> <img alt= "Don Deutsch speaking" src="/2006/03/01-photos/Deutsch.jpg" /> <img alt="attendees at breaktime" src="/2006/03/01-photos/Laugh.jpg" /> <img alt="Rohit Kare speaking, Hakon Lie to right" src= "/2006/03/01-photos/Khare-Lie.jpg" /> <img alt="John Boyer speaking" src="/2006/03/01-photos/Boyer2.jpg" /> <img alt="room from the rear" src="/2006/03/01-photos/Rear.jpg" /> <img alt= "Daniel Veillard at the mic" src="/2006/03/01-photos/Veillard.jpg" /> <img alt="Ignacio Marin preparing to speak" src= "/2006/03/01-photos/Marin.jpg" /> <img alt= "Michael Sperberg-McQueen and Norman Walsh talking on the beach" src= "/2006/03/01-photos/Walsh.jpg" /> <hr /> <h2>Contents</h2> <ol> <li>Session 1: <a href="#Welcome">Welcome</a></li> <li>Session 2: <a href="#itemData">My Data, Your Data, The Web's Data: Challenges of Data Ownership</a></li> <li>Session 3: <a href="#item01">Microformats</a></li> <li>Session 4: <a href="#itemQuery">SQL, XQuery and SPARQL: What's Wrong with this Picture?</a></li> <li>Session 5: <a href="#item02">Lightning Talks A</a></li> <li>Session 6: <a href="#item03">The Grid: What is the Grid and Why Does it Matter to W3C?</a></li> <li>Session 7: <a href="#item04">Adventures in Formal Methods</a></li> <li>Session 8: <a href="#itemRich">Rich Web Application Backplane</a></li> <li>Session 9: <a href="#item05">Lightning Talks B</a></li> <li><a href="#ActionSummary">Summary of Action Items</a></li> </ol> <hr /> <div class="meeting"> <h3 id="Welcome">Session 1: Welcome</h3> <img alt="Steve Bratt presenting" src= "/2006/03/01-photos/Bratt.jpg" /> Meeting Chair: Steve Bratt (W3C Chief Executive Officer) [<a href="https://www.w3.org/2006/Talks/0301-sb-tp-intro/Overview.html">slides</a>] <cite>rohit:</cite> that's a nice svg graphic of specs completed he had two slides ago -- anyone have a link yet? is it autogenerated? <cite>janet:</cite> autogenerated, yes <cite>ivan:</cite> rohit, the svg itself is: <a href="https://www.w3.org/2003/03/recsslideWithGroups.svg">http://www.w3.org/2003/03/recsslideWithGroups.svg</a> <cite>ivan:</cite> png version: <a href="https://www.w3.org/2003/03/recsslideWithGroups.png">http://www.w3.org/2003/03/recsslideWithGroups.png</a> <cite>ivan:</cite> it is regenerated when a new document is published <hr /> <h3 id="itemData">Session 2: My data, your data, the Web's Data: Challenges of Data Ownership</h3> <img alt="Bruno von Niman speaking, Daniel Appelquist at right" src= "/2006/03/01-photos/vonNiman.jpg" /> Moderator: Mark Nottingham (Yahoo). Presenters and Topics: <ul> <li class="vcard">Daniel Appelquist (Vodafone; Compound Document Formats, Mobile Web Best Practice, Device Independence, and Web Application Formats Working Groups, Hypertext Coordination Group, MWI Steering Council, Content Label Incubator Group)</li> <li class="vcard">Sandro Hawke (W3C; Rule Interchange Format Working Group; MIT Decentralized Information Group)</li> <li class="vcard">Bruno von Niman (ANEC; AC Representative)</li> <li class="vcard">Daniel Weitzner (W3C; Technology and Society Domain Leader; Patents and Standards Interest Group, P3P Coordination Group)</li> </ul> <cite>Mark Nottingham:</cite> Users expect more with regards to the use of their data, and their reuse. Many new Web sites are becoming more open to reuse and repurposing of information. This brings about legal considerations. It also brings about different technical challenges. Daniel Weitzner is looking at this from the legal/privacy side, while my perspective is more technical. Each panelist will talk for 3-5 minutes about their perspectives. <cite>Daniel Appelquist (Vodafone):</cite> Vodafone is a carrier with 179 million customers worldwide. We have a key stake in providing customers with services that enable them to use/generate/reuse data. Rather than talk about our company's strategy for customer privacy, I can talk about location-based services code of practice. This governs the use of location data, and apps which use that. Location based services code of practice was developed by different participants across Europe. This is a voluntary practice. We are using location-based info from our cell users, which is not quite GPS, but effective. The four areas are "Corporate, Friend finder, ... and child location". So, how do we enable apps like child location and address privacy concerns in a voluntary way? <cite>Daniel Appelquist:</cite> Much of these codes are alternatives to legislation and regulation. The cornerstones are address validation (sms and sms reply), address access verification, opt-in policy for making your location read, regular reminders about use of your location, use of "anytime stop," transparency of activity. All of these are applicable to the child location application in particular. The challenges apply only to operator based location services, not GPS. <cite>Daniel Weitzner (W3C) speaking for Sandro Hawke (W3C):</cite> TimBL told us we all had to use FOAF (Friend of a Friend) files. FOAF is an RDF file that identifies you, and it is an opt-in app. TimBL told Sandro that he had to use FOAF. Sandro is already a live journal / FOAF user, and an Orkut user. In considering what to do in terms of revealing all connections by combining the two files from a personal context into a professional context, 2/3 of the people he asked were ok with being identified in a professional context, but 1/3 was vehemently opposed, based on data mining concerns. They wanted to control the context in which their identity was used. The Well, an early social networking site, operated on ownership of words. However, your ownership of words describing relationships with others is not so simple. <cite>SusanL:</cite> "You own your own words." WELL welcome message, written by Stewart Brand <cite>Bruno von Niman (ANEC):</cite> I represent ANEC, a EU funded entity that represents the interests of consumers in standards development. It is all of us, after hours. It covers ICT, child safety (helmets, for example) and other areas. I represent EU consumers, essentially the issues we face are wide and complex. To isolate your professional life from your personal life -- this boundary is getting more fuzzy. Our question has to do with developing a profile of myself that brings with it rights as they apply to the citizen as one moves through different environments. Issues on privacy and child protection -- when does a child have the option to turn off tracking? At what age? Is there a way for us to distinguish the difference between service outage and genuine danger with respect to tracing? In healthcare issues -- how do we develop systems for monitors of health conditions, and who gets access to the information? Or for example, the publication of tsunami victims led to thefts of victims' property in Sweden. <cite>Daniel Weitzner (W3C):</cite> The Web made it possible for everyone to be a publisher, but the reality is much more that everyone is a consumer. With the possible exception of email and IM. Now, we get closer to everyone publishing (blogs, wikis). www.myspace.com is a social networking site, mostly late teens, with 50 million users. The company is owned by News Corp. Myspace has 50 million users -- more than all the viewers of all the News Corp stations in the world. At a recent meeting, a conversation took an interesting turn with respect to Myspace. One user was recently found guilty of murder, and his profile would have been an alert to most people reading the profile. There's reason to think of this site as a pool of targets. One of the CPS people said, "if only we could get kids to protect their privacy, they would be safer." And yet, most of these users have a different level of tolerance to exposure and information sharing. Online, we're seeing different practices and may need another way to look at the issue. As for the Google filtering in China case. We may look (legally) at how international law and human rights law intersect. Google says they will indicate when results were blocked. What does "alerting the user" really mean? <cite>Question for the panel:</cite> What shifts are we seeing in content creation and copyright license practices? <cite>Mark Nottingham:</cite> We see more use of tools, such as microformats, that make that sort of data available for repurposing? <cite>Bruno von Niman:</cite> Following Sony's copyright policy with CDs, the EC published "consumer digital rights" which included the right to protect personal information, right to make back-ups for personal needs, right to use and display media at home. <cite>Daniel Appelquist:</cite> The issue of reviews and user-generated content generated a thread on trust -- how can I trust the source of particular information. It could be consumer decisions, or more critical life decisions. It's important to grapple with the trust issue, and understand the provenance of information. Making the source of information transparent is crucial. From a carrier perspective, we see a case for encryption and digital signatures. A SIM card is an identifier we trust, for example. Getting that level of trust on content is a challenge, and is important. <cite>Daniel Weitzner:</cite> There is an interesting access between privacy and personal information. It would be great to come up with a good way to create collective wisdom. We don't have that ability yet because we don't have reliable mechanisms for it at the personal level. Looking at the average search engine/webmail/location information convergence, we're tolerating a staggering amount of personalization and we want that. <cite>Question for the panel:</cite> Are privacy expectations changing? <cite>Sandro Hawke (W3C):</cite> Part of why people have lower privacy expectations and demands is that pseudonymity has taken hold. Since they aren't being pursued in other media, they still feel protected. <cite>Bruno von Niman:</cite> Currently, there are requirements for logging of exchanges and maintaining logs for 5 years. Trust needs to be established. For example, when my operator does not allow me to use a different ring tone, it reduces my trust of the carrier. With respect to privacy, I want to have a portable profile through the Web. Those things are not portable. <cite>Sandro Hawke:</cite> This is why I like OpenID as a user protocol. <cite>Bruno von Niman:</cite> EU has a law that requires that all patient journal data must be interoperable in 5 years. This data must be provided on SIM cards, eventually. They are changing very much. <cite>Al Gilman:</cite> There is prior art in the area of customized services. There is a real issue of public safety as well. I was surprised not to hear that mentioned. The MD who treats you in the emergency room when unconscious -- there are trust issues as well. <cite>Bruno von Niman:</cite> Emergency telecoms (EMTA) is critical as well. Finding systems to reach the right audience in the right language, in a timely fashion, is a major challenge. <cite>Al Gilman:</cite> Is ATEC aware of the meeting stateside of access to emergency information? <cite>Bruno von Niman:</cite> Yes. <cite>Jeremy Carroll:</cite> I found this session incredibly hard. You're raising privacy concerns that are very simple cases. In my own case, there is a variety of information sources that can be combined and a profile of me could be made available. I find this deeply deeply threatening. <cite>karl:</cite> +1 to jeremy carroll <cite>Phil:</cite> +1 to Jeremy <cite>Daniel Weitzner:</cite> You raise what are the hardest privacy problems and what have little to do with the actual technologies. They have to do with larger facts about our society. At UCal Berkeley there was a face recognition experiment going on. There is a walkway through campus called democracy way, where the 68 protests occurred. At the same time, there was a demonstration by Iranian students, protesting the repressive regime. The photos were posted on the Web, and the students were identified by name. Once the demonstrators realized this, they had to work to get the site taken down. <cite>Bruno von Niman:</cite> It has to do with who cares and why. <cite>Mark Nottingham:</cite> Just as security people say that security has to be integrated, privacy has to do the same. <cite>Janet Daly (W3C):</cite> Bruno's remark about the tsunami reminded me of Boston newspapers that announce funerals. Always a family friend would stay in the house to protect it from theft during a funeral. Talking about trust, if you don't know the perspective of the media source, if you don't realize there is a perspective -- a slant -- from the source, you're not going to be able to identify the information as presented or understand whether to trust the presenter. <cite>Chris:</cite> finding subversives based on datamining amazon wishlists: <a href= "http://www.applefritter.com/bannedbooks">http://www.applefritter.com/bannedbooks</a> <cite>Hixie:</cite> is there a tp chat channel this year? <cite>KevinLawver:</cite> #chat? <cite>Hixie:</cite> i guess "there is now" is the answer you were implying :-P <hr /> <h3 id="item01">Session 3: Microformats</h3> <img alt="Hakon Lie presenting" src= "/2006/03/01-photos/Hakon-Lie.jpg" /> Moderators: Tantek Çelik (Technorati, CSS Working Group) and Dan Connolly (W3C; URI Interest Group, RDF Data Access Working Group, Technical Architecture Group). Presenters and Topics: <ul> <li class="vcard">Ian Hickson (Google; CSS Working Group) "A billion documents and no semantics anywhere" [<a href= "/2006/03/01-Hickson/Semantics.html">slides</a>]</li> <li>Tantek Çelik (Technorati; CSS Working Group) "What are microformats?" [<a href= "http://tantek.com/presentations/2006/03/what-are-microformats/">slides</a>]</li> <li class="vcard">Håkon Wium Lie (Opera; CSS Working Group) "Cascading Markup Languages ‹ boom!" [<a href= "http://people.opera.com/howcome/2006/talks/0301-w3c-plenary.html">slides</a>]</li> <li class="vcard">Rohit Khare (CommerceNet) "Where Angle Brackets Fear to Tread" [<a href="http://labs.commerce.net/~rohit/Angstro-W3C-TP/">slides</a>]</li> <li>Dan Connolly (W3C) "Microformats for practical Semantic Web deployment" [<a href="https://www.w3.org/2003/g/talk62/slides">slides</a>]</li> </ul> <cite>Ian Hickson (Google):</cite> I did some Google searches to learn about how markup is used. Millions of pages use non-standard elements; the names of these elements give interesting insights into author demands. [Ian Hickson shows 1000 most-used elements on the Web. Lots of syntax errors and presentation markup is used. A fair amount of "semantic markup" as well. Shows list of non-standard elements. For instance a lot of authors using elements related to headers.] <cite>JacekK:</cite> how is XML a semantic tag? 8-) <cite>Ian Hickson:</cite> An example -- "subtitle" ... An example -- grouping content as "article" or "footer" ... An example: "date" (including dc:date) <cite>Ian Hickson:</cite> Another one is "license"... Microsoft has contributed some of the non-standard tags ("smart tags"). <cite>DanC_lap:</cite> "rdf:rdf is popular enough to be in the top 1000 HTML elements" -- IH <cite>Ian Hickson:</cite> The issue is that these elements are not defined in any specs --- no semantics. Lots of markup for menus. A couple of elements for photos, for advertisements, for prices. "Warning", "Copyright". Class names have no semantics. Web browsers can't make use of them. <cite>DanC_lap:</cite> anybody remember the <menu> tag in HTML 1.x? <cite>anne:</cite> yeah, it was deprecated in HTML 4.01, not? <cite>Ian Hickson:</cite> I looked at slightly more than 1 billion documents. More information on my talk is available at: <a href="https://code.google.com/webstats/index.html">http://code.google.com/webstats/index.html</a> <hr /> Tantek Çelik (Technorati) presents: What are microformats? (<a href= "http://tantek.com/presentations/2006/03/what-are-microformats">slides</a>) [Tantek Çelik shows what you can do with the tech plenary <a href="/2006/03/01-TechPlenAgenda.html">agenda</a>. Shows a transformation of the TP agenda] <cite>dbaron:</cite> <a href= "http://feeds.technorati.com/contacts/http://www.w3.org/2006/03/01-TechPlenAgenda.html"> http://feeds.technorati.com/contacts/http://www.w3.org/2006/03/01-TechPlenAgenda.html</a> [Transformed to vcf and adds 34 new cards to TC's addressbook] <cite>Tantek Çelik:</cite> Contact info of TP speakers is scraped from the TP agenda. The TP agenda page has hCard markup, a microformat in the markup -- hCard converted to vCard, then seamless import into a typical address book. [Shows a transformation of the TP agenda to event information. List of sessions appears in Tantek's calendar program.] <cite>dbaron:</cite> webcal://feeds.technorati.com/events/<a href="https://www.w3.org/2006/03/01-TechPlenAgenda.html">http://www.w3.org/2006/03/01-TechPlenAgenda.html</a> <cite>DanC_lap:</cite> <grumble>webcal:// ... unregistered URI schemes</grumble> <cite>dbaron:</cite> DanC_lap, (response to grumble) <a href= "http://lists.w3.org/Archives/Public/www-tag/2005Dec/0027">http://lists.w3.org/Archives/Public/www-tag/2005Dec/0027</a> <cite>DanC_lap:</cite> thanks for the reminder, dbaron <cite>dbaron:</cite> or <a href= "http://feeds.technorati.com/events/http://www.w3.org/2006/03/01-TechPlenAgenda.html"> http://feeds.technorati.com/events/http://www.w3.org/2006/03/01-TechPlenAgenda.html</a> <cite>Tantek Çelik:</cite> DB too. Same with hCalendar to iCalendar to a calendar program. [Walks through an hCard markup example] <cite>dom:</cite> [the W3C Team-internal phonelist uses hCard; I imported thus the list of phone numbers for all of my colleagues on my cell phone based directly on the said HTML page] [Tantek Çelik presentation continues...] [Road to Microformats] 2000-2001: Designers start to use CSS 2002: designers rediscover semantic XHTML 2003: CSS Zen Garden launched (Showed that you could change presentation without changing markup) Also in 2003, blogging tools adopt more semantic XHTML. Use of "id" increases (replacing empty <a name="foo"></a>) "rel" attribute rediscovered. Bloggers conflate people and URIs into "blog rolls" Blogrolls emerge as decentralized central networks. xhtml friends network extends rel "XFN" 2004: O'Reilly Tech conference. term "microformats' coined. rel="license" and VoteLinks. OPML. more semantic class names begin to appear as people realize that they want to do more than base html elements. 2004: WHAT WG formed. ACM Hypertext 2004 accepted an XFN poster paper "FOO Camp brainstorms" Adam Bosworth asked how to create HTML for calendars. Suggested to turn hcal/hcard semantics into HTML classes. <cite>karl:</cite> <a href= "http://www.opml.org/spec">Outline Processor Markup Language</a> (<a href="https://en.wikipedia.org/wiki/OPML">Wikipedia</a>) Microformats principles: <ul> <li>Solve a specific problem. [Tantek cites principle of least power from TBL]</li> <li>Simple as possible - evolutionary improvements</li> <li>Humans first, machines second - make information presentable and parsable - adapted to current behaviors</li> <li>Reuse from widely adopted standards - semantic XHTML, schemas from interoperable RFCs</li> <li>modularity/embeddability</li> <li>decentralized development, content, services - explicitly encourage "spirit of the Web"</li> </ul> [A list of some microformats implementations: hCalendar, hCard, rel-license, rel-tag, VoteLinks, XOXO, air, geo, hListing, hResume, hReview, rel-directory, hAtom, rel-payment] [Microformats community] <ul> <li>An IRC channel</li> <li>Email discussion lists</li> <li>Use microformats tags when blogging</li> <li>Wiki used to document work</li> </ul> [Microformats exercise: Create your own hCard, publish on your site.] <cite>Chris:</cite> <a href= "http://microformats.org/wiki/microformats">What are microformats?</a> <cite>MarkB:</cite> <a href= "http://tantek.com/microformats/hcard-creator.html">hCard creator</a> <cite>sandro:</cite> (excellent presentation, imho) <hr /> Håkon Wium Lie (Opera) presents "Cascading Markup Languages - boom!" (<a href= "http://people.opera.com/howcome/2006/talks/0301-w3c-plenary.html">slides</a>) <cite>Håkon Wium Lie:</cite> When revising the HWL/Bert Bos book on CSS, we decided to use HTML + CSS. It was time to see if HTML and CSS could be used to create a book instead (of MS Word, TeX, etc). HTML has semantics, but they are shallow. We needed more for specific application like a book. We needed some advanced features not supported directly in HTML (e.g., footers). Came up with a set of class names (mostly on div). Footnotes, numbering. Came up with the "Boom" microformat. The result was a book written entirely in HTML and CSS <cite>Al:</cite> should have used DAISY namespace as classes and be done. DocBook is not that bad in lieu of DAISY, tho <cite>Håkon Wium Lie:</cite> We generated PDF from marked up HTML + CSS and sent that to the printer. Boom microformat is still in development. It doesn't go really very deep. Its main benefit is as a hook for style sheets. [shows <a href="/StyleSheets/Core/">Core Style Sheets</a>] <cite>DanC_lap:</cite> (our server still spends a lot of its time serving the core style sheets) <cite>Håkon Wium Lie:</cite> "Markup languages should be developed in the context of formatting languages, not the other way around." <cite>Hixie:</cite> DV, (howcome joined the YesLogic board in the process, which isn't usually how one does things...) <cite>DV:</cite> Hixie, I noted that he was on the board, yes <cite>Håkon Wium Lie:</cite> I suggest building markup languages when you have a formatting language to build on. We have one billion browsers that support CSS to a limited but useful extent. CSS is now a well-deployed formatting platform. <cite>Al:</cite> I was observing what howcome is saying yesterday in ERT meeting. They were trying to agree on a taxonomy but the taxonomy was OK or not OK depending on how it was presented in a UI. <cite>Håkon Wium Lie:</cite> One way of prototyping for future direction: [Demo showing graphics build from using "canvas" element] The <canvas> element is supported in Opera/Safari/Firefox. It is normally used with JavaScript, because it has a scriptable API. There are some tensions in the community around "canvas". But mostly since associated with JavaScript. But one can put declarative markup inside "canvas." <cite>Chris:</cite> canvas is a low-level immediate mode graphics model <cite>Håkon Wium Lie:</cite> You can use canvas to experiment with new markup languages. <cite>pauld:</cite> can we have a blink tag, please :-) <cite>Håkon Wium Lie:</cite> If everyone goes out and invents their own markup language, you get Tower of Babel. [Shows markup within <canvas> element.] You need communities. Microformats community is a good example. People are using standards to write Web applications. Written in HTML + CSS and using JavaScript + DOM. I think the microformats approach works for Web applications as well <cite>anne:</cite> [HWL is showing Opera widgets] <hr /> Rohit Khare (CommerceNet) presents <a href= "http://labs.commerce.net/~rohit/Angstro-W3C-TP/">"Where Angle Brackets Fear to Tread"</a> <cite>Rohit Khare:</cite> Where does this all lead? <cite>sandro:</cite> the ubuntu logo on the left end of his top title bar <cite>Rohit Khare:</cite> Before, we thought angle brackets would save the world. Arguably, the most successful XML-based format on the Web today is RSS. Today, we don't see any islands of XML out there, with tags for partnumber, etc. XML's greatest strength has turned out to be its greatest weakness: decentralization. There are social issues. Microformats are a technical hack. Class attribute is interesting...allows multiple schema. But the social hack is more interesting. <cite>glazou:</cite> a hack ??? <cite>karl:</cite> glazou, hack is not necessary bad. Thinks about it as amateur de bricolage, there are amateurs who are a lot better than professionals. I see it as positive <cite>DV:</cite> isn't there more broken XHTML out there than (equally broken RSS) out there ? <cite>Rohit Khare:</cite> You can't say I'm going to go create a microformat for frequent flyer information tomorrow. The movement is conservative -- looks at current usage. Not really following a traditional standards process. It embraces ambiguity. Another shift in thinking: "Sloppy search." <cite>DanC_lap:</cite> (the ability to "use both" is something I think bears emphasis. I wonder if class is novel in that way, or if that's what all the fuss over architectural forms was.) <cite>Rohit Khare:</cite> Not as hard-and-fast semantics -- leads you to some place useful; helps you get started. Roger's "Diffusion of innovations" (1964). Source of terms such as "early adopter." Five factors from that study that are about perception and culture: <ol> <li>Relative advantage</li> <li>Compatibility</li> <li>Complexity</li> <li>Trialability</li> <li>Observability</li> </ol> <cite>Rohit Khare:</cite> We'd all like to see a more "semantic" (small s) Web. This approach favors authors; not always easier for developers. CSS selectors are less complex than XPaths (or xqueries). <cite>sandro:</cite> Rohit: Parsing microformats can be a lot more complex that using a simple RDF triple parser. [ /me is in shock that an RDF/XML parser would be thought of as simple. ] <cite>Rohit Khare:</cite> Microformats aren't exclusive. End users benefit immediately. You don't have to radically change the format you serve your content in. "Angstro". Atomic-scale search. <cite>glazou:</cite> ångströ <cite>Rohit Khare:</cite> Feeds add more explicit time element to Web pages; they show changes. "real time search" "miffy" finding and fixing microformat chunks [How Miffy Works: Rohit Khare does demo on TP agenda page. Miffy highlights elements that might have microformats markup. You can click on highlighted elements. Push a button that sends info to a server for processing. Angstro then displays originally formatted information and also "cleaned up" markup. You can also view a "pidgin" form of XML based on markup; can then use XQuery. Demo extends to a Google map. On the map there are two site markers --- one for a restaurant based on a review. You can use microformats to power semi-structured searches.] <cite>DanC_lap:</cite> (chuckle... "the hReview standard") <hr /> Dan Connolly (W3C) presents <a href="https://www.w3.org/2003/g/talk62/slides">"Practical Semantic Web Deployment with Microformats and GRDDL"</a> <cite>Dan Connolly :</cite> The W3C home page uses XHTML. We introduced class='date' for style, other reasons. I wanted to generate an RSS feed using XSLT (to create RDF). We added a few more classes and a rel attribute. 200 lines of XSLT later we have an RSS feed. That happened in 2000. The GRDDL technique is a way to say to other people "The class markup on this page... we really meant that!" GRDDL emerged from the question -- "How do I put RDF in my XHTML page?" <cite>Chris:</cite> <a href="https://www.w3.org/2004/01/rdxh/spec">GRDDL</a> <cite>Dan Connolly:</cite> DTD constraints don't let you just put the (xml) RDF inline. But you can use class attributes, and other markup. Screen-scraping is "at your own risk". GRDDL lets you say "I really mean this." URIs let you follow your nose. Once you have RDF data, you can use RDF tools (e.g., SPARQL). [DC refers to RDF triples as mapping to table row/column contents] In short: use microformats to get RDF, then you can use tools like SPARQL. [Demo: Consistency checking] <cite>Dan Connolly:</cite> I want to be sure that, for example, I have not scheduled events that would require me to be two places at once.] I used OWL to model some consistency constraints. [OWL bits are standardized, the rules parts I used are not yet] Used "pellet" (an OWL consistency checker). [Demo shows conflict in schedule] Tabulator -- a semantic Web browser. [Demo using same TP data. Browses vcalendar data] More uses cases. Wish list: kids' soccer schedule... Wikipedia infoboxes... flight itineraries, and conference papers. You have to submit to the Web conference in PDF! Ask a little of authors (e.g., hCalendar), use GRDDL (or other dialects) to create Semantic Web data, then you can merge and search easily. <cite>karl:</cite> "I am a non-English speaker. Frankly, I believe that everybody should switch to English. Unicode is a bloody horror!" :-( quote from JX (<a href= "http://discuss.fogcreek.com/joelonsoftware/default.asp?cmd=show&ixPost=77014"> former post</a>) <cite>glazou:</cite> who's JX ? <cite>dom:</cite> some random guy commenting on a random blog post, apparently <cite>karl:</cite> glazou, I think it was humour. But JX is the id he has chosen on the Web page. and no it's not me ;) <hr /> <cite>Mark Nottingham:</cite> Great stuff! I believe that people should think microformats before using XML or RDF. This work made me think more about protocol and format extensibility. Content negotiation for formats is not taking off. You guys are saying "don't worry about namespacing as much; don't worry about infinite extensibility." That's an interesting challenge to conventional thinking. <cite>Dan Connolly:</cite> I haven't given up on content negotiation. Sometimes one works, sometimes the other does. <cite>Tantek Çelik:</cite> All these microformats have a profile: "xmdp" (defined in XHTML) <cite>DanC_lap:</cite> the other is the "add the color signal in the spare bandwidth of the b/w TV signal" <cite>DanC_lap:</cite> (speaker id?) <cite>Tantek Çelik:</cite> Namespaces can be an issue, but we have been able to avoid a vast majority of those issues. <cite>dom:</cite> [Note that GRDDL also defines a way to declare profiles in a machine-readable way; see <a href="https://www.w3.org/TeamSubmission/grddl/#ns-bind">The GRDDL profile for XHTML</a>] <cite>Lisa Seeman (Invited Expert):</cite> Synergy with WAI "roles" spec. Roles added to make content more accessible. [Tantek Çelik asks Lisa Seeman to send URI to roles work to him.] <cite>leesa:</cite> <a href="https://www.w3.org/WAI/PF/GUI">Link to role work / accessibility</a> (let me know if you want non-w3c links too) <hr /> <h3 id="itemQuery">Session 4: SQL, XQuery and SPARQL: What's Wrong with this Picture?</h3> <img alt="Jim Melton presenting" src= "/2006/03/01-photos/Melton.jpg" /> Presenter: Jim Melton (Oracle; XML Query Working Group, XML Coordination Group) [<a href="https://www.w3.org/2006/Talks/0301-melton-query-langs.pdf">slides</a>] <cite>Jim Melton:</cite> Three different query languages? ("buy my book" :-) Provocative title -- "what's wrong with this picture?" SQL, XQUERY, SPARQL. SQL is for querying collections of tuples. It's closed over relational model; maps tuples to tuples. Billions of dollars spent on this over 2-3 decades. <cite>DanC_lap:</cite> (not Structured Query Language?) <cite>Jim Melton:</cite> XQuery is for querying trees of XML. Closure over its datamodel. Just hit CR about three months ago. Implementors have a lot to learn. But it is turning out to be very popular. A tool (?) exists for mapping both directions between SQL and XQuery. <cite>Jim Melton:</cite> So, what's RDF? RDF is a way of representing tuples. <cite>glazou:</cite> microphone: Not Quite That Simple :-) <cite>Jim Melton:</cite> SQL is not well-suited to data not pre-typed (unlike RDF). RDF is identity oriented when SQL is value oriented. RDF forms a graph-model of data. RDF's graph model is not well suited to tables, being graphs. (the humble scribe says that's totally wrong.) <cite>DanC_lap:</cite> (really? Xquery has no support for key/keyref? hmm.) <cite>Liam:</cite> (Liam thinks Jim is saying that it's not well suited to flat SQL tables, because of difficulty of following references) <cite>AndyS:</cite> There is the point that the triples stored in SQL tables do not capture the data very well. <cite>Liam:</cite> (XQuery has support for joining via ID) <cite>Jim Melton:</cite> This graph-model represents the fundamental reason why SQL and XQuery are not suitable for RDF data. We'll dismiss OWL -- it's just an RDF vocabulary. <cite>pfps:</cite> Hmm, quite an interesting characterization of the relationship between RDF and OWL. :-( <cite>Jim Melton:</cite> RDF can be viewed as flat, since its 3-tuples, explicit relationships via predicates. Triples is just ER model. XDM -- tree structured, no support for explicit relationships, no tuples. I'm intimidated by RDF having billions of triples floating around, but computers can handle it. <cite>Jim Melton:</cite> SPARQL has a great great name. It matches graph patterns, unlike SQL which is a value matching language. XQuery is a retrieval language <cite>AndyS:</cite> SPARQL name by Dave Beckett <cite>AndyS:</cite> S *was* "Simple" originally :-| It is now recursive as Jim has the name. <cite>darobin:</cite> simple should be banned from participating in any technological acronym <cite>pfps:</cite> ... and how long did that "simple" last? <cite>karl:</cite> origin of the name SPARQL is <a href= "http://lists.w3.org/Archives/Public/public-rdf-dawg/2004OctDec/0453.html"> here</a> and <a href= "http://journal.dajobe.org/journal/posts/2004/12/23/sparql-is-fun/">here</a> <cite>Jim Melton:</cite> [SQL vs SPARQL example] In mapping from SPARQL to SQL -- well, it's obvious if you make certain assumptions about how the data appears in SQL. The same SPARQL could map to a very simple SQL query or a very very complex one. <cite>Sandro:</cite> that complex sql query could be simplified again with a declared "view" <cite>darobin:</cite> you can simplify anything with an extra level of indirection, I think the point still stands <cite>Jim Melton:</cite> SPARQL does not get more and more complex as quickly as SQL queries do. SPARQL can be translated (except for maybe some edge cases) to SQL/relational algebra -- and possibly to XQuery. <cite>Tim Berners-Lee (W3C):</cite> Point of clarification -- you asserted my passion was the pages should be marked up. Not true. What I want to see available is the data in the databases. Semantic markup/microformats are nice, but mostly I'm excited about database data being exposed on the Web. <cite>Michael Sperberg-McQueen:</cite> Can you say more about the hard cases you alluded to at the end of your talk?" <cite>Unidentified speaker:</cite> In SQL you've implicitly defined the relationships, instead of explicitly as in SPARQL. You can translate SQL into SPARQL and I like that. <cite>Jim Melton:</cite> Yes, I agree they are roughly isomorphic, but I haven't tried that. My employer is interested in knowing how complete the mapping is. <cite>IanJ:</cite> I don't know why one would not want to be able to convert from one query format to another for business interests. <cite>DanC_lap:</cite> ah... <a href= "http://www.bnode.org/archives1/51">ARC SPARQL2SQL Rewriter for PHP v0.2.0</a> <cite>Tim Berners-Lee:</cite> There is a draft activity proposal for the Semantic Web Activity which asks questions about whether/ how we should be working in this area of mapping SPARQL. Is this ripe for standardization; is this important.... <cite>Robin Berjon (Expway):</cite> You compared languages in terms of what they can be used for and are best used for; what about implementability? Which would be easier to implement in a mobile phone? <cite>Jim Melton:</cite> The fact that we can translate SPARQL and XQuery into SQL is important to us. I wouldn't try to put SQL on a mobile phone today. It's an interesting subject. <cite>Harold Boley (NRCC):</cite> Did you consider blank nodes in RDF and how to represent them. Are they Null values? <cite>DanC_lap:</cite> <a href="https://www.w3.org/2005/10/swap3/activity#questions">questions, incl. " Relational Databases as RDF" in Semantic Web Activity Proposal, DRAFT, w3c-member-confidential</a> <cite>Jim Melton:</cite> We have considered it a little bit. Using Null is highly questionable. This is one of the edge cases we haven't really solved yet. I hope to have some information about this by XTech. <cite>Steve Bratt:</cite> Thanks, Jim! <hr /> <h3 id="item02">Session 5: Lightning Talks A</h3> <img alt="Jacek Kopecky presenting" src= "/2006/03/01-photos/Kopecky.jpg" /> Moderator: Paul Downey (BT; Web Services Addressing and Web Services Description Working Groups and Chair of XML Schema Patterns for Databinding Working Group). Presenters and Topics: <ul> <li>"Services and the Web" by Mark Nottingham (Yahoo)</li> <li class="vcard">"XG-1" by Phil Archer (Internet Content Rating Association; Mobile Web Best Practice Working Group, Content Label Incubator Group) [no slides]</li> <li class="vcard">"SVG Statistics Demo" by Ignacio Marín (Fundación CTIC; Mobile Web Best Practices Working Group) [slides for <a href= "http://www.fundacionctic.org/slides/pintaius/">Web browsers with SVG support using <object> XHTML tag</a>, and for <a href= "http://www.fundacionctic.org/slides/pintaius/embed.html">Web browsers with SVG support using <embed> XHTML tag</a>]</li> <li>"SVG and XForms Processing Language" by Mark Birbeck (x-port.net, HTML and XForms Working Groups)</li> <li class="vcard">"Standard RDF mappings for everything?" by Jacek Kopecky (DERI Innsbruck; Web Services Description Working Group) [<a href="/2006/03/01-Kopecky.html">summary</a>]</li> </ul> <cite>Paul Downey (BT):</cite> This will be a very tight ship. 3 minutes of talk, 2 minutes of Q&A. Think about your favorite talks, for later in the day. <hr /> <cite>Mark Nottingham (Yahoo!):</cite> "Services and the Web." I've been at Yahoo three weeks. Talked to lots of people. Services are Good. Web Services are seen as too complex, too embrionic, not implemented in relevant platforms, questionably architectural. Web! Web services at Yahoo means Web -- not SOAP. HTTP. "Services" "REST" Yahoo hired me in part to talk about this. My concept of REST is using HTTP and URIs to get the most practical benefit from the standards around us. Requirements for REST from W3C: 1. Working Groups. XForms didn't include PUT until Last Call? 2. Best Practices (thanks TAG). 3. Go after the "real" Web -- JSON, etc. Watching This Space. <cite>Unidentified speaker:</cite> "like soap 1.2?" <cite>Steven:</cite> XForms WG was asked not to include PUT. That is what last call is for. <cite>DanC_lap:</cite> huh? I don't think last call is a good time to discover important requirements. Better late than never, of course. <cite>darobin:</cite> I guess it depends if it's your first or your seventh LC <cite>Mark Birbeck:</cite> A whole class of applications, like WebDav, was omitted from XForms consideration. <hr /> <cite>Phil Archer (ICRA):</cite> "The First Incubator Group": Making a little metadata going a long way. Forming the XG -- the word "sponsor" was a problem. It took three months to make the XG because getting the AC-Rep email saying the right thing ... was hard. Lack of team contact --- no one to do the things you're used to from your Working Group, and stuff you think you need (e.g. set up teleconferences). <cite>IanJ:</cite> home page: <a href="https://www.w3.org/2005/Incubator/wcl/">W3C Content Label Incubator Group</a> <hr /> <cite>Ignacio Marin (Fundación CTIC):</cite> "SVG Demo": An actual SVG use case "Pintaius" a Java library which creates statistical charts in SVG -- animated, interactive, transparent. IE mouse-over charts show extra data. Different behavior in IE than Firefox. Different behavior in IE between file: and http: using object -- but okay using embed. Opera's last beta works more or less the same. Less smooth animation. Partial implementation of profiles. Last year has been good for SVG. Better support, but still work to be done. [slides for <a href="http://www.fundacionctic.org/slides/pintaius/">Web browsers with SVG support using <object> XHTML tag</a>, and for <a href="http://www.fundacionctic.org/slides/pintaius/embed.html">Web browsers with SVG support using <embed> XHTML tag</a>] <cite>Chris:</cite> <a href= "http://snapshot.opera.com/">Opera snapshot</a> <hr /> <cite>Mark Birbeck (x-port.net):</cite> "SVG and XForms Processing Language." Using standard markup languages to build applications. New app development framework -- completely pluggable. XHTML + XForms + etc to build proper desktop apps. [Sidewinder demo] Switching renderers between IE and Gecko without reloading document -- Sidewinder holds the document data, post validation, etc. [Demo of calculator looking very plain, then of it looking very nice and transparent.] <cite>dom:</cite> [what IE didn't do right and Gecko did was the rendering of Unicode characters (I assume due to encoding detection)] <cite>darobin:</cite> (but the rest is cool) <hr /> <cite>Jacek Kopecky (DERI Innsbruck):</cite> with Bijan Parsia "Standard RDF mappings for everything?" [<a href= "/2006/03/01-Kopecky.html">Summary</a>] Bumping into limits -- e.g. XML Schema doesn't give us what we need. I suggest W3C should make RDF mapping a mandatory part of all W3C work. I see some heads shaking. But this doesn't have to be hard work. This would actually help validation/constraint-checking. This is a simple task which will uncover existing issues without creating new ones. As an aside: I sure hope the microformats people will give us some GRDDL transformations. <hr /> <cite>Jeremy Carroll:</cite> At WWW2006, Dev Day has become the Developers Track -- 3 days. One of our goals is more cool stuff. Independent presenters get a big price break (people not on expense account). Deadline extended 2 more weeks. Please tell people who might be interested in that rate. <hr /> <h3 id="item03">Session 6: The Grid: What is the Grid and Why Does it Matter to W3C?</h3> <img alt="David De Roure presenting" src= "/2006/03/01-photos/DeRoure.jpg" /> Moderator: Ian Jacobs (W3C) and David De Roure (University of Southampton; GGF W3C liaison, Chair of Semantic Grid, Area Director Technology Innovators, W3C Advisory Committee). Presenters and Topics: <ul> <li class="vcard">Dave Snelling (Fujitsu; GGF Vice Chair of Standards) "What is the Grid?" [<a href="https://www.w3.org/2006/Talks/0301-Snelling.pdf">slides</a>]</li> <li>David De Roure (University of Southampton) "What is the Semantic Grid?" [<a href= "http://www.semanticgrid.org/presentations/W3CTechPlenary/SemGrdTechPlen/slide0.html"> slides</a>]</li> <li class="vcard">Don Deutsch (Oracle; W3C Advisory Board; EGA President) [slides]</li> </ul> <cite>David De Roure:</cite> I have a liaison role between W3C and the Global Grid Forum. W3C's side is Philippe Le Hégaret. <hr /> <cite>David Snelling:</cite> I am vice chair standards Global Grid Forum, and co-chair of OASIS/WSRF-TC. The grid had its origin in parallel processing and distributed systems. Much more commonly people talk about clusters, e.g., SETI home application. Typically a homogeneous work load, a business model that operates on a lower marginal cost. Lots of groups out there use this. I do not really consider these two as serious players. The enterprise grid is all about virtualization of enterprise resources, building a more and more effective infrastucture. Reduce the cost of ownership. Top level: collaboration grid. Instead of enterprise silos, try to get collaboration, service agreements, new business models <cite>David Snelling:</cite> Bottom version: cluster grids. Loosely coupled distributed systems. What counts is code portability. It is not really a standards focus area. There are very few standards here, lots of players. Very specialized systems, for extremely high performance. <cite>David Snelling:</cite> Enterprise grid: The data center is the equivalent of a global call center. Creation of a structured whole from the parts. Examples: Fujitsu, Sun n1, Oracle 10g. Run your required services efficiently. Collaboration grid: The boundaries between organizations is the focus. You use the enterprise grid tools but among enterprises, laboratories, research centers, or collaboration like chemical plants. You have IP sharing, privacy, all interesting challenges. There are places where the grid community has adopted Web services frameworks, but they are in the experimental phase. There are issues of virtual organization, discovery, security, etc. Convergence: Collaboration and enterprise grid convergence, technical convergence from both type of grids. Both groups need to come together and need standards in this space. Where does it matter to W3C? Cluster and enterprise grids are consumers of W3C specs, thank you. But they are usually isolated in corporate boundaries. In the Web: the goal is to go beyond those boundaries. Collaboration grids are different. Naming, identity and addressing, service and resource discovery, dynamic composition are all common problems. We will get to know each other more than before. Once we have a standard framework in place, we get more into standards space. The concepts of the Semantic Web. <hr /> <cite>David De Roure:</cite> <a href= "http://www.semanticgrid.org/presentations/W3CTechPlenary/SemGrdTechPlen/slide0.html"> slides</a>, see <a href="http://www.semanticgrid.org/">also</a>. In Europe when we talk about future grids, it is the semantic grid. Knowledge entities are bound to each service and there are bindings among them. The grid community already had issues like knowledge, etc, and they were pleased to get that expressed in the Semantic Web. We see significant opportunity for Semantic Web, good circumstances for a Semantic Web win. Social environment exists and the community is growing. There is also a research agenda. <hr /> <cite>Don Deutsch (Oracle):</cite> Enterprise Grid Computing. Besides working on Oracle's standards participation, I am also president of the <a href="http://www.gridalliance.org">Enterprise Grid Alliance</a> (EGA). Grid computing landscape: grid is an evolving/emerging technology. It is a bit like the elephant looked at by the blind folks. No question it has scale opportunity. We see adoption becoming more widespread. Primarily in the single large problem of distributed computing. There is also an ecosystem, increasing number of providers serving the grid communities. Also institutions that provide standards. <cite>Don Deutsch:</cite> EGA was formed with a narrow perspective: grid in an enterprise. Within and between data centers, behind the firewall. Dealing within and between legal entities. The 'business' in the large sense. Large commercial applications (erp, crm). Technical applications run 'after hours', large CPU conception, not really transaction oriented. Components: networks, application servers, databases, servers, storage, management frameworks. EGA was formed 20 months ago. It is a vendor neutral consortium with global participation, global in nature. Its non-broad mission: accelerate grid technologies in enterprise data centers. <cite>Don Deutsch:</cite> EGA was bounded 60/40 technical and marketing org, not a traditional standards body. The preference was to find solutions that already existed. If a specification was available, take it, or to an organization better suited to develop one. Only if those all failed, then EGA would develop its own technologies. Like W3C, one company one vote, royalty free. Strategy: focus solely within a single data center, and on commercial applications. Having done that, move to two directions. Cross enterprise applications and technical applications. Finally move to the collaboration type phase. 5 working groups: reference model, security, component provisioning, data provisioning, utility accounting. We are chartering some new groups. <cite>Don Deutsch:</cite> EGA has a marketing focus, too, on education and recruiting, barriers to grid adoption, reluctance to risk mission critical applications, immaturity, cultural attitudes, trust and accounting models, licensing and resource sharing concerns. <cite>Don Deutsch:</cite> 6 areas of concerns. 1. Confusion about enterprise grid computing. EGA produced a reference model (available on EGA Web site). It is a layer in the middle for working, this was our first technical product. Second version will come within the next months or so. 2. Cross-vendor interoperability. We have a document for data and storage provisioning. 3. Billing and accounting. Enable pay-per-use metering and chargeback capabilities. It is a big issue, though not as sexy as the technical. 4. Security and user authentication. 5. Standards. Drive our requirements into other organizations. 6. Global enterprise grids. We have regional organizations. <hr /> <cite>Danny Ayers:</cite> The grid material I have seen so far can connect to the XML stuff nicely. How much are the Semantic Web communities communicating with that. <cite>David Snelling:</cite> The resource description issue is core to the grid space. At the next stage we have to describe capabilities. A lot of work looking at resource description projects. Put those together and RDF type analysis on them. Find out what the problems are, and what the right solution to that is. Can we build semantic tools. The grid community is still looking at the issues. <hr /> <h3 id="item04">Session 7: Adventures in Formal Methods</h3> <img alt="Jonathan Marsh listening" src= "/2006/03/01-photos/Jonathan-Marsh.jpg" /> Moderator: Jonathan Marsh (Microsoft, Web Services Addressing Working Group, Chair of Web Services Description Working Group). Presenters and Topics: <ul> <li>Jerome Simeon (IBM; XML Query Working Group) / Liam Quin (W3C; XML Coordination Group, XML Plenary Interest Group and XML Query and XSL Working Groups) "The XQuery1.0 and XPath2.0 Formal Semantics" [<a href="https://www.w3.org/2006/Talks/Formal-Adventures-XQuery.ppt" name="link" id="link">slides</a> (PPT)]</li> <li>Dan Connolly (W3C) "DTD/UML/OWL" [<a href="https://www.w3.org/2006/Talks/0301-dc-afm/">slides</a>]</li> <li class="vcard">Charlton Barreto (Adobe; Web Services Choreography and Web Services Description Working Groups) "The π of Choreography" [<a href= "http://charltonb.typepad.com/talks/030206-cbb-pichor/index.html">slides</a>, <a href="/2006/03/01-Barreto.pdf">PDF</a>]</li> <li class="vcard">Arthur Ryman (IBM; Web Services Description Working Group) / Hugo Haas (W3C; Web Services Coordination Group, Web Services Addressing and Web Services Description Working Groups) "Using Z Notation to Specify WSDL 2.0" [<a href="https://www.w3.org/2006/Talks/0301-z-notation.pdf">slides</a>]</li> <li>Q&A</li> </ul> <cite>Jonathan Marsh:</cite> A number of Working Groups experiment with formal methods. Before this, I had not very much knowledge about the topic. Panelists are Liam Quin (W3C) and Jerome Simeon (IBM), Dan Connolly (W3C), Arthur Ryman (IBM) and Charlton Barreto (Adobe). <hr /> <cite>Liam Quin:</cite> I have many hats: XML Activity Lead, XML Query Working Group. XQuery started in 1998. Today is a Candidate Recommendation. Everybody has heard of XQuery, some have used it. Today I'll talk about the XQuery and XPath specifications, and the XQuery formal semantics. XQuery Formal Semantics gives the formal definition of static data typing. <cite>Liam Quin:</cite> XQuery wanted an algebra (like relational model) too. Important to be able to have mathematical proofs. We've written the specs two times (formal and in English). The benefit of formal semantics is that the complexity of the prose description is drastically reduced. <cite>dom:</cite> [there is a <a href= "http://esw.w3.org/topic/FormalLanguageVsProse">wiki page</a> on the topic of this session, although it could use some contributions] <cite>Liam Quin:</cite> Formal semantics is a specific subset of the XQuery model. We formalized using inference rule notation. We formalized normalization expressions into a smaller core grammar. Convert an expression into a smaller core grammar... harder to read for humans, but better for computers. You have to decide which part is normative. <cite>DanC_lap:</cite> (sandro, their inference rule markup is kinda interesting, as a RIF use case. It's sorta marked up in structures suitable for translation to latex, but not as far as mathml content notation)..(can't have two normative descriptions? I disagree. if they're different, there's a bug. why decide in advance where the bug is?) <cite>Liam Quin:</cite> There are some non-normative parts but it is all formal in the formal semantics spec. English versus formal semantics specs... Readers of formal semantics spec are fewer than readers of English prose spec. <cite>karl:</cite> [<a href="https://www.w3.org/TR/qaframe-spec/#formal-language-gp">Use formal languages when possible</a>] <cite>Liam Quin:</cite> An example of an inference rule... about the type of a variable, a precondition, a situation; under the line is what we infer. Formal semantics is useful also as a guide for implementors. Here is an example from the "galax" implementation. It shows a normalized expression. <cite>DanC_lap:</cite> (I spent some time comparing the markup used in the xquery spec and what wikipedia does. pretty interesting.) <cite>Liam Quin:</cite> XQuery was a huge amount of work. You should not formalize stuff which is already formalized elsewhere. Many optimizations rely on the formal semantics. For (many) endusers, it is not relevant directly. Formal semantics is a huge benefit in the long run and it helps to make the English prose understandable. <cite>Patrick Curran (Sun Microsystems, QA Interest Group):</cite> Formal semantics have a value for test cases. You might automatically generate (performance) tests. <cite>Liam Quin:</cite> Yes, that is a benefit. Another benefit is the translation into another language. <hr /> <cite>Dan Connolly (W3C):</cite> "DTD/UML/OWL" [<a href="https://www.w3.org/2006/Talks/0301-dc-afm/">slides</a>]. My research is investigating (chaotic) systems like the Web. Statistical approaches are great, like pageRank... Many people do check over the Web, via the validator, and do not download the DTD. lex/yacc was the obvious way to specify a formal language at that time. Namespaces help grounding things in the Web, so I can make formal links in the Web. You can have links in between the schemas. David Orchard is mainly working on this TAG issue. The white board drawing resulted in the next drawing... The UML diagram on the issue (versioning)... compare slide 10 and 11: UML captures some properties between classes, constraints... We created an OWL representation, generated via XSLT. UML was the one notation which most people in the group understood. We had white board discussions, then made consistency checking with the machine, etc. Some additional information about the methodology <cite>Daniel Veillard (Redhat):</cite> I have some implementors feedback on XML Schema and RELAX NG: The second one was very fast. With XML Schema, we are not yet finished. RELAX NG has a formal semantics in Haskell notation. This is an example of: if the concept is sound the English prose version and a formal version will be clear. If you are unclear from the start, both versions will be bad. <cite>Dan Connolly:</cite> RELAX NG came second. The formal stuff of RELAX NG was presented to the XML Schema Working Group. The group said that it was not interesting. <cite>Liam Quin:</cite> It is important not to develop the semantics afterwards. So that you can say "would that change have an impact on the formal semantics?" It was very productive although many people in the XQuery Working Group did not have time to stay on top of the formal semantics specs. <cite>Jonathan Marsh:</cite> As for WSDL, we did the Z notation earlier as well. <hr /> <cite>Charlton Barreto (Adobe):</cite> [<a href= "http://charltonb.typepad.com/talks/030206-cbb-pichor/index.html">slides</a>] Summary: ...Symbology of pi-calculus. Matching names becomes an atomic operation [explains the operation] Example of encoding in CDL: any CDL has reaction rules which describe the semantics. We use the encoding and the reaction rules.. Preservation of function behavior is important. That is functions on the arcs in the drawing. [gives papers on the topic] <cite>Jacek Kopecky:</cite> You said you need formalisms but your model already is based on formalisms. So are there any other reasons than "circular" ones for formalisms? <cite>Charlton Barreto:</cite> We needed to be able to make clear that what we do can be validated. There were strong drivers who pushed for completeness and verifiability. <hr /> <cite>Arthur Ryman (IBM) and Hugo Haas (W3C):</cite> "Using Z Notation to Specify WSDL 2.0" [<a href="https://www.w3.org/2006/Talks/0301-z-notation.pdf">slides</a>] <cite>Hugo Haas:</cite> Mainly Arthur wrote the draft and understands the topic in detail. Arthur joined the WSDL Working Group. He had the goal to make sure that the spec does not lead to interoperability problems <cite>dom:</cite> <a href= "http://spivey.oriel.ox.ac.uk/mike/zrm/index.html">The Z Notation: a reference manual</a> <cite>JacekK:</cite> <a href="https://www.w3.org/TR/wsdl20/wsdl20-z.html">WSDL with z notation</a> <cite>dom:</cite> [linked from wikipedia <a href="https://en.wikipedia.org/wiki/Z_notation">Wikipedia</a>] <cite>Hugo Haas:</cite> [shows type checker which has been used for the spec] [comparison to the Rosetta stone... WSDL Working Group participants are priests] Others had not worked with Z, so we did our "own" layer. Z nirvana according to Arthur. In our Last Call, 90% of the comments were in the part of the spec which did not use Z so Z was very successful in making things clear. <cite>dom:</cite> [Formal specification IS a QA Best Practice!] <cite>karl:</cite> [<a href="https://www.w3.org/TR/qaframe-spec/#formal-language-gp">Use formal languages when possible</a>] <cite>DanC_:</cite> (re MathML for this stuff... I wonder if it's expressive enough for stuff like these Z things and the XQuery type system judgments. If anybody knows mathml and such enough to discuss that with me, I'd appreciate it.) <cite>IanJ:</cite> See also: <a href= "http://portal.acm.org/citation.cfm?id=722943&jmp=cit&dl=GUIDE&dl=ACM"> Visualizing Z Notation in HTML Documents</a> (1998) <cite>dom:</cite> <a href="https://www.w3.org/TR/2005/REC-qaframe-spec-20050817/#formal-language-gp"> Use formal languages when possible</a> in QA SpecGL <cite>Hugo Haas:</cite> If we would allow normative status for such notations, we could have normative versions of spec that other standards bodies border on. <cite>Ivan Herman (W3C):</cite> As I used Z, it was perfect for WSDL. But I am not sure if it is doable if you want to formalize XML with this. <cite>Hugo Haas:</cite> Our formalism is at the language level e.g. an optional property has a different type than a mandatory property. Such characteristics are independent of the topic "Web services." <cite>Henry Story (Sun Microsystems):</cite> > All formal languages are based on set theory. Would we need only a kind of rule language for all specs? <cite>Hugo Haas:</cite> I asked some questions to RDF experts, i.e., could we just do the RDF mapping? The answer is: once we have rules, we have a formal notation based on RDF. <cite>Richard Tobin (Edinburgh [HCRC Language Technology Group]):</cite> The Infoset spec had a non-normative RDF schema for the infoset. We did not have a tool to check this, though. <cite>Alistair Miles (Council for the Central Laboratory of the Research Councils [CCL]):</cite> A question inspired by Dan's first slide. You said "the Web is a chaotic system." I think it is rather a "complex" system. The evidence is that some Web locations are attractive (like Google). The Google ranking algorithm increases the attraction. So could mathematics help us to understand this complexity? <cite>Dan Connolly:</cite> There are a lot of Web conference papers on this. <hr /> <h3 id="itemRich">Session 8: Rich Web Application Backplane</h3> <img alt="Kevin Kelly presenting" src= "/2006/03/01-photos/Kelly.jpg" /> Moderator: Kevin Kelly (IBM; XForms Working Group, Hypertext Coordination Group, Chair of the Compound Document Formats Working Group) [<a href= "/2006/03/01-Kelly.pdf">slides</a> (PDF), <a href= "/2006/03/01-Kelly/">demo</a> (requires Firefox Deerpark alpha with xforms.xpi installed (<a href= "ftp://ftp.mozilla.org/pub/mozilla.org/firefox/nightly/latest-trunk">FTP</a>)]. Presenters and Topics: <ul> <li class="vcard">John Boyer (IBM) "Intelligent XML Data Model" [<a href= "/2006/03/01-Boyer/IntelligentXML_Boyer.1.html">slides</a>]</li> <li class="vcard">Steven Pemberton (W3C/CWI; HTML and XForms Working Groups) "Events" [<a href= "01-steven-tp-events/">slides</a>]</li> <li class="vcard">Mark Birbeck (x-port; HTML and XForms Working Groups) [slides]</li> <li class="vcard">Al Gilman (Protocols and Formats Working Group, Hypertext Coordination Group) "Accessibility" [<a href= "/2006/03/01-Gilman/tree2.xhtml">slides</a>]</li> <li>Q&A</li> </ul> <hr /> <cite>John Boyer (IBM):</cite> "Intelligent XML Data Model" <a href="https://www.w3.org/2006/03/01-Boyer/IntelligentXML_Boyer.1.html">slides</a>] It could be a microformat as well. Some duplication within different markups. Merging markups in "backplane"... An attempt to give an idea what it gives you to put different markups in a common framework.. Multiple presentation techniques may be based on one XML data model. [Demo: filling in data into the XML by calculation over filled in data]. Backplane is where plugged components are connected. Event concept should be the same across markups. Many topics have to be addressed when doing unification. Handlers for existing markup is based on script based handlers. <hr /> <cite>Steven Pemberton (W3C):</cite> "Events" [<a href="/2006/03/01-steven-tp-events/">slides</a>] <cite>SusanL:</cite> Steven: Speaking on events because people noticed S T E V E N is an anagram for E V E N T S. I argued Pemberton is not an anagram for backplane. <cite>karl:</cite> Source: WordNet (r) 2.0 1: the amount added to the cost to determine the asking price. 2: detailed stylistic instructions for typesetting something that is to be printed; manual markup is usually written on the copy (e.g. underlining words that are to be set in italics) <hr /> <cite>Mark Birbeck (x-port.net):</cite> "Data Submission". Submission is serializing data, sending it to an endpoint, you get some data back. Typical use is forms (HTML, VoiceXML). Also in AJAX not replacing current page. What's missing? Proper mapping to a DOM API. More events. Synch of events <cite>chaals:</cite> Doug Schepers, Vectorial: <cite>Doug Schepers (Vectorial):</cite> You could cover much of the use cases if you use a simple replace mechanism. <cite>Steven Pemberton:</cite> This is what we want to do. <hr /> <cite>Al Gilman:</cite> "Accessibility" [<a href="https://www.w3.org/2006/03/01-Gilman/tree2.xhtml">slides</a>] <cite>rohit:</cite> microbackplane? macroformats? what hath we wrought? ... :) <cite>sandro:</cite> now why have I have I never seen a talk given by just expanding parts of an outline on the screen...? funky. <cite>tantek:</cite> it's firefox <cite>Al Gilman:</cite> Goal: Accessible Dynamic Web Content. The platform API should match with assistive technology. Views should be usable and adapted. Accessibility has to be restored to existing applications. We must be able to get to a screenreader view through the API. <cite>tantek:</cite> but applications turnover so fast, is that the right time tradeoff? rather than focusing on educating developers to build more accessible apps from scratch? and then just let time and natural turnover take care of things? <cite>leesa:</cite> building accessible apps from scratch is a debatable point without this. depending on your environment and how complex it is. because the contract between the browser and accessibility API was broken. kind of <cite>KevinLawver:</cite> Couldn't AA apps do most of this today if MSAA gave them access to the DOM as it updates? That seems to be the big stumbling block for at least screenreaders. There's no way today to tell a screenreader to DOM changes. <cite>leesa:</cite> depends if you know what accessible object to map it to in the first place. if there is one defined for your custom widget <cite>leesa:</cite> And a lot of stuff was just not well supported by the states to syntax mix depending what lang you are in. happy to go over it in more detail <hr /> <cite>Kevin Kelly:</cite> [shows tax forms that use XFORMS, SVG, XHTML]. without a common model there is quite some scripting necessary to achieve this. [<a href= "/2006/03/01-Kelly/">demo</a> (requires Firefox Deerpark alpha with xforms.xpi installed (<a href= "ftp://ftp.mozilla.org/pub/mozilla.org/firefox/nightly/latest-trunk">FTP</a>)] <cite>DanC_lap:</cite> (this tax example; can anybody tell what software he's using?) <cite>dbaron:</cite> IIRC, he's using Firefox with the XForms extension <hr /> <cite>Guido Grassel (Nokia):</cite> You said the declarative approach should be preferred over the scripting approach. Is this true? The declarative approach might easily also become very complex. <cite>John Boyer:</cite> Example customer tried to do a system following the usual JavaScript approach. Estimated 1 month to do it. Declarative approach delivered a finalized form immediately. <cite>Steven Pemberton:</cite> The effort is about size **1.5 / Saving bigger for bigger projects <cite>JibberJim:</cite> hurrah, Xforms will save your javascript programmers sanity! <cite>KevinLawver:</cite> I worry about the initial sanity of the developers if javascript drove them mad. They must have been fairly close to the brink to begin with. <cite>JibberJim:</cite> KevinLawver to want to do javascript you need to be close to the edge <cite>KevinLawver:</cite> Why, because it works across browsers? <cite>Mark Birbeck:</cite> The declarative approach is far more efficient and facilitates doing functions independently <cite>Rich Schwerdtfeger (IBM):</cite> Binding in JavaScript has to be done by hand, if you use XForms the user agent does it for you. <cite>Tantek Çelik (Technorati, Invited Expert):</cite> Who is your intended audience? <cite>Steven Pemberton:</cite> What we present is not declarative in the first place. You can use scripting. Declarative part is on top of it. This helps to plug things together. <cite>Tantek Çelik:</cite> Somebody able to do scripting should be able to do this? <cite>Al Gilman:</cite> Two audiences are in focus. <cite>Steven Pemberton:</cite> This is not about XForms. Events and submit (serialization, sending) is much broader concept. <cite>Rich Schwerdtfeger:</cite> [comment on productivity] <cite>Mark Birbeck:</cite> Two ways to increase productivity. Declarative approach and libraries. A lot of good innovation in this space. <cite>Dean Jackson (W3C):</cite> Where do think this work should be done? <cite>Kevin Kelly:</cite> CDF Working Group? I don't know. <cite>Dean Jackson:</cite> I don't know either. I don't think it should be the Web APIs Working Group. <cite>KevinLawver:</cite> What I said without the mic: Events belongs in Web API. <cite>tantek:</cite> last time this came up in a big forum, it was a HyperText CG thing <cite>Mark Birbeck:</cite> I can't see it either. <cite>tantek:</cite> where is Steve Zilles when you need him? <hr /> <h3 id="item05">Session 9: Lightning Talks B</h3> <img alt="Tantek Celik at the mic" src= "/2006/03/01-photos/Celik.jpg" /> Moderator: Paul Downey (BT, Web Services Addressing and Web Services Description Working Groups, and Chair of XML Schema Patterns for Databinding Working Group). Presenters and Topics: <ul> <li>Reports from BOF Tables</li> <li>"What if a rose didn't have a name?" by Steven Pemberton (W3C/CWI) [<a href="01-steven-tp-rose/">slides</a>]</li> <li>"Signatures and Namespaces" by John Boyer (IBM, Chair of the XForms Working Group) [<a href= "/2006/03/01-Boyer-Lightning/SignaturesAndNamespaces_Boyer.html">slides</a>]</li> <li>"Single Transferable Vote" by Jonathan Marsh (Microsoft)</li> <li>"An Audience with Chad" by Paul Downey (BT) [<a href= "http://whatfettle.com/2005/03/chad/song.html">slide</a>]</li> </ul> [Except part of Single Transferable Vote, Lightning Talks B are unrecorded. See IRC log: <a href="https://www.w3.org/2006/03/01-tp-irc#T17-04-17">Chad vote</a> on "Which was your favorite session?" takes place. IRC comments are below.] <cite>Jonathan Marsh:</cite> "Single Transferable Voting and the Art of Consensus" ["Polly Ondafringe," "Quigley Quietus, "Smiley Miway-Hiway"]. I have found it work well and has brought the group to coalesce. The whole Working Group has to do this on a case by case basis. <cite>tantek:</cite> mnot, here is another <a href= "http://microformats.org/wiki/include-pattern">include pattern</a> which we have found necessary for several real world use cases (limited to local includes from within the same document) <cite>tantek:</cite> where is the source for microformats in 1997? <cite>tantek:</cite> BTW, microformats is not just "semantic class names" though microformats (often) use semantic class names (other times just a simple rel attribute) <cite>karl:</cite> tantek, <a href="https://www.w3.org/TR/REC-html32.html">origin of microformats</a> <cite>tantek:</cite> this is a common misconception <cite>DanC_lap:</cite> I made a counter-proposal to <frame> that was pretty microformatty... at least it was using class/rel for semantics. that was in 1994 or so, i think <cite>DanC_lap:</cite> ah... aug '95. <a href= "http://www.nyct.net/~aray/htmlwg/95q3/778.html">http://www.nyct.net/~aray/htmlwg/95q3/778.html</a> <cite>DanC_lap:</cite> class and rel were in html2 <cite>tantek:</cite> microformats applies additional deliberate design and process constraints to the notion of using semantic class names. that's the addition that distinguishes microformats from semantic class names (which have been around as long as "class" attribute has been around) <cite>DanC_lap:</cite> right; I think the "I was doing microformats in 1997" claim only refers to the class/rel stuff, not to the methodology. <cite>tantek:</cite> right. doing semantic extensions to class and rel is necessary but not sufficient to doing microformats. <cite>Florida:</cite> chad, question: Which was your favourite session? <cite>tantek:</cite> hmmm... i believe there are more thorough game theory analyses that reveal *other* problems with single transferable voting <cite>chaals:</cite> oh. This is what australians call "optional preferential voting". The optional isn't always used, but preferential is the norm for elections <cite>tantek:</cite> DanC, the wikipedia reference is on the record. note table about 2/3 the way down the page. of which voting systems have which flaws <cite>chaals:</cite> see also <a href="https://en.wikipedia.org/wiki/Voting_system">Voting System</a> <cite>tantek:</cite> is "vote:" a new proposed URI scheme? <cite>RalphS:</cite> DavidOrchard: WS Addressing and choreography(?) has used chad a lot and I encourage others to use it. But one flaw is that it does not detect a position that everyone could live with <cite>Chris:</cite> does chad have a paper trail, or is that too expensive? <cite>RalphS:</cite> DavidBaron: There's lots of research on voting methods. STV might not be the best for W3C matters. It's actually not good for dealing with similar alternatives. <cite>RalphS:</cite> JonathanMarsh: the library will support other voting methods, e.g. the British Columbia method <cite>JB:</cite> It's also important to check that the software works <cite>dbaron:</cite> this may be of interest: <a href="https://en.wikipedia.org/wiki/Voting_system#Criteria_in_evaluating_voting_systems"> Criteria in evaluating voting systems</a> <cite>Tantek Çelik:</cite> If the objective is to filter through multiple options, I'd like to challenge this. First, I'd like to challenge the assumption that choices are static. <cite>schepers:</cite> I want to vote *against* things as well <cite>dbaron:</cite> schepers, other voting strategies are better at describing votes against things; STV is bad at that <cite>KevinLawver:</cite> Yeah, I like voting against things as well. maybe allowing 3,-9,-10,5... <cite>Rotan:</cite> vote: 0, -0 and zero, nill, null, nil, and all other variants. <cite>dbaron:</cite> Another potentially false assumption is that the options are strictly alternatives; some may be alternatives to subsets of others, etc. <cite>Yves:</cite> vote: `cat /etc/password` <cite>dorchard:</cite> I think Tantek is being a process offender :-) <cite>timbl:</cite> Suggest that the votes for 9 are for the bar <cite>Rotan:</cite> Another problem I see is that voting is visible during the vote. I'd prefer STV to be done in secret, and then see the results. Otherwise the vote is influenced by early voters. <cite>chaals:</cite> chad, question: should we repair to the bar? <cite>Chris:</cite> oh no! microformats is still the winner. so we have to re-run microformats instead of drinking! <cite>tlr:</cite> vote: `dd if=/dev/urandom` <cite>dbaron:</cite> So, yeah, I was wrong about IRV and what that wikipedia page calls Clone-independence <hr /> Steve Bratt thanks the meeting planners Coralie Mercier, Amy van der Hiel, Alexandra Lavirotte and Susan Westhaver; the program committee Al Gilman, Kevin Kelly (IBM), Mark Nottingham (Yahoo!), Amit Sheth (Semagix), Susie Stephens (Oracle), Rachel Yager (Financial Services Technology Consortium), Yves Lafon, Susan Lesch and Daniel Weitzner; and the scribes. <cite>RalphS:</cite> [adjourned] [End of minutes] </div> <h2><a name="ActionSummary" id="ActionSummary">Summary of Action Items</a></h2> [None recorded] <hr /> <address> Minutes formatted by David Booth's <a href= "http://dev.w3.org/cvsweb/~checkout~/2002/scribe/scribedoc.htm">scribe.perl</a> version 1.127 (<a href="http://dev.w3.org/cvsweb/2002/scribe/">CVS log</a>) $Date: 2006/04/13 02:24:27 $ </address> <div class="diagnostics"></div> </body> </html>