07:27:48 RRSAgent has joined #swbp 07:27:48 logging to http://www.w3.org/2006/03/03-swbp-irc 07:27:52 rrsagent, please make this log public 07:38:06 Meeting: SWBPD informal Face-to-Face 07:38:12 Location: Mandelieu, FR 07:38:15 Agenda: http://esw.w3.org/topic/SWBP060303 07:38:22 Chair: Ralph 07:51:31 FabGandon has joined #swbp 08:04:08 libby has joined #swbp 08:05:46 pfps has joined #swbp 08:05:47 ivan has joined #swbp 08:05:54 FabGandon has changed the topic to: /http://www-sop.inria.fr/SWBP060303 08:06:09 aliman has joined #swbp 08:06:26 Harold Bolley from 08:06:39 Pantelas 08:06:57 Claudio Venicio from telecom Italia 08:06:59 s/Pantelas/Pantelis/ I think 08:07:27 Baoland from NIST 08:07:41 Peter F. Patel-Schneider, Free University of Bozen/Bolzano 08:07:41 Pete Patelscheinder from Univ 08:07:49 Brian McBride 08:07:57 Ivan Herman 08:08:06 J. Caroll from HP 08:08:17 A. Milme from CCLRC 08:08:27 Libby from ASemantics 08:08:29 s/Milne/Miles/ 08:08:40 Fabien Gandon from INRIA 08:09:14 Shiasu Hara from Semantaic Institute 08:09:27 Hiroshu Yasuhara 08:10:23 Ralph: Discussion on the Agenda for today 08:10:39 a lot of questions on what happens after the end of april 08:11:16 there was a message with early draft of new charter proposal for wemantic web activity 08:11:43 http://www.w3.org/2005/10/swap3/activity Semantic Web Activity Statement 08:12:17 http://www.w3.org/2005/10/swap3/vocab-charter Semantic Web Vocabulary Management Working Group proposed charter 08:13:10 (member confidential) 08:15:24 Olivier Corby from INRIA (author of Corese Search engine based on conceptal graphs) 08:16:26 Jeremy: main question is for each group which organisation is willing to participate. 08:17:42 Ralph: The plan for the next one of these weeks (tech. plenary) is to combine it with the advisory groupe november 2007 (18 months from now) 08:18:10 Peter: it is a problem because it (possibly) conflicts with ISWC 08:19:05 Peter: someone should raise the problem. 08:21:33 Peter: the plan is to have the advisory meeting on thursday morning and thus WG would work from thursday afternoon to saturday morning 08:23:15 http://www.w3.org/2006/Talks/0301-sb-tp-intro/Overview.html#(13) 08:24:13 (next plenary meeting schedule) 08:24:36 Ralph: any other agenda item? 08:24:59 Peter: can we really talk about re-chartering activity? 08:26:57 Libby: need a quick slot to talk about how to fix the page of ADTF. 08:27:21 Ralph: Alistaire do you want to talk about SKOS / Voc Management? 08:28:31 Alistaire: there's a couple of issues we could talk about (OWL formalisation) 08:29:32 ... cookbook 08:30:24 Jeremy: I will be only working in the HTML and RDF. 08:30:36 Libby: about ADTF 08:30:37 http://esw.w3.org/topic/SemanticWebDOAPBulletinBoard 08:31:34 Libby: the page has to be reviewed/updated/improved. We are not really evaluating this. 08:32:09 ... you have to have a DOAP description, this could be a bit more flexible 08:32:37 ... this list is more useful than anything I have done with the list 08:33:29 ... this list is useful in itself and we ought to invite people to put things in it even if they don't have a DOAP desc. anyway 08:34:01 ACTION: Libby update the taskforce homepage. 08:34:37 Ivan: a lot of links give 404 08:35:21 Libby: we should find a a way to review / fix it. 08:35:35 Ralph: Data got lost in an accident and we were hopping to fix it/recover it. 08:35:44 Ralph: what happens next? 08:36:10 Libby: happy to continue to invite people to add more and more stuff on the page. 08:37:22 ... it makes sense to continue this in the interest group and enable the Outreach group to use it. 08:37:40 Ralph: move to SKOS and OWL 08:38:00 Peter: OWL 1.1 updates OWL DL 08:38:39 ... no major changes, a few fixes (see homepage at manchester) 08:40:01 http://owl-workshop.man.ac.uk/OWL1_1.html 08:40:38 ... there is a mailing list world-accessible. 08:41:57 ... committment of major DL-reasoner developpers to implement 1.1 08:42:34 ... changes: (a) qualified cardinality restrictions (at least 3 children who are doctors) 08:42:58 Ralph: OEP intends to write a note on that 08:43:35 Peter: (b) certain kinds of rules (the friends of my siblings are my friends) 08:44:07 Brian: my enemies enemies are my friends 08:44:34 Peter: not decidable 08:45:54 ... punning for every class like person there is also an individual that just shares rhe same URIs just syntactic sugar no reasonning. 08:46:12 Fabien: it could be used in the usecase like books about Lions 08:46:47 Peter: OWL 1.1 cannot have an RDF extension semantics. 08:47:16 Ivan: you cannot map it on proper RDF 08:47:44 Jeremy: if you say 2 classes are identical you are in OWL ffull 08:48:10 Peter: the OWL 1.1 semantics is weaker than RDF 08:48:24 Ivan: it is not an insignificant cost. 08:48:32 Jeremy: huge cost. 08:49:06 Peter: anybody who is willing to join the WG is welcome. 08:50:39 ... OWL 1.1 is both implicitly and explicitly is not an XG because it does not comply with W3C view 08:51:17 ... the delay for an XG is also a problem 08:51:51 ... the target is to have everything in the public domain 08:52:19 ... academic group at the moment 08:53:04 ... time frame: started in november 2005, design deadline was January, target some implementation befor WWWC 06 08:53:21 ... RACER might be pretty close, CEREBRA not sure 08:53:31 ... by may the work should be done 08:53:56 Ivan: talk to Dev Day track at WWWC 08:54:23 Jeremy: deadline for Dev track two starting monday 6th March 08:55:24 Peter: probable plan would be a member submission (manchester, bolsana, mindswap, racer systems, cerebra) would include all the technical stuff 08:56:16 ... after that we don't know. Many of the people who put the requirements together are not W3C members more from bio informatics groups 08:56:39 Ivan: that's changing with the Healthcare and life-sciences WG 08:57:33 Brian: adding more functionality to OWL. There is a big gap between RDF/S and OWL there could be a sweet spot iin between. 08:57:55 ... what about an effort on the simplification of OWL. 08:58:15 Peter: some people have proposed (by usage) simplificatio of OWL 08:58:36 ... not aware of atempts to formalize that. 08:59:05 Harold: which functionalities could be put in OWL Lite? 08:59:43 Peter: punning coudl go. I have no idea really cause I have no idea what OWL Lite should be. 09:00:01 ... the design of OWL1.1 is a functional syntax 09:01:40 ... OWL 1.1 is driven by implementors who know what can be done in the DL framework. 09:02:20 ... the thing that has caused most problems in OWL 1.1 is annotation 09:03:04 ... comments are supposed to pass comments all along their processes. 09:03:47 ... comments are not associated with resources 09:04:23 Ivan: comments are not map to triples at all. 09:04:31 Peter: exactly 09:05:48 Jeremy: what was defective about the annotation properties in OWL 1.0 09:06:19 Peter: I thought that they wanted annotations on resources and with punning you could add pretty much anything you want. 09:07:17 ... but they want to be able for instance to preserve the order e.g. this is a comment about why this label is the fouth label. 09:07:35 ... we keep the comments as long as possible 09:08:29 Ralph: could we use this to put processing instructions? 09:08:53 Peter: no connection between comments and processing 09:09:26 Harold: what about instances? different ways to represent instances? 09:09:58 Peter: concept definition, concept inclusion, instance definition: sames as OWL 1.0 09:11:08 Ralph: "... (gag) ... processing instructions ..." 09:12:04 (coffee break until 10H30) 09:12:11 10:40! 09:27:18 aharth has joined #swbp 09:38:48 aharth has joined #swbp 09:40:44 FabGandon has changed the topic to: http://esw.w3.org/topic/SWBP060303 09:42:58 Scribe: Fabien 09:43:02 ScribeNick: FabGandon 09:43:11 aliman has joined #swbp 09:43:24 http://isegserv.itd.rl.ac.uk/blog/ 09:43:47 Alistair: on SKOS, the OWL futurs is relevant to SKOS 09:45:04 ... first (small reason) : trees of topics are used to retreive all the results that have narrower topics 09:45:46 http://www.w3.org/TR/swbp-skos-core-guide/#secindexing 09:45:50 ... looking at SKOS Core Guide / section subject indexing 09:46:24 ... associating a log entry with a subject 09:47:23 ... currently expressed using a rule (but no standard syntax); here we could use OWL 1.1 to do that 09:47:33 Alistair: "Subject Generality Rule" could be expressed with OWL 1.1 role inclusion 09:48:18 http://www.w3.org/TR/swbp-skos-core-spec/ 09:48:37 ... second (big reason): we have an issue in current draft 09:48:53 ... number a situation we want to import SKOS in OWL 09:49:40 ... SKOS being in RDFS we cannot do it. 09:50:51 ... some of the annotation properties are sub properties of other properties which send us out of DL 09:51:37 Peter: in OWL 1.1 you would use the punning instead of the annotation properties 09:52:37 ... you could make rdfs:label a classic property if you say its value is a litteral 09:53:05 Alistaire: so you would get rid of annotation properties and use punning to get the same effect ? 09:53:12 Peter: exactly 09:53:27 Ralph: the spec says the range is a litteral 09:53:34 "The rdfs:range of rdfs:label is rdfs:Literal" 09:53:35 Peter: then it's fine. 09:53:36 -- http://www.w3.org/TR/rdf-schema/#ch_label 09:55:05 Alistair: one option was to have two versions RDF/S vs. OWL but that encourages the divergence between the two langages. 09:55:24 ... another option is to have a shared core and extensions 09:56:02 ... do you see annotations properties should disappear from tools such as Protégé? 09:56:21 Peter: they should disappear. 09:57:12 ... I can't speak for the Protégé people, but there was an idea to move the SWOOP thing in 09:57:46 ... Manchester is highly motivated to have something working with OWL 1.1 09:58:33 Ivan: I can understand the reason for the academic demande, from W3C point of view I see a huge demande to get SKOS out. 09:58:55 ... we shouldn't wait to much. 09:59:15 Alistair: I propose quick fixes to these problems 09:59:52 ... but we should anticipate futur evolutions 10:00:14 Ralph: we must avoid duplication when the OWL 1.1 arrives. 10:00:34 Ivan: what about the rule pb? 10:00:50 Alistair: we would leave it as a rule. 10:01:13 Ralph: when the RIF specs comes arround we adjust. 10:02:30 TBL: interested in best pratices on how to handle/publish different flavours (RDFS, DL, Full etc.) 10:02:56 Alistair: indeed this is a generic problem. 10:04:27 Jeremy: how could we address interop issues between OWL DL and OWL Full 10:05:49 Alistair: Tim presented different options could we get the opinion of peoples in the room. 10:07:26 TBL: one option is to publish a maximum and it is up to the reasonner to define what it can do. 10:09:10 Peter: I don't agree with this way of descriing the pb. If there is something that does not fit in my view of the world I would like a transformation to exist out there to make it compatible with my reasonner. 10:10:19 Jeremy: we could have mapping rules to know what we should discard 10:11:47 Ralph: I am under pressure to get the SKOS rec out. I beleive it is not possible before the end of this WG. 10:12:50 ... we have to push back put we should stage the SKOS rec. and not wait the OWL 1.1 10:14:38 Alistair: should we release an OWL full version and let the reasonner handle the transformation? 10:15:02 Peter: that would be the minimal satisfying solution. 10:16:21 JacekK has joined #swbp 10:17:06 JacekK: I thought the Semantic Web is based on the principle that what is unknown is ignored, so an OWL-full ontology fed to an OWL-DL reasoner should be processed as OWL-DL, ignoring whatever is outside DL limits 10:17:12 TBL: +1 with Jacek 10:18:12 Jeremy: it is a very hard issue, we may have the energy to reopen it 10:18:36 ... but both side had a case and it is going to be difficult. 10:19:05 Ralph: so we should let it bake for a while, in some application for a while. 10:19:42 Jeremy: we need to bring everyone at a table to reopen it and discuss it deeply. 10:21:16 Harold: everything is optional, sometime only a whole set of properties makes sense but not a sub set. 10:21:44 TBL: would that mean that with a sub set we would derive false statements? 10:22:03 Peter: not sure but possible case. 10:23:15 ... if I have a collection of RDF triples if I remove certain of them (e.g. the thing that cause a negation) you might have a problem. 10:24:32 ACTION: Peter to informally determine weither removing triples could flip a boolean in RDF and send email on that 10:25:25 Jeremy: close to an action in WebOnt on the layering of OWL Full on OWL DL 10:26:16 ... I have worked on that for 3 or 3 months and couldn't answer that. 10:26:37 Harold: cardinality restriction contains such a negation 10:27:40 Peter: open world: it does not become false but "not true" 10:29:02 ... suppose we could separate all the axioms then it would be a monotic action to remove the triples (Scribe is lost here) 10:29:31 ... in OWL this might not be the case 10:30:03 Alistair: I wanted some advice on what to do in the short term. 10:30:45 Matthew has joined #swbp 10:31:00 ... what I am hearing add OWL typing, not worry about in OWL Full but explain how to remove them 10:31:32 Peter: yes and explain the link between them and which ones to remove together 10:32:01 Harold: broader / narrower is the same than subClass? 10:32:08 Alistair: No. 10:33:05 ... in a thesaurus it could be part of for instance. What you are saying is that a doc about a node is also about another node. 10:33:29 Harold: so from super class you could imply broader? 10:33:38 Alistair: pandora box 10:34:31 ... needs a long discussion. Long messages on the mailing list. I see that as less vital for first version of the specs. 10:34:53 Harold: connection between SKOS and RDFS is also interesting. 10:35:12 Alistair: it needs to be explore, same for SKOS and OWL. 10:35:37 ... these are additional issues should be dealt separatetly, not in the short term. 10:36:17 Ralph: new people introduction 10:36:43 Adreas : DERI Galway (RDF storage, data integration, etc.) in SWBP 10:37:03 Jacek: Deri Innsbruck 10:38:08 Matthew Ellison: STC, looking at the way W3C works, getting familliar with subjects 10:39:29 Tim Berners-Lee: (do I really need to present him ???) 10:40:50 Ralph: should we add SKOS/RDFS and SKOS/OWL to agenda? 10:42:18 Alistair: cookbook after lunch? 10:43:00 Jacek and Harold: cookbook now and rechartering after lunch. 10:43:32 Ralph: poll... cookbook is next. 10:43:53 http://www.w3.org/2001/sw/BestPractices/VM/http-examples/2006-01-18/ 10:44:21 Best Practice Recipes for Publishing RDF Vocabularies 10:45:12 Ralph: copy and paste recipes to configure a server to publish a voc. 10:45:33 ... we had to pick a sevrer, these recipes are for Apache. 10:46:09 ... they contain the extracts of configuration files ready to be pasted 10:47:07 ... examples of hash ns and slash ns 10:47:52 TBL: something came up in the tabulating example. 10:49:05 ... in practice there is a issue with the slash ns you have to make an 303 check for each property 10:49:32 ... a lot of HTTP activity for a document. 10:50:48 Ralph: you mentioned with a hash ns once you fetched it you know everythinh you need to know. 10:51:11 ... with wordnet you don't want to know everything you need to know. 10:52:41 ... should be published with in the next days. 10:53:21 Fabien: is it a use case for SPARQL DESCRIBE to want to know more about a property? 10:55:52 Alistair: I imagined a situation where you could use a SPARQL service, but how do you know you're dealing with a SPARQL service. 10:56:30 ... there is a tool to partition your ontology to identify the bit you might want to send/reteive. 10:57:30 Ralph: the WG should leave it as a working draft and the voc. management WG will take over. 10:59:06 TBL: good job at how to deal with 303, should get this work out, so go ahead and include possible improvments as inputs for the voc management WG. 11:00:03 Alistair: the sixth recipes would be the Wordnet case. 11:00:35 TBL: isn't it example 2 11:01:22 al: the 6th is a placeholder 11:01:28 ...for wordnet-like things 11:03:03 TBL: it would be nice to have two or three examples. 11:03:28 Ralph: fixing Dubling Core to do 303 is an engineering challenge. 11:03:45 Alistair: relationship between this and GRDDL. 11:04:06 s/GRDDL/RDDL/ 11:04:32 ... this doc tells you how to get the HTML, the RDF 11:04:58 -> http://www.rddl.org/ Resource Directory Description Language (RDDL) 11:05:14 danbri has joined #swbp 11:06:20 hi danbri 11:07:01 Alisatair: you could imagine a situation where so writes a schema but uses RDF/A 11:07:12 TBL: RDDL is GRDDLable 11:08:42 ... a TAG best pratice says that it is useful to have a human readable version 11:10:34 ... I would like to have the RDF/OWL and have a stylesheet attached for the human readable version (using processing instruction) 11:11:01 ... the idea is to get the RDF / OWL out first 11:12:07 Ivan: a bug is mozilla is that it does not understand blabla+xml 11:13:31 Ralph: it works my Mozilla although it has some issues with the refresh 11:14:03 Ivan: I never found any way to do it in Firefox 11:14:19 Ralph: other topics on cookbook? 11:14:31 ... this doc should be a tech report next week. 11:15:17 ... we adjourn to lunch returning at 2pm for Activity Rechartering. 11:15:27 ... other topics? 11:15:34 Harold: negation. 11:16:05 ... also RIF vs. OWL, Horn logic that does not have negation. 11:17:02 AListair: we could discuss SKOS and OWL relation too. 11:18:04 Ralph: 30min on Rechartering, 30 min on Negation & RIF, 30 min on SKOS & OWL 11:19:57 re "Alisatair: you could imagine a situation where so writes a schema but uses RDF/A" 11:20:07 ...prime candidate for that is the xhtml2 link types vocab 11:20:13 [agenda updated] 11:20:20 [recess to 14.00] 12:31:16 JacekK has left #swbp 13:03:25 FabGandon has joined #swbp 13:03:59 RalphS has joined #swbp 13:06:20 aliman has joined #swbp 13:06:31 ivan has joined #swbp 13:06:45 TOPIC: Activity Rechartering 13:06:47 --------------------------------------------- 13:06:52 http://lists.w3.org/Archives/Member/w3c-ac-members/2006JanMar/0038.html (member-only) 13:07:44 This message went out last week, pointing to draft activity proposal. This week Eric M has been collecting input on this draft, will collect input for at least another week then produce final draft. 13:08:13 The existing groups under the current charter i.e. DAWG and RIF continue, no changes there. 13:08:34 Also semantic web for life sciences and semweb coordination groups are extended, but no real changes to the charters. 13:09:04 (btw Ralph is talking above 13:09:05 ) 13:09:38 Ralph: propose to split best practices into RDF extraction WG, vocabulary management WG, and education and outreach ... 13:10:05 GRDDL is expected as recommendation under RDEX - this a new piece of work we are proposing. 13:10:19 SWVM is proposing some things from best practices as recommendations, especially SKOS. 13:11:51 ralph: (continued) ... two things are noted as not addressed in the current activity proposal: (1) is OEP work, there are questions as to whether this could be combined with SWVM or should have separate WG (2) RDF/A does not have a home yet. 13:15:10 ... Applications and demos will by picked up by SWIG, MM members are drafting an XG proposal, OEP is an open question, PORT goes into SWVM, RDFTM may become an XG, SE may become an XG, VM goes into SWVM, WordNet is not addressed in currect activity proposal, and won't be unless strong request from the members, may be another XG, XSCH work is done> 13:16:02 libby has joined #swbp 13:16:27 Peter: best practices was good becomes formation of task forces was open, bad thing about formation of XG is that process is closed. I.e. W3C does not talk about formation of XGs and WGs as openly as the Best Practices talks about formation of task forces. I consider that between a shame and an embarrassment. 13:17:31 ralph: I agree with the fact, but it is importatn to members to know the scope of a WG before hand, esp. wrt patent and policy. E.g. we had discussions in best practices whether we could do rec track work, and it was important to have made that statement up front. 13:18:32 ... If we had declared a document to be on the rec track, that would have invoked aspects of patent policy that we could otherwise ignore. 13:19:19 peter: better to make the formation of semweb activity XGs on public lists, so discussions can be in public. 13:20:14 ralph: opportuniy to continue best practice work exists as XG or as TF in SWIG, and SWIG TFs are proposed and discussed in public. Although SWIG has not done as much formal publication as an IG might, it is within its charter to do so. 13:20:43 ... Any of the working drafts or notes that best practices produced could have been published by SWIG. 13:21:19 Peter: problem with proposed structure is stealth XGs within semweb activity. 13:21:48 ScribeNick: aliman_scribe 13:22:46 ralph: I share concern you have about XGs. We the W3C staff don't necessarily know of discussion to propose an XG until a proposal is submitted. Members are under no obligation to disclose plans for XGs. I am attempting to set precedent with MM XG that they have all conversations in public. 13:23:01 peter: we would like all of substantive recorded conversations to be in public. 13:23:53 ralph: the AC reminded the W3C staff that they wanted to be informed during drafting of activity proposals and WG charters. We're not sure which formum is appropriate for this type of discussionl. 13:24:39 peter: problem with chartereing TF under SWIG is that SWIG is not as active or controlled as BP was. 13:24:46 ralph: is this good bad or neutral? 13:25:06 Klaus has joined #swbp 13:25:31 peter: good because can propose things outside charter of BP, bad in the sense that flaky things could happen. I.e. hard to forbid people from forming a SWIG TF. 13:26:00 ralph: this is partly by design. 13:26:39 peter: problem is not the formaition of these TFs, the problem is that these TFs may pollute the mesage, esp. if there is not the same level of reveiew that the BP has been trying to do. 13:27:09 ralph: when people approach us in hallways to ask for a mailing list on blah, we can point them at the IG. 13:27:58 ... N.B. the term Task Force does not appear in the W3C process. A TF is a proper subset of a WG that does something, but the WG as a whole is repsonsible for the deliverable. 13:28:10 peter: in the case of an IG? 13:28:11 (SWIG TF's happen via SWCG, so there is a level of filtering and discussion, albeit not public) 13:28:19 ralph: then it would be an interest group note. 13:28:27 (but agree it's not WG-like (by design)) 13:29:13 ralph: we conduct concess within a WG whether there is consensus, harder to achieve in an IG. 13:29:45 (especially an IG with such a loose notion of membership; some other W3C IGs have enumerated memberships) 13:30:05 ralph: e.g. the SWLS has much more formal structure, so can measure consensus. there is nothing charterwise that distinguishes SWIG and SWLS. 13:31:13 ... my reaction to danrbi's comment on formation of SWIG TFs - this is way SWIG chair has chosen to solicit feedback on formation of task forces, doesn't necessairly satisfy peter. 13:32:06 peter: ideal way to get a note out a TF in SWIG would be to get general approval by the IG, with a review by the CG, with expectation that review is proforma. 13:32:35 The http://www.w3.org/2001/sw/hcls/charter.html#membership and SWIG charters do differ significantly. SWLS counts as its formal participants only W3C Member reps and Invited Experts; SWIG is totally public (for better or worse) 13:32:46 ralph: at a general level this is the funtction of the CG, it is where all the charis of the activity get together and coordinate, it also has former chairs and others, whoever activity lead considers helpful. 13:32:55 peter: this could create more work for CG. 13:33:26 ralph: what makes BP more open is the mailing list, altho its only responsible for responding to itself. 13:34:30 peter: SWIG will never have a participants list? Only way to guage consensus is to look at the mailing list? 13:34:50 (I made point on CG list recently that the SWBP served a coordination function somewhat like the CG itself) 13:35:04 ralph: yes. we would like to find a cochair for SWIG, that may materially change some of these process issues but we don't expect it to do so. 13:35:22 Yes, I noticed Dan's comment, which fed into my comments. 13:35:23 ...I'm interested in idea of SWIG having an enumerated membership 13:35:33 ...but the mailing list membership is not public info 13:35:54 ... the mail message to the AC re SWAP3 says w3c-ac-forum and or w3t-semweb-review are places to send feedback. 13:36:03 ... this is 3 months late. 13:36:07 ...it isn't clear that signing up to a W3C list entitles W3C to advertise that fact-- though i've not studied the privacy policy 13:36:13 Ivan: I have seen no reply yet. 13:36:27 ralph: we have had some feedback already. 13:37:06 ... fedback on OEP and RDF/A work is particularly important, as we intend to continue this work. 13:37:14 ivan: was does HTMLWG say? 13:37:38 ralph: we intend that ownership of RDF/A spec be entirely responsibility of HTMLWG. 13:38:40 ... in semweb activity we continue working on RDF.A primer, but formal spec of RDF/A is mixed thru HTML spec. So RDF primer is really for semwebbers. 13:39:38 ivan: there were issues e.g. the original design was to have RDF/A as part of XHMLT 2 ... I have heard voices from XHTMLWG that if it goes another way ... if it becomes a module you can use with XHMLT 1 that would be OK. 13:40:25 ralph: original paper by mark birbek makes RDF/A a module of XHTML 2. It would take a different RDF/A design to make RDF/A a module of XHTML 1 ... certain pieces of RDF/A would not work with XHTML 1. 13:40:49 ivan: based on what you say, any design of the issue i.e. whehter RFDF/A is bound to HTMLWG ... 13:41:05 ralph: decision falls to the CG on what charters they approve and not. 13:41:28 ivan: XHTMLWG is also rechartered, are these two recharterings are synchronised? 13:41:55 ralph: we're not hearing strong pusshback from members to do RDF/A module for XHTML 1. 13:42:07 ivan: steven has mildened his stand on this. 13:42:31 ralph: HTML charter is also behind. 13:43:03 ivan: the SWVM would include SKOS, include work done by Thomas B ? 13:43:44 ralph: SWVM charter lists three deliverables (1) SKOS (2) the cookbook (3) best practices for publishing schemas and ontologies, versioning, managing namespaces. 13:44:06 ivan: there were also voices about defining core ontologies. 13:45:05 aliman: third SWVM deliverable may be better broken into multiple docs. 13:45:13 ralph: no problem with that. 13:45:55 peter: couple of other issues ... RDEX charter ... targetted towards current funcitionality of GRDDL ... supposed to output RDF/XML ... 13:46:26 ralph: feedback thru AC rep. 13:47:17 aliman: put D2RQ or something similar in RDEX. 13:47:54 ivan: reaction of people in that group, with buzz around microformats, high priority to have GRDDL finalised and out very quickly, will push back on anything that slows that down. 13:48:17 peter: doesn't preclude followon transforming into other formats. 13:48:39 ralph: in the email to the AC there is mentioned the issue of relaitonal databases as RDF. 13:48:55 peter: base design for GRDDL where input is HTML, output is RDF/XML? 13:49:01 ivan: yes, this is the base intention. 13:49:24 peter: this is desirable. It would be a shame if microformats moved in directions that GRDDL could not handle. 13:49:47 brian: what would like to see standardised there 13:50:00 al: d2rq vocab as a note - probbaly enough 13:50:30 ...people would build tools on top of the mapping vocabulary - build a mapping between an ontology and a relational model 13:51:20 brian: agree that it would get lots of data onto the semweb....not positive personally that it's needed - tools there alreday, working in different ways - is there a need for interoperability there? 13:51:51 ralph: many of us feel there is a need for some technology to point people at - like apache cookbook - you don;t 'have' to, but can point people at it 13:52:03 brian: that would be v vaaluable, sound slike an XG 13:52:34 al: I think d2rq works on sesame and jena - kowari is diferent I think. beyond XG? 13:52:45 [missed some from peter] 13:53:38 [not important] 13:53:45 al: wants a tool that I can go click-click-click and have it spit out some stuff 13:53:53 thanks peter 13:54:11 ralph: possibly a WG isn;t the best way 13:54:37 peter: navel gazing activity? 13:55:14 ... i notice various philosophical issues that are being solved in different ways ... e.g the RDF/XML stranglhold is being broken in different ways, not sure compatible ... 13:55:24 ... e.g. SPARQL has a different languag, RIF ... 13:55:37 ralph: it's the role of CG to apy attention to those things 13:56:03 ivan: we had discussion of giving formal status to turtle as a serialisation 13:56:15 peter: i think bigger than just tutle and n3 13:56:28 ralph: role of CG to do this. 13:58:01 Scribe: Libby 13:58:09 ScribeNick: libby 13:58:21 ---skos & rdfs & owl discussion 13:58:59 Al: a number of different docs and usecases have suggested that we need to understand relationship between SKOS and OWL 13:59:06 pfps has joined #swbp 13:59:08 -looking at classes and values note 13:59:10 http://www.w3.org/TR/swbp-classes-as-values/ 13:59:30 Al: classes as values of properties is owl full (or 1.1) 13:59:55 ...class as values notes was written as design patters to get around this problem 14:00:19 navel gazing == philosophical foundations of the SW [repeat because I was off-line] 14:00:23 1: point directly from a book to a classs = out of owl-dl 14:01:10 2. I have a book which is about a thing that is a lion - DL safe but doesn't really capture idea trying to say - about lions 14:02:09 3. basically - to express the idea of lions and of african liions, you create intermediate nodes that express lions as a subject or topic of discussion - my book is about this intermediate node and seealso this classs in the ontology 14:02:17 ...using rdfs:seealso 14:02:29 (1,2,3 were al speaking btw) 14:02:59 al: part of (3) is what skos is trying to do - general relationships without logical rtelatiiopnships [missed some] 14:03:23 ...thesaurus describes the books but there is also a relationship between skos and the ontology 14:03:37 ...so this is the issue - how is this relationship expressed. 14:04:25 ...another usecase: Libby and Al are both using flickr but we have a different flickr tag for danbri. Flickr tags can be expressed in skos 14:04:40 ...somewhere also issomethig that says danbri is a foaf;Person 14:05:01 ...danbri came up with a specific property for this connection - 'this means the same sort of thing' 14:05:20 ...search for the word 'denotes' on the esw thesaurus mailing list - long dicsussion 14:05:33 Alistair: search for 'denotes' in http://lists.w3.org/Archives/Public/public-esw-thes/ 14:05:43 ...Another useacse: I have a thesauarus and generate a skos version of it 14:06:11 ...I could put more meaning in my thesuarus - disambiguate some of the broader / narrower using an ontology 14:06:19 [missed some] 14:06:32 ivan: 'is' or 'bound to' ? 14:06:47 Al: 'is' 14:06:55 'it' and 'as' 14:07:10 ivan: why can;t I use typing to directly link to the class that it is 14:07:40 al; no this is the case where there's *no* ontology - only skos 14:07:52 ScribeNick: libby-scribe 14:08:14 ...question is, is it ok for them to say this thing - which was a concept in skos - is really a class - and this relationship between 2 nodes - previosuly 'broader' is actually a subclass relationsip 14:08:24 ...is this ok or not 14:08:50 ...previous approach to keep ontology and thesaurus seprate; this is a different approach - beef up thesuarus 14:08:57 (i'd say not; thesauri are too messy... 'broader' gets used for lots of things, only some map to subclassof) 14:09:09 fabian: part of the thesaurus or all of it 14:09:13 al: all of it 14:09:44 ...is the usecase; lots of thesaurus people have heard of ontologies, know they can do something with reasoners - want to do this 14:10:17 ...2 design patterns - ontology and thesurus seprate, or somehow the same thing? 14:11:07 harold: related to punning 14:11:53 ivan: the big selling point is the nutcracker - clear, clean, people understand it easily, even if they don;t understand owla nd don;t want to 14:12:15 ...explicitly bringing these things into skos makes for a hybrid sledgehammer / nutcracker 14:12:37 ...of course we could not 'ban' it - but let's not give them the rope to ahng themselves 14:12:53 ...my take is to keep separte 14:13:12 al: I consider these usecases to be edgecases for skos, not essential 14:13:24 ivan: for the ontologies, adding the bridge might help 14:13:49 al: rdfs:seealsdo from classes-as-values doesn;t capture this meaning at all of the relationship 14:14:06 ...so we should coin a property that does capture the semantics 14:14:18 ivan: or we use rdf:type 14:14:30 al: doesn;t work - ...[missed some] 14:14:39 ivan: ok yes, I take it back 14:14:48 ...property then 14:15:12 ...first one - the property is ok - 2nd one hard to sell 14:15:23 s/[missed some]/you'd have things that have type class, type property, and (type) instance 14:15:32 al: argument for the 2nd merging one is from thesauri experts 14:15:37 ...why do we have both 14:15:49 ivan: tell them - feel free to use the sledgehammer 14:15:56 al: I could happily live with that 14:16:30 fabian: interoperability? using same uri...we are talking about exacvtly the same thing so use the same uri for it 14:17:07 ivan: semweb is very precise, but most people have a usecase for much less accuracy - they still want to describe it - these are different audiences 14:17:20 ...they don;t care - somethign elsy and clean to do 14:18:12 fabian: totally ok with people who want to use kjust skos - you are just doing the same thing as befgore - but what if you want to link it - then should you not use the 'best machanism' - it makes sense to me to use the same uri or sameas 14:18:53 ivan: extra property in skos that makes the connection clear - this is clean, and then you can have systems that can use both 14:19:31 ...uri for the two - smart people can, and we cannot stop them - but too much rope 14:19:59 fabian: we end up with seealso, describedby, etc etc - more and more confusing...this proposal same uri is much cleaner 14:20:27 al: this is just like the conversation on the list 14:20:34 ... :-) 14:20:59 al: I can see more points of view. would like to add soe more details 14:21:58 ...agaianst owl:sameas type thing: concept in one thesaurus and one in another; one has lables and definitions and comments - suppose they sameas the 2 concepts? then the nodes get merged; the labels, comments and definitions on each one get mixed up 14:22:04 ...also they may change 14:22:32 ...allowing sameas between concepts is problematic. so we say 'never use owl:sameas' 14:22:57 ...there is a skos mapping vocab though currently not deeveloped. in there is 'exact match' 14:23:06 ...think this is a very strong argument against punning 14:24:12 ...also: harold saaid earlier what is the relationshiop between subclassof and broader than. if they are separate worls - no relationship between these exists. if we combine the worlds then they may have some kind of realtionship, maybe subproperty 14:24:31 ...thbe main issue was - what the hell do we call the new property? 14:24:57 ...the 'amstaerdam proposal': skos:is and skos:it 14:25:20 s/skos:is/skos:as/ 14:26:04 ...from skos to ontology: 'it'; form ontology to skos - 'as' 14:26:10 ...not very m,emorable 14:26:21 ivan: prefer 'is' and 'as' 14:26:29 al: would make a good tshirt though 14:26:59 harold: [someone] did a taxonopmy for chemistry at twente 14:27:09 Paul van der Vet: subject vs. class 14:27:23 s/Paul/Harold: Paul/ 14:28:11 ...you have different refinements of broader 'isa' vs 'classof' 14:28:21 al: thought this were the same 14:28:27 fabian: no... 14:28:51 harold [missed some] 14:29:24 al: parphrasing: idea of a broader relationship can be refined intoi several subrelationships - part of, subclass of +2 more 14:29:45 ...this borader property could be used to link up properties in both skos and ontology worlds 14:30:39 ...partial order relationship - don't know if it's part or subclass - can be hard to see the distinction sometimeszs; not always important but is for logicians 14:31:22 al: tree circularity is a proplem in thesauri so practically broader should not be reflexive; but if [...] use it with ontologies it has to be reflexive 14:32:03 ...thesauri might end up with cycles in thesauri - this has a meaning in subclass but not clear what it means at all in thesauri 14:32:38 al: would really like links to relevant ontologies material 14:33:01 [place to look it in rdf core] 14:33:40 fabian: new topic. some people using skos as a half-baked ontology; others use it for capturing labels 14:33:51 ...we have a user of skos for organising elearning 14:34:17 ...it's very useful to them. We have a stylesheet that transforms it to owl lite 14:34:40 ...is skos like the label value of a class - orr is it the class itself 14:34:56 ...denotes is symptomatic of that 14:35:07 al: would really appreciate a short description of that problem 14:35:22 ...peter, do you ahve any thoughts here? 14:36:08 peter: I'm sympathetic to the idea of this effort. 14:36:27 ...has some problems with intermediary notes 14:36:34 ...suggests 'punning' 14:36:58 ...individuals show up automagically with punning 14:37:07 Peter: punning allows you to use the same name for a Class and an instance 14:38:22 peter: making superproperties of subclass of can cause problems with craeting reasoners 14:38:53 ...if you want the reasonser, you need to distill out the skos world 14:39:02 [not sure I got much of that sorry] 14:40:10 harold: rdf is metadata - shoudl be used for documents - so you end up starting talking about both classes and documents - ambiguity 14:41:04 al: as I understood the first pattern, you make a distinction between a book, a class of things in teh world and an idea - books, skos, owl 14:41:21 ...separating out classes, individuals and properties form thoughts 14:41:37 ......not mixing books and classes 14:42:14 harold: dublin core is metadata, only later became part of logic 14:43:07 [discussion about rdf as KR language vs metadtaa language] 14:43:53 ralph: recap of things left to talk about: RIF / OWL ; Negation 14:44:02 ---15 min break 15:08:07 pfps: world according to rif and owl 15:09:35 pfps: datalog is function-free 15:09:43 rdf is the basis, then you can extend that to OWL (DL) -> SWRL -> FOL, or Datalog -> Horn 15:10:44 rif tries to interchange between SWRL, Horn, production rules systems 15:11:17 production rules often called ops rules (ops was the first system) 15:11:48 PFPS: production rules aka "OPS rules" can have side effects, such as counting 15:12:03 Scribe: Andreas 15:12:08 ScribeNick: aharth-scribe 15:12:29 swrl and horn view the world at least somehow in a similar way, production rules systems have a different worldview 15:12:52 pfps: Flogic totally includes RDF 15:14:15 fabien: is it possible to encode RDFS in Flogic? 15:14:44 pfps: yes, but flogic has second-order syntax but first order semantics 15:15:29 pfps: to be second-order you must be able to say something about arbitrary sets, not just a set you can compute 15:15:37 harold: higher order syntax is hilog, but often this is subsumed under the term flogic 15:18:23 pfps: truth predicates can lead to trouble even in fol, certainly in flogic 15:18:46 ... sparql is not written in RDF 15:19:01 harold: syntax is more like sql 15:19:10 ivan: more combination between sql and turtle 15:19:59 pfps: sparql-queries cannot be written as triples 15:20:25 ... swrl can be written in triples via a mapping 15:22:00 pfps: if you took flogic or hilog and like the idea that classes properties and individuals live in the same area then flogic is a good way to go 15:24:25 ... trouble is that logical symbols (e.g. quantifiers) in RDF can be uris, and you can change the meaning of those uris 15:25:56 ivan: all of the languages can use rich datatypes? 15:26:50 pfps: yes, they can have built-in datatypes, in flogic you can even construct the datatypes (e.g. lists...), for full treatment you'd need to second-order logic 15:27:40 harold: both flogic and rdf have minsky's notion of frames, and they are object-centric 15:28:42 ralph: what's the best practices impact? 15:28:52 pfps: what should the rif syntax look like? 15:29:17 harold: charter says xml syntax 15:29:49 ivan: i want to understand why xml syntax is a "must" 15:30:30 ... xml syntax is not meant for human consumption 15:30:54 pfps: whether everything is uris, what about qnames... 15:32:13 "The primary normative syntax of the language must be an XML syntax. Users are expected to work with tools or rule languages which are transformed to and from this format." 15:32:17 -- http://www.w3.org/2005/rules/wg/charter#xml-syntax 15:39:37 andreas: scribing offline 15:43:45 aharth has joined #swbp 15:43:57 pfps: problem with the production rule systems which are procedural 15:43:57 harold: maybe production rules are not part of the sw, but in the area of sw services 15:43:57 pfps: what kind of semantics are allowed. 15:43:57 ivan: semantics of datalog and swrl are different. how to bridge that semantics? 15:43:57 harold: if you don't have negation, you can use the same semantics 15:43:58 pfps: in the presence of negation, you notice the difference 15:44:00 ivan: i can create a model theoretic semantics up to swrl, and if there is no negation the semantics is the same? 15:44:03 pfps: yes, they behave the same, with negation it's different 15:44:06 ivan: how do you find an intersection? 15:44:07 harold: small subset of production rules which only have assert then there is an intersection 15:44:07 ScribeNick: aharth_scribe 15:44:09 pfps: some of the rule vendors want to model their rules with certain characteristics 15:44:11 fabien: a lot of work of ilog is around workflows 15:44:13 pfps: manual steps are involved in workflows 15:44:15 ... another example are rules which are in cisco routers and such 15:44:17 ... sometimes the use of the term "business rules" is ambigious 15:45:10 ivan: the discussion should be written down that people from other schools understand 15:46:03 pfps: rif will be a formal language with some sort of meaning, then you'd be able to write a native rif interpreter 15:47:03 ... another issue is that an antecedents look like sparql queries 15:47:51 ... sparql functions should be side-effect free 15:48:02 what's the relationship between rif and sparql 15:48:58 horn and datalog semantics match basic graph pattern queries (sparql) pretty closely 15:49:23 fabien: cannot use a function in the construct part? 15:49:52 pfps: sparql is declarative in a fairly strong sense 15:51:01 ivan: where does cwm fit? 15:51:13 harold: cwm is esentially a production rule system 15:51:50 ... also has extra-logical things such as retract 15:52:12 pfps: where does n3 (minus cwm) fit in, n3 as a non-active language? 15:52:36 harold: context is in n3 and also in sparql 15:53:42 pfps: unlike most query languages sparql doesn't have closure 15:54:04 alistair: how general rules fit in, especially how a rule can be consequence of another rule? 15:54:41 pfps: some extensions allow rules with rules as consequence 15:54:55 ... don't create, they are formulae 15:55:26 (a & b) -> c and a ->(b->c) are queivalent 15:55:57 harold: production rule systems can create new rules 15:56:19 pfps: procedural implementations of this work fine 15:57:44 harold: scope is needed for negation (aka context) 15:58:36 aharth: context has been removed from n3 site 15:59:07 harold: context has been investigated in sintek & decker's triple paper 15:59:23 pfps: what about subcontext and contexts? 15:59:42 ralph: you can name a context and refer to that name 16:01:13 aharth: remote contexts where you can send queries and retrieve triples via http 16:01:47 ralph: how much time to allocate to the next discussion? 16:02:25 harold: mainly provoke a discussion about negations, closed world and open world in the semantic web 16:02:34 ralph: anything else to talk about? 16:02:41 no 16:03:11 harold: trouble when bringing together open world assumption of owl and closed world assumption of rules 16:03:27 ... scoped negation as failure might be an option 16:03:56 ... owl as open world is a nice match with the web at large 16:04:13 ... sometimes you need a closed world: all official w3c reports are at a given site 16:04:52 fabien: have the same type of scenario: closed world assumption about a namespace, if somebody is not inside a namespace, he's not a member of the organization 16:05:26 ralph: that's what rdf:Collection does 16:05:47 ivan: a basic dl reasoner doesn't give you that answer? 16:05:48 aliman has joined #swbp 16:05:54 fabien: yes, that's an extension 16:06:03 ... extension closes a set 16:07:04 Andreas: if you have a notion of a set of triples at at URI then you can use negation as failure 16:07:43 [whiteboard photo: http://www.flickr.com/photos/nicecupoftea/107227941/] 16:07:49 Andreas: how difficult would it be to add this sort of thing to OWL-DL reasoners? 16:08:16 pfps: certain kinds of closures are quite easy, others are extraordinarily difficult 16:08:40 ... many of the closures that you come across in practice can turn into an OWL-DL statement 16:09:14 ... e.g. the class of American Citizens ... 16:10:18 harold: if the system is decidable (such as datalog), a dl reasoner can call the rule system and use results in further dl reasoning 16:11:01 ... there is a problem related to reducing n-ary relations to binary ones 16:11:16 ... vague analogy to closed world reasoning with scopes 16:11:45 ... predicate-centric would be another way of closed-world assumption 16:12:36 either draw a random line around a sub-knowledge base, or you have a global assumption that e.g. inriaemployee predicate is closed 16:13:10 Andreas: but if I make a statement using this predicate at some other URI ... 16:13:43 Harold: there must be an authoritative Collection of links somewhere 16:14:04 fabien: their namespace approach is used similar to tracking the source 16:14:50 harold: you'd need to have a central point for coordination 16:16:08 ... the issue of negation in the formalisms is still open 16:16:34 ivan: there are people working on that, people are interested in probabilistic or fuzzy logic 16:17:07 ... black and white view of semantic web doesn't work for the life sciences people 16:17:26 pfps: sure, somebody's got to do work to make this story go well 16:17:57 pfps: everything on my diagram referred to discrete-valued logics 16:18:05 ivan: some people met in galway and thinking about an xg about that topic 16:18:36 pfps: how infinitary valued logic can work on the semantic web? 16:18:46 pfps: xxxx at Stanford has done some work on infinite-valued logics 16:18:59 ivan: wasn't fuzzy logic not part of the charter? 16:19:11 harold: yes, as a possible extension to part 2 16:19:34 pfps: setting up a workshop where users who want these things would be interesting 16:19:59 ivan: ken laskey had a workshop at iswc in galway 16:20:35 http://www.iet.com/iswc/2005/ursw/wsched.html 16:21:41 ralph: any other thoughts? 16:21:59 ... adjourned