From math.semantic.web at gmail.com Sun Feb 8 16:54:27 2015 From: math.semantic.web at gmail.com (Christoph LANGE) Date: Sun, 08 Feb 2015 16:54:27 +0100 Subject: [ontoiop-forum] PhD on Question Answering using Web Data (3 positions in Bonn, Germany) In-Reply-To: <29BD923A-B7AC-46E8-A5E3-F42894AA8440@informatik.uni-leipzig.de> References: <29BD923A-B7AC-46E8-A5E3-F42894AA8440@informatik.uni-leipzig.de> Message-ID: <54D786B3.3080704@gmail.com> This is not just about _data_, but we also imagine _ontologies_ to play an important role in making data fit for question answering. ?Christoph The EIS research group at the University of Bonn in Germany is pleased to announce *Three full time PhD student positions in the field of question answering on interlinked datasets* The successful candidates will carry out research towards a PhD on one of the following topics: (1) Effectively and efficiently supporting dataset maintainers in semi-automatically cleaning and enriching datasets to make them fit for question answering. (2) Discovering and retrieving datasets of a high quality for QA with a high precision and recall; automating dataset quality assessment. (3) Efficient and precise translation of natural language questions into structured queries against a federated knowledge base. The successful candidates will work in the Marie Sk?odowska-Curie International Training Network WDAqua (Answering Questions using Web Data), undertaking advanced fundamental and applied research into models, methods, and tools for data-driven question answering on the Web, spanning a diverse range of areas and disciplines (data analytics, social computing, Linked Data, and Web science). They will participate in the network?s training schedule and perform internships with other project partners. There will be no teaching obligation but teaching can be arranged, if desired. On top of a generous basic salary we offer a mobility allowance and, if applicable, a family allowance. Initial appointment will be for one year with a possible extension to 3 years. The position starts as soon as possible. Initial appointment will be for one year with a possible extension to 3 years. *We offer:* * Two or more academic supervisors from the WDAqua network (the PhD student working on topic (1) will obtain a dual PhD degree with Universit? Jean Monnet Saint-?tienne, France) * A support grant to attend conferences, summer schools, and other events related to your research. * The possibility to obtain a discounted public transport ticket *Requirements* * A Master degree in Computer Science or equivalent. * Not having resided/worked in Germany for more than 12 months in the 3 years before starting the work (Marie Sk?odowska-Curie mobility rule) * Proficiency in spoken and written English. Proficiency in German is a plus. * Proficiency in Programming languages like Java/Scala or JavaScript, and modern software engineering methodology. * Familiarity with Semantic Web, Natural Language Processing, Indexing and Data Analytics is an asset. *How to apply* To apply, please send the following documents in pdf to eis-leaders at lists.iai.uni-bonn.de before 28th February 2015. * CV * Master certificate or university transcripts * A motivation letter including a short research plan targeted to one of the topics listed above, * Two letters of recommendation * English writing sample (e.g. prior publication or master thesis excerpt). Please direct informal enquiries to the same address or see http://www.iai.uni-bonn.de/~langec/wdaqua/. The University of Bonn is an equal opportunities employer. Preference will be given to suitably qualified women or persons with disabilities, all other considerations being equal. -- Christoph Lange, Enterprise Information Systems Department Applied Computer Science @ University of Bonn; Fraunhofer IAIS http://langec.wordpress.com/about, Skype duke4701 ? WDAqua (Answering Questions using Web Data) Marie Sk?odowska-Curie Intl. Training Network (ITN) seeking 15 highly skilled PhD candidates. Apply by February: http://www.iai.uni-bonn.de/~langec/wdaqua/ From math.semantic.web at gmail.com Sun Feb 8 19:40:50 2015 From: math.semantic.web at gmail.com (Christoph LANGE) Date: Sun, 08 Feb 2015 19:40:50 +0100 Subject: [ontoiop-forum] Two fully funded PhD positions on Answering Questions using Web Data Message-ID: <54D7ADB2.5090406@gmail.com> Hi all, these two positions in the WDAqua project are not as close matches for ontology engineers as the ones at the University of Bonn I advertised earlier today, but I think they will still be of interest. ?Christoph Fraunhofer IAIS is pleased to announce two PhD positions - fully-funded with the EU research project: ?WDAqua: Answering questions using Web Data?, which has started in January 2015. Research Area: The project will undertake advanced fundamental and applied research into models, methods, and tools for data-driven question answering on the Web, spanning over a diverse range of areas and disciplines (data analytics, data mining, information retrieval, social computing, cloud computing, large-scale distributed computing, Linked Data, and Web science). Potential topics for a PhD dissertation include, but are not limited to: ? Design of a cloud-based system architecture for question answering (QA), extensible by plugins for all stages of the process of QA and Web data ? High-quality interpretation of voice input and natural language text as database queries for question answering. ? Leveraging Web Data for advanced entity disambiguation and contextualisation of queries given as natural language. ? Question answering methods using ecosystems of heterogeneous data sets (structured, unstructured, linked, stream-like, uncertain). Institution The about 200 employees of the Fraunhofer Institute for Intelligent Analysis and Information Systems (IAIS; http://www.iais.fraunhofer.de) investigate and develop innovative systems for data analysis and information management. Specific areas of competence include information integration (represented by the IAIS department Organized Knowledge), big data (department Knowledge Discovery), and multimedia technologies (department NetMedia). Requirements: 1. Master Degree in Computer Science (or equivalent). 2. You must not have resided or worked for more than 12 months in Germany in the 3 years before starting to work. 3. Proficiency in spoken and written English. Proficiency in German is a plus but not required. 4. Proficiency in Programming languages like Java/Scala or JavaScript, and modern software engineering methodology. 5. Familiarity with Semantic Web technologies, Natural Language Processing, Speech Recognition, Indexing Technologies, Distributed Systems and Cloud Computing is an asset. As a successful candidate for this award, you will: 1. Spend the majority of your time at Fraunhofer IAIS, where you will research and write a dissertation leading to a PhD (awarded by the University of Bonn). 2. Have a minimum of two academic supervisors from the WDAqua project. 3. Receive a full salary and a support grant to attend conferences, summer schools, and other events related to your research each year. 4. Engage with other researchers and participate in the training program offered by the WDAqua project, including internships at other partners in the project. Further Information For further information, please see the WDAqua homepage at http://www.iai.uni-bonn.de/~langec/wdaqua/. How to apply Applications should include a CV and a letter of motivation. Applicants should list two referees that may be contacted by the Department and are moreover invited to submit a research sample (publication or research paper). Applications will be evaluated on a rolling basis. For full consideration, please apply until 27.02.2015. Applications should be sent to Dr. Christoph Lange-Bever. E-Mail: Christoph.Lange-Bever at iais.fraunhofer.de Tel.: +49 2241/14-2428 -- Christoph Lange, Enterprise Information Systems Department Applied Computer Science @ University of Bonn; Fraunhofer IAIS http://langec.wordpress.com/about, Skype duke4701 ? WDAqua (Answering Questions using Web Data) Marie Sk?odowska-Curie Intl. Training Network (ITN) seeking 15 highly skilled PhD candidates. Apply by February: http://www.iai.uni-bonn.de/~langec/wdaqua/ From mossakow at iws.cs.uni-magdeburg.de Sun Feb 8 22:31:48 2015 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Sun, 08 Feb 2015 22:31:48 +0100 Subject: [ontoiop-forum] OntoIOp teleconference (n.73): Mon 2015.02.09 Message-ID: <54D7D5C4.3070609@iws.cs.uni-magdeburg.de> Dear all, on Monday we have the biweekly OntoIOp telcon. The topics are: - recent news on the semantics of UML class diagrams and fUML. See p.94 ff. of the attached document (also available at https://github.com/tillmo/DOL ), where a second version of the translation of UML class diagrams to Common Logic is given (updated according to the discussions at the 72th meeting). fUML is mentioned, see http://www.omg.org/spec/FUML/1.1/ Moreover, reference [49] is available at http://lib.modeldriven.org/MDLibrary/trunk/Pub/Papers/Model%20Semantics%20and%20Mathematical%20Logic.pdf - revision of the submission All the best, Till = OntoIOp team-confcall (n.73) - Mon 2015.02.09 = * start-time: 8:00am PST / 11:00 pm EST / 4:00pm GMT / 5:00pm CET / 6:00pm SAST / 1:00am KST / 16:00 UTC ** ref. world clock - http://www.timeanddate.com/worldclock/fixedtime.html?month=2&day=9&year=2015&hour=8&min=0&sec=0&p1=224 * Duration: 1~1.5 Hrs. * chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20150209 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: 843758# * Skype: "join.conference" ... when prompted enter Conference ID: 843758# ** 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 (425) 440-5100 ... when prompted enter Conference ID: 843758# ** 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! _________________________________________________________________ To Post: mailto:ontoiop-forum at ovgu.de Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/ Community Wiki: http://ontoiop.org -------------- next part -------------- _________________________________________________________________ To Post: mailto:ontoiop-forum at ovgu.de Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/ Community Wiki: http://ontoiop.org -------------- next part -------------- A non-text attachment was scrubbed... Name: ebnf-OMG_OntoIOp_current.pdf Type: application/pdf Size: 1648423 bytes Desc: not available URL: From mossakow at iws.cs.uni-magdeburg.de Sun Feb 8 23:27:27 2015 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Sun, 08 Feb 2015 23:27:27 +0100 Subject: [ontoiop-forum] OntoIOp teleconference (n.73): Mon 2015.02.09 In-Reply-To: <54D7D5C4.3070609@iws.cs.uni-magdeburg.de> References: <54D7D5C4.3070609@iws.cs.uni-magdeburg.de> Message-ID: <54D7E2CF.9080508@iws.cs.uni-magdeburg.de> P.S. here a slightly corrected version, where the types of the annotations have been corrected. Best, Till Am 08.02.2015 22:31, schrieb Till Mossakowski: > Dear all, > > on Monday we have the biweekly OntoIOp telcon. > > The topics are: > - recent news on the semantics of UML class diagrams and fUML. See p.94 > ff. of the attached > document (also available at https://github.com/tillmo/DOL ), where a > second version of the translation of UML class diagrams to Common Logic > is given (updated according to the discussions at the 72th meeting). > fUML is mentioned, see http://www.omg.org/spec/FUML/1.1/ > Moreover, reference [49] is available at > http://lib.modeldriven.org/MDLibrary/trunk/Pub/Papers/Model%20Semantics%20and%20Mathematical%20Logic.pdf > - revision of the submission > > All the best, > Till > > > = OntoIOp team-confcall (n.73) - Mon 2015.02.09 = > * start-time: 8:00am PST / 11:00 > pm EST / 4:00pm GMT / 5:00pm CET / 6:00pm SAST / 1:00am KST / 16:00 UTC > ** ref. world clock - > http://www.timeanddate.com/worldclock/fixedtime.html?month=2&day=9&year=2015&hour=8&min=0&sec=0&p1=224 > * Duration: 1~1.5 Hrs. > * chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20150209 > > > 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: 843758# > * Skype: "join.conference" > ... when prompted enter Conference ID: 843758# > ** 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 (425) 440-5100 > ... when prompted enter Conference ID: 843758# > ** 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! > > > > > > > > > > > > > > _________________________________________________________________ > To Post: mailto:ontoiop-forum at ovgu.de > Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum > Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum > Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/ > Community Wiki: http://ontoiop.org > > > > _________________________________________________________________ > To Post: mailto:ontoiop-forum at ovgu.de > Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum > Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum > Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/ > Community Wiki: http://ontoiop.org -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: ebnf-OMG_OntoIOp_current.pdf Type: application/pdf Size: 1648416 bytes Desc: not available URL: From mossakow at iws.cs.uni-magdeburg.de Mon Feb 9 16:56:48 2015 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Mon, 09 Feb 2015 16:56:48 +0100 Subject: [ontoiop-forum] OntoIOp teleconference (n.73): Mon 2015.02.09 In-Reply-To: <54D7D5C4.3070609@iws.cs.uni-magdeburg.de> References: <54D7D5C4.3070609@iws.cs.uni-magdeburg.de> Message-ID: <54D8D8C0.80202@iws.cs.uni-magdeburg.de> Dear all, please find attached the slides for the talk. Best, Till Am 08.02.2015 22:31, schrieb Till Mossakowski: > Dear all, > > on Monday we have the biweekly OntoIOp telcon. > > The topics are: > - recent news on the semantics of UML class diagrams and fUML. See p.94 > ff. of the attached > document (also available at https://github.com/tillmo/DOL ), where a > second version of the translation of UML class diagrams to Common Logic > is given (updated according to the discussions at the 72th meeting). > fUML is mentioned, see http://www.omg.org/spec/FUML/1.1/ > Moreover, reference [49] is available at > http://lib.modeldriven.org/MDLibrary/trunk/Pub/Papers/Model%20Semantics%20and%20Mathematical%20Logic.pdf > - revision of the submission > > All the best, > Till > > > = OntoIOp team-confcall (n.73) - Mon 2015.02.09 = > * start-time: 8:00am PST / 11:00 > pm EST / 4:00pm GMT / 5:00pm CET / 6:00pm SAST / 1:00am KST / 16:00 UTC > ** ref. world clock - > http://www.timeanddate.com/worldclock/fixedtime.html?month=2&day=9&year=2015&hour=8&min=0&sec=0&p1=224 > * Duration: 1~1.5 Hrs. > * chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20150209 > > > 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: 843758# > * Skype: "join.conference" > ... when prompted enter Conference ID: 843758# > ** 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 (425) 440-5100 > ... when prompted enter Conference ID: 843758# > ** 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! > > > > > > > > > > > > > > _________________________________________________________________ > To Post: mailto:ontoiop-forum at ovgu.de > Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum > Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum > Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/ > Community Wiki: http://ontoiop.org > > > > _________________________________________________________________ > To Post: mailto:ontoiop-forum at ovgu.de > Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum > Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum > Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/ > Community Wiki: http://ontoiop.org -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: Slides-OntoIOp.pdf Type: application/pdf Size: 179016 bytes Desc: not available URL: From conrad.bock at nist.gov Mon Feb 9 18:52:04 2015 From: conrad.bock at nist.gov (Bock, Conrad) Date: Mon, 9 Feb 2015 17:52:04 +0000 Subject: [ontoiop-forum] OntoIOp teleconference, Annex E Message-ID: Till, et al, See comments in PDF attached. Conrad -------------- next part -------------- A non-text attachment was scrubbed... Name: ebnf-OMG_OntoIOp_20140209-UML-CB.pdf Type: application/pdf Size: 409245 bytes Desc: ebnf-OMG_OntoIOp_20140209-UML-CB.pdf URL: From mossakow at iws.cs.uni-magdeburg.de Mon Feb 9 22:07:37 2015 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Mon, 09 Feb 2015 22:07:37 +0100 Subject: [ontoiop-forum] ontoiop_20150209: Chat Transcript Message-ID: <54D92199.6070308@iws.cs.uni-magdeburg.de> *Chat transcript from room: ontoiop_20150209* *2015-02-09 GMT-08:00* *[07:58] **TillMossakowski: *please find the slides at http://iws.cs.uni-magdeburg.de/~mossakow/Slides-OntoIOp.pdf *[08:00] *anonymous morphed into FabianNeuhaus *[08:01] **TillMossakowski: *anyone on Skype? *[08:02] **TerryLongstreth: *I'm trying to get off of another conference, will dial in shortly. *[08:03] *anonymous morphed into Conrad *[08:04] **ChristophLange: *Hi all, UML is not my field, but @TillMossakowski I will look into Ontohub issue 1066 meanwhile. *[08:11] **TillMossakowski: *Conrad: operations should not be subsumed under the term "properties". *[08:11] **TillMossakowski: *Alexander: why not stick to UML terminology and speak of attributes and (query) operations? *[08:12] **TillMossakowski: *Alexander: the parameters of the operations are also of form tau[c] *[08:14] **Alexander Knapp: *We should change the property declaration into an operation declaration (for queries): c.o(x_1 : \tau_1[c_1], \ldots, x_n : \tau_n[c_n]) : \tau[c'] for operations; c.p : \tau[c'] *[08:15] **TillMossakowski: *properties are just c.p : tau[c'] *[08:16] **TillMossakowski: *i.e. attributes *[08:16] **TillMossakowski: *are multiplicities allowed in return values of operations? *[08:18] **Alexander Knapp: *Operations could have out or in-out parameters; check whether this is possible also for query operations. Check whether return parameters are unique. *[08:21] **TillMossakowski: *compositions are separated from normal properties, because they have a special semantics *[08:22] **Alexander Knapp: *Stick with the current UML2 terminology. *[08:25] **Alexander Knapp: *"A single parameter may be distinguished as a return parameter" (UML Superstructure Specification 2.4.1, p. 123) *[08:28] **TillMossakowski: *Composites are always binary. In associations we do not cover composites, just specify the owner roles. *[08:31] **Alexander Knapp: *Make it possible to have associations for declaring two properties as inverses of each other. *[08:37] **TillMossakowski: *The meta-properties should be better explained in the document. *[08:37] **Alexander Knapp: *Introduce "annotations" not for classifiers, but for properties to make clear their intention. *[08:40] **Alexander Knapp: *Choose different names for associations in Fig. E.1. *[08:48] **TillMossakowski: *Alexander: the semantics of an association is a set of individuals (not of sets, bags etc.). *[08:49] **TillMossakowski: *But if you have a binary association, and fix one of the ends, you get a function with a type, and this type may involve sets, bags etc. *[08:50] **Conrad: *See semantics of associations in 11.5.3, especially the paragraph beginning "For an Association with N memberEnds". *[08:51] **Conrad: *From the UML spec: For an Association with N memberEnds, choose any N-1 ends. Let the Property that constitutes the other end be called oep, so that the Classifiers at the chosen N-1 ends are the context for oep (see 9.5.3). Associate specific instances with the context ends. Then the collection of links of the Association that refer to these specific instances will identify a set of instances at oep. The value represented by oep (see 9.5.3) is a collection calculated from this set as follows: All of the instances in the set occur in the collection, and nothing else does. If oep is marked as unique, each instance will occur in the collection just once, regardless of how many links connect to it. If oep is marked as nonunique, each instance will occur in the collection once for each link that connects to it. If oep is marked as ordered, the collection will be ordered in accordance with the ordering information in the links. The cardinality of this collection is its size. The multiplicity of oep constrains this cardinality, or in the case of qualified associations, the size of the collection partition that may be associated with a qualifier value. *[08:51] **TillMossakowski: *hence, the semantics of associations is not just a set of tuples, but also contains additional information giving the order in the sequences etc. obtained in this way. *[08:54] **TillMossakowski: *Fabian: the semantics could be defined as a set of functions (say, from signals to tau[tracksetion] and vice versa) that enjoy the property that each function leads to the same set of tuples. *[08:56] **Conrad: *Confirming Till's comment "hence" above, from UML spec: When one or more ends of the Association are ordered, links carry ordering information in addition to their end values. *[08:57] **TillMossakowski: *Alexander: the ordering in the lists that you get are completely unspecified. Hence, you can get the projection functions to list by just returning the set, arbitrarily converted to a list *[08:59] **Conrad: *Conrad: The ordering of property values isn't arbitrary. UML has actions for adding values at certain points in a list. Getting values from a property will reflect the way they are added. *[08:59] **Alexander Knapp: *Thanks, Conrad. We'll have to add at least a comment to this effect. *[09:01] **TillMossakowski: *where is buml:Sequence specified? *[09:01] **TillMossakowski: *Conrand: this is probably a typo *[09:02] **MichaelGruninger: *need to leave now ... *[09:24] **TillMossakowski: *corrected slides: http://iws.cs.uni-magdeburg.de/~mossakow/Slides-OntoIOp.pdf *[09:27] **FabianNeuhaus: *sorry, I will have to go soon. I have some new feature requests for DOL, but I do that on the email list *[09:30] **Alexander Knapp: *Composite aggregation is a strong form of aggregation that requires a part instance to be included in at most one composite at a time (UML Superstructure 2.4.1, p. 38). *[09:36] **TillMossakowski: *Conrad: one and the same track can own one and the same signal through different composition relations. Hence, the axiom on slide 13 can stay as it is. *[09:43] **TillMossakowski: *p.16, last axiom: needs to be reformulated: (r x z), and (member y z) *[09:46] **TillMossakowski: *Fabian: use different variables for sets and individuals *[09:46] **Alexander Knapp: *Multiplicity constraints for composite properties better without a special "!" *[09:50] **Alexander Knapp: *Sorry, I have to leave, trying to catch my train... Thanks for the comments! *[10:06] **TillMossakowski: *We should try to complete the UML to Common Logic translation until Feb 23. Then my student Martin Glauer will have enough time to implement the translation into Hets before the OMG meeting (which starts on March 23). *[10:07] **TillMossakowski: *next meeting: Feb 23, same time. Topic is third iteration of the UML to Common Logic translation. *[10:07] *List of attendees: Alexander Knapp, ChristophLange, ConradBock, FabianNeuhaus, MichaelGruninger, OliverKutz, TerryLongstreth, TillMossakowski, MihaiCodescu -------------- next part -------------- An HTML attachment was scrubbed... URL: From taraathan at gmail.com Wed Feb 18 16:27:32 2015 From: taraathan at gmail.com (Tara Athan) Date: Wed, 18 Feb 2015 10:27:32 -0500 Subject: [ontoiop-forum] ontoiop_20150209: Chat Transcript In-Reply-To: <54D92199.6070308@iws.cs.uni-magdeburg.de> References: <54D92199.6070308@iws.cs.uni-magdeburg.de> Message-ID: <54E4AF64.9020704@gmail.com> I was just scanning through Chap 4 of the DOL spec (Feb. 8, from github). I see the following: "query language OMS language speci?cally dedicated to queries Example SPARQL, Prolog Note There are also general purpose OMS languages, which can express both OMS and queries." If a query language is an OMS language, then a query is an OMS. So saying that there are OMS languages which can express both OMS and queries is redundant. Is there a need for some term which captures the concept of non-query OMS? Tara -------------- next part -------------- An HTML attachment was scrubbed... URL: From mossakow at iws.cs.uni-magdeburg.de Mon Feb 23 00:02:10 2015 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Mon, 23 Feb 2015 00:02:10 +0100 Subject: [ontoiop-forum] OntoIOp teleconference (n.74): Mon 2015.02.23 Message-ID: <54EA5FF2.9040007@iws.cs.uni-magdeburg.de> Dear all, on Monday we have the biweekly OntoIOp telcon. The topics are: - recent news on the semantics of UML class diagrams and fUML. See p.94 ff. of the attached document (also available at https://github.com/tillmo/DOL ), where a third version of the translation of UML class diagrams to Common Logic is given (updated according to the discussions at the 73th meeting). Especially, the treatment of associations and compositions has been substantially revised. Moreover, there are now Common Logic theories for sets, bags and ordered sets. - revision of the submission All the best, Till = OntoIOp team-confcall (n.74) - Mon 2015.02.23 = * start-time: 8:00am PST / 11:00 pm EST / 4:00pm GMT / 5:00pm CET / 6:00pm SAST / 1:00am KST / 16:00 UTC ** ref. world clock - http://www.timeanddate.com/worldclock/fixedtime.html?month=2&day=23&year=2015&hour=8&min=0&sec=0&p1=224 * Duration: 1~1.5 Hrs. * chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20150223 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: 843758# * Skype: "join.conference" ... when prompted enter Conference ID: 843758# ** 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 (425) 440-5100 ... when prompted enter Conference ID: 843758# ** 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! _________________________________________________________________ To Post: mailto:ontoiop-forum at ovgu.de Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/ Community Wiki: http://ontoiop.org -------------- next part -------------- A non-text attachment was scrubbed... Name: ebnf-OMG_OntoIOp_current.pdf Type: application/pdf Size: 1661529 bytes Desc: not available URL: From mossakow at iws.cs.uni-magdeburg.de Mon Feb 23 18:12:27 2015 From: mossakow at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Mon, 23 Feb 2015 18:12:27 +0100 Subject: [ontoiop-forum] ontoiop_20150223: Chat Transcript Message-ID: <54EB5F7B.80504@iws.cs.uni-magdeburg.de> *Chat transcript from room: ontoiop_20150223* *2015-02-23 GMT-08:00* *[08:03] **FabianNeuhaus: *x entails y *[08:03] *anonymous morphed into Alexander Knapp *[08:03] **FabianNeuhaus: *cannot say: x does not entail y *[08:03] **FabianNeuhaus: *x is consistent *[08:04] **ChristophLange: *Hi all (Till, Elisa, Tara, and others), as I'm currently in the "wrong" place, and as we'll have our "OntoIOp terminology ontology" phone call at 7, and the UML semantics is nothing to which I can contribute. *[08:04] **FabianNeuhaus: *x is not constent *[08:04] **TillMossakowski: *x is consistent can be expressed as: *[08:04] **TillMossakowski: *oms o = %cons x end *[08:06] **TillMossakowski: *please find the slides at http://iws.cs.uni-magdeburg.de/~mossakow/Slides-OntoIOp.pdf *[08:14] **TillMossakowski: *we are in the static case here, hence query operations do not need to have in/out declarations for the parameters *[08:15] **TillMossakowski: *one change that is needed: the return value can have a name *[08:16] **TillMossakowski: *we are at slide 3 *[08:17] **TillMossakowski: *slide 4 *[08:20] **Alexander Knapp: *Sorry, problems with Skype. I can't sign in, because I can't sign out... *[08:23] **TillMossakowski: *slide 8 *[08:30] **TillMossakowski: *slide 11: some s is missing *[08:30] **TillMossakowski: *slide 12: s1 and s2 should be the same s *[08:31] **TillMossakowski: *slide 13: empty-empty *[08:33] **TillMossakowski: *slide 15: buml:UnlimtedNatural *[08:35] **TillMossakowski: *slide 16: ask Conrad, he is responsible for the sequence axioms in fuml *[08:39] **TillMossakowski: *slide 23: add that y is a \tau *[08:39] **TillMossakowski: *23: no need to add \tau - it is there *[08:40] **TillMossakowski: *24 slight update (no member) *[08:43] **TillMossakowski: *26: CL(a) *[08:43] **TillMossakowski: *and ... t a *[08:45] **TillMossakowski: *26: x_n should be x_r *[09:07] **TillMossakowski: *agenda for next meeting: *[09:07] **FabianNeuhaus: *sorry, my internet connection has issues. *[09:07] **FabianNeuhaus: *But we were at the end of the meeting,right? *[09:07] **TillMossakowski: *1. finish translation, 2. show Hets implementation, 3. discuss some examples (one involving a subtle inconsistency) *[09:08] **TillMossakowski: *next meeting at March 9th, same time *[09:10] *List of attendees: Alexander Knapp, ChristophLange, FabianNeuhaus, JimLogan, MihaiCodescu, TillMossakowski -------------- next part -------------- An HTML attachment was scrubbed... URL: