Dear all, (01)
our next OntoIOp team conference call (n.61) is coming up this
Wednesday, June-18. (02)
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 (03)
Please also find the chat transcript of the last session below. (04)
All the best,
Till (05)
= 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 (06)
Remarks: (07)
* the session may be recorded for archival purposes. Unless
otherwise documented, participants agrees to this by virtue of
their participation at the session. (08)
* In case we have to mute everyone (due to extraneous noise or echo)
- Mute control: *7 to un-mute ... *6 to mute (09)
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) (010)
Talk to you all then! (011)
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 (012)
OMG_OntoIOp_current.pdf
Description: Adobe PDF document
_________________________________________________________________
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 (01)
|