IRC log of swbp on 2006-03-03

Timestamps are in UTC.

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