Dieter Fensel, David Aiken, Sinhue Arroyo, Jos de Bruijn, Liliana Cabral, Emilia Cimpian, John Domingue, Fahrshad Hakimpour, Uwe Keller, Michael Kifer, Holger Lausen, Adrian Mocan, Matthew Moran, Eyal Oren, Axel Polleres, Dimitru Roman, Michael Stollberg, Laurentiu Vasiliu
Missing/Excused: Christoph Bussler, Michael Breu, Enrica Dente, Ying Ding, Juan-Miguel Gomez, Kim Elms, Sung-Kook Han, Rubén Lara, Chris Priest, Michal Zaremba
next meeting: 2004-03-10
2pm – 5pm (Galway time), 3pm – 6pm (Innsbruck time)
all editors update your links to www.wsmo.org
website management works, each editor has own account
John & Liliane will come to Galway (2004-03-11, 10:30 GMT)
transform activity sheet print in XHTML (printable on one page is then browser-setup)
tutorial ISWC 2004: Sinuhe, Michael, Matt and John help Chris (John: IIS may be WSMO compatible, could be tutorial with hands-on tool), first version for use in ESWS 2004
cvs: change structure to be coherent with deliverables structure: Sinuhe and Holger
move meeting to wednesday, after conferring with Christoph
official pronunciation: Wiz-mo
New versions of deliverables are only put on the websites on fridays resp. the version which is available on friday before the meeting is the one that is going to be discussed.
(activity sheet editor/authors updates by Jos)
D1: move to SDK layout. tomorrow
we need to say we're a SDK working group
all deliverables are 'WSMO working draft'
titi takes care of changing website style sheet (DERI logo replaced by new WSMO logo)
Important: Keep/Include DERI copy right to all deliverables!
updated with new versions of deliverables: 2004-03-08 12.00 GMT
D5.2: started, collecting/installing reasoners, technical problems, . deadline 2004-03-15
D8: will be there, not as complete as we wanted
D9: Michael Federer as co-author, need document, deadline 2004-03-05
D10: briefing with netdynamics, realize UDDI+WSIL based
D12: nothing has been done
D13: executive summary on 2004-03-05
D14: titi wants to work here, 2004-03-31
D15: titi wants to work here: deadline 2004-03-31
D16: editors: titi, holger
D2v0.2: (deadline 2004-03-08)
add reference to Dublin Core
do we need all dublin core elements? postpone till after use cases
S3: p2: delete 'eventually, ...'
refer to sections in concept def., etc
refer to standard OWL document of W3C
why distinguish between attributes/methods: postpone till use cases
S3.4: make conceptDefinition/relationDefinition/instanceDefinition subclass of axiomDefiniton
change every 'axiom' to 'axiomDefinition'
S4:
Semantics of sets of axioms: define wether disjunction or conjuction - postpone
post-condition/effects: jos makes text proposal
S5:
refiners: jos makes text proposal
add at wgMediator description: mapping different vocabularies(done via ooMediators)
S6: move 6.1 to Section 2 (new subsection), as non-functional properties used to describe WS and mediators
S6.3: jos makes text proposal
S6: remove (courier) 'groundings', add note: groundings in choreography
typo in footnote 1: WMSO
D11: (deadline 2004-03-08)
replace axiom by 'simple logical expression'. define simple logical expression in D16
S4: import ontology only at webService level, not on capability/interface level
S4.2: in-out message exchange patterns make them informal (change font)
appendix should go into D16
D16:
split in 5 subdeliverables
phone conference between jos, holger, titi, eyal tomorrow about solution
OU uses JENA Owl parser. Thus having an OWL conform input format for IRS-II would be great for OU.
D3.1: deadline 2004-03-15
will get makeover/cleaned up
explain the word Web Service
use F-Logic, make examples correct
eyal looks for simple F-Logic tutorial
D3.2: deadline 2004-03-15
make editors also authors
S1.2: WMO, update figure
S2: refer to use cases from W3C WSA
introduce acronyms
2.3: skip, just describe the use cases
make table 1-5 in natural language
grounding
may need an extra ontology (generic) for classifying searches
put in the end an appendix with complete F-Logic specification and computed results by Flora
About Horrocks' et al. rule proposal (Michael Kifer)
Consists of horn-clauses, in stead of regular clauses DL-description. It subsumes regular Horn Logic.
No negation in rule body (you can do this inside a description). No function symbols, only unary/binary predicates. Undecidable.
How does this relate to SWSL:
In SWSL three directions:
1) F-logic, transaction logic (covers all (e.g. querying))
2) PSL (for processes)
3) finite-state machines (for WS composition domain)
Why do we need full FOL reasoning in WSMO (as stated in D5)
Uwe: the problem of matching goal-capability: Reasoning task is not querying a knowledge base but subsumption (without reference to a knowledge base). We cannot use flora (resp. logic programming) therefore in the general case.
Michael: in matchmaking, F-Logic won't give you much. but in logic programs you can write heuristics. You could verify that for current data one subclass subsumes the other (maybe this is all you need).
Michael: we need use cases to choose language. If we just do querying, a user would expect CWA; you'll need heuristics, subsumption won't help much.
It depends on the type of use, wether using a FOL reasoner is needed and wether it is a problem.
Michael Kifer tries to make F-Logic XML syntax, by 2004-03-11.
Michael Stollberg, W3C Web Service Architecture
2004-03-10:
KADS: Ruben
WSRF: Jos
OntoMerge: Laurentiu
(WSMX: Galway)
Undefined date:
Local-closed World assumption: Jos & Axel