Hello Till,
I am flying back frim China today, so I will not be able to attend the call. (01)
- michael (02)
Quoting Till Mossakowski <mossakow@xxxxxxxxxxxxxxxxxxxxxxx>: (03)
> Dear all,
>
> our next OntoIOp team conference call (n.61) is coming up this
> Wednesday, June-18.
>
> The topics are (in this order):
> - terms for queries, see p.12 of the document (attached)
> - chapter 7 of the document (note that has been largely copied from the RFP)
> - chapter 8 of the document
>
> Please also find the chat transcript of the last session below.
>
> All the best,
> Till
>
>
> = OntoIOp team-confcall (n.61) - Wed 2014.04.18 =
> <
> * Date: Wed 18-June-2014
> * start-time: 8:00am PDT / 11:00 pm EDT / 4:00pm BST / 5:00pm CEST /
> 5:00pm SAST / 0:00am [+1] KST / 15:00 UTC
> ** ref. world clock -
>
>http://www.timeanddate.com/worldclock/fixedtime.html?month=6&day=18&year=2014&hour=8&min=0&sec=0&p1=224
> * Duration: 0.75~1.5 Hrs.
> * shared-file workspace:
>
>http://ontolog.cim3.net/file/work/OntoIOp/Team_confcall/2014-06-18_team-confcall_n.61/
> * chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20140618
>
>
> Remarks:
>
> * the session may be recorded for archival purposes. Unless
> otherwise documented, participants agrees to this by virtue of
> their participation at the session.
>
> * In case we have to mute everyone (due to extraneous noise or echo)
> - Mute control: *7 to un-mute ... *6 to mute
>
> Dial-in:
> * Phone (US): +1 (206) 402-0100
> ... when prompted enter Conference ID: 141184#
> * Skype: "joinconference"
> ... when prompted enter Conference ID: 141184#
> ** in case your skype connection to "joinconference" is not holding
> up, try using (your favorite POTS or VoIP line, etc.) either your
> phone, skype-out or google-voice and
> call the US dial-in number: +1 (206) 402-0100
> ... when prompted enter Conference ID: 141184#
> ** some local numbers may be available (in the US, Australia, Canada &
> UK) - see: http://instantteleseminar.com/Local/
> ** for Windows Skype users: Can't find Skype Dial pad? ... it may be
> under the "Call" dropdown menu as "Show Dial pad"
> ** for Linux Skype users: if the dialpad button is not shown in the
> call window you need to press the "d" hotkey to enable it. (--CLange)
>
>
> Talk to you all then!
>
>
>
> Chat transcript from room: ontoiop_20140604
> 2014-06-04 GMT-08:00
> [07:54] anonymous morphed into rick
> [07:58] anonymous morphed into Quentin
> [08:03] TillMossakowski: The topic is: query languages and DOL
> [08:03] anonymous morphed into Ed (ACORD)
> [08:03] anonymous1 morphed into Yazmin Ibanez
> [08:03] anonymous morphed into Tara Athan
> [08:04] ChristophLange: Seems I was producing the noise; I muted myself
> [08:06] Ed (ACORD): im all set
> [08:10] TillMossakowski: where do you see equivalence of OMS depending
> on a collection of mappings? DOL has an absolute notion of equivalence...
> [08:10] TillMossakowski: ==Tara presenting slides==
> [08:15] TillMossakowski: what is compatibility of an OMS with a KB?
> [08:16] TillMossakowski: Tara: if we add an RDF OMS to a non-RDF KB
> without any mapping how this should be related
> [08:17] TillMossakowski: Tara: A KB will contain one OMS, hence it must
> be written in some language. Besides, it will contain other things such
> as queries. Knowledge platforms can contain multiple KBs.
> [08:25] TillMossakowski: Tara: the SPARQL CONSTRUCT form contains the
> information from both the query and the results
> [08:25] TillMossakowski: Christoph: SELECT is limited to the given RDF
> graph, with CONSTRUCT you can construct new RDF graphs
> [08:26] Quentin: SELECT provides a list of records from a RDF graph
> [08:27] Quentin: CONSTRUCT can incorporate information from several
> sources and allows to rewrite some triples
> [08:27] ChristophLange: Just to show you some CONSTRUCT examples:
>
>https://code.google.com/p/tdwg-rdf/wiki/Beginners6SPARQL#6.4.5._Creating_RDF_graphs_using_CONSTRUCT
> [08:28] Quentin: CONSTRUCT returns set of triples, whereas SELECT
> returns name/value pairs
> [08:30] TillMossakowski: Tara: SELECT yields a conservative extension,
> while CONSTRUCT can produce a nonconservative extension
> [08:31] TillMossakowski: Tara: conservative extension refers to inferred
> RDF triples
> [08:33] TillMossakowski: Tara: we want to have this conservative
> character also for views in other languages (whatever this precisely means)
> [08:33] TillMossakowski: Tara: hence, only the conservative SPARQL
> CONSTRUCT forms should be views
> [08:34] TillMossakowski: Tara: this material is new and not completely
> well-defined yet
> [08:36] Quentin: The binding between variables and result set is only
> relevant to SELECT SPARQL queries
> [08:37] Quentin: it doesn't apply to CONSTRUCT or other types of SPARQL
> queries
> [08:42] TillMossakowski: ==Till is presenting==
> [08:45] Yazmin Ibanez: CQ can also be seen as Select Project Join SQL
> queries
> [08:49] ChristophLange: Does "where sentence in OMS" mean that the
> sentence is a literal part of the OMS, or that it is entailed by the OMS?
> [08:50] ChristophLange: ^^ was a question about slide 5
> [08:58] TillMossakowski: example in CASL: substitution s : { sort s; op
> x:s } to { sort s; ops a:s; f:s->s} = x |-> f(a)
> [08:58] TillMossakowski: example in OWL: substitution s : { Invividual:
> x} to {Individual: a} = x |-> a
> [09:01] TillMossakowski: Fabian: views can be obtained by applying the
> resulting substitution to sentences other than those in the query
> [09:02] TillMossakowski: e.g. you query parentOf o parentOf, and
> substitute the results into grandParentOf
> [09:02] TillMossakowski: Tara: however, this mechanism gives us more
> than what we need for views, because the latter need to be conservative
> [09:03] Tara Athan: q(?x, ?y?) :- P(?x, ?y).
> [09:04] Tara Athan: q(?x, ?y?) :- P(?x) and R(?y).
> [09:04] TillMossakowski: q is the new relation, defined in terms of P
> [09:04] TillMossakowski: or in terms of P and R
> [09:06] TillMossakowski: in Fabian's approach, this would mean to
> restrict the sentences to which we apply substitutions to those of form
> P(x1...xn)
> [09:07] TillMossakowski: where P is a new name
> [09:08] TillMossakowski: Tara: this also applies to F-logic
> [09:19] TillMossakowski: ==end of presentations==
> [09:20] TillMossakowski: Tara: result sets can be infinite
> [09:21] TillMossakowski: ... but then we cannot write them down in DOL
> (still, tools could produce them lazily)
> [09:23] rick: And constructive logic?
> [09:23] TillMossakowski: Tara: queries in fuzzy logic give you back a
> set of answer substitutions plus truth values
> [09:24] TillMossakowski: this should be postponed to the second version
> of OntoIOp
> [09:29] Tara Athan: Thanks for addressing this topic!
> [09:29] TillMossakowski: next meeting: Wed 18-June-2014, 8:00am PDT /
> 11:00 am EDT / 4:00pm BST / 5:00pm CEST / 5:00pm SAST / 0:00am [+1] KST
> / 15:00 UTC
> [09:29] TillMossakowski: ==end of session==
> [09:29] List of attendees: ChristophLange, Ed (ACORD), FabianNeuhaus,
> FabianNeuhaus1, OliverKutz, Quentin, Roy Bell, Tara Athan,
> TillMossakowski, Yazmin Ibanez, anonymous, anonymous1, rick (04)
_________________________________________________________________
To Post: mailto:ontoiop-forum@xxxxxxxxxxxxxxxx
Message Archives: http://ontolog.cim3.net/forum/ontoiop-forum/
Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/ontoiop-forum/
Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntoIOp (05)
|