Actions

IAOA SWAO SIG-confcall n 22 and OntologySpatial-Topics: Difference between pages

Ontolog Forum

(Difference between pages)
imported>KennethBaclawski
(Fix PurpleMediaWiki references)
 
imported>KennethBaclawski
(Fix PurpleMediaWiki references)
 
Line 1: Line 1:
{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10"
[[image:Vespucci_page.jpg|600px|thumb|left|Vespucci Institutes 2015 Meeting]]
|-
= Program for Follow Up Discussion of Topics from the Vespucci Institutes 2015 Meeting =
! scope="row" | Number
| [[sequence::22]]
|-
! scope="row" | Duration
| [[duration::1 hour]]
|-
! scope="row" rowspan="3" | Date/Time
| [[has date::August 03 2015 14:00 GMT]]
|-
| 7:00 PST/10:00 EST
|-
| 3:00pm BST/4:00pm CET
|-
! scope="row" | Convener
| [[convener::MikeBennett]]
|}


'''IAOA Semantic Web Applied Ontology (SWAO) SIG'''
Organized by Gary Berg-Cross (Spatial Ontology Community of Practice)
'''Prepared presentation material''' (slides ) Torsten's [http://www.spatial.maine.edu/~torsten/presentations/VespucciSpatialOntologies.pdf [slides]] from the first session. Second session [[http://ontolog-02.cim3.net/w/images/8/81/The_things_about_location_MikeG_for_socop.pdf slides]] have been provided by Michael Gruninger.


Meetings are normally on the first Monday of the month at these times.  
'''Additional Resources'''  See [[http://www.vespucci.org/programme Vespucci Institutes 2015  Programme,]] Use the link below to get to recording of the meeting:
https://meetings.webex.com/collabs/url/2yL-CXr45iGkEUYbNCYcWSSZhtiK0VBDPw0CvXV0Xjy00000


[[ConnectionDetails]]
Prior discussion of spatial topics on the Ontolog Forum include:
''Spatial Extent of Abstract Entities?'' See
http://ontolog.cim3.net/forum/ontolog-forum/2013-05/msg00263.html
for a portion of the thread.


The main agenda item this week is to sign off on our proposed Call for Papers and agree actions to publicize this.




== Agenda ==
== The Vespucci Institutes 2015  [[http://www.vespucci.org/programme Programme]] this June at Bar Harbor, Maine ==
included several topics of likely interest to the SOCoP and Ontolog communities. 
* Week one focused on "Spatial Ontologies for e-Science"


* Issue of the Journal of Applied Ontology
''Location often acts as an integrator in science, bringing together perspectives across multiple disciplines and scales. For example, health scientists increasingly focus on where patients spend their time, pulling a large variety of environmental and social data into their analyses. With big data and e-science, this trend has accelerated and gets increasingly supported through knowledge infrastructures and associated ontologies. Yet, it is often unclear how knowledge about location and other spatial properties should best be captured, and there is only a very limited choice of spatial ontologies. This Vespucci Institute will ask why this is so and why there seems to have been so little progress over the past decade. It will push the frontiers on spatial ontologies for e-science..''.
** Status update
(See http://vespucci.org/images/vespucci/2015/WEEK1_program_2015v2.pd  for some specific  topics covered)
*** Final version posted to email list for review - comments due today!
*** Minor changes were made in response to Applied Ontology editor comments
*** One comment on timings for review, check we are comfortable with these
** Next actions
*** Places to publicize the CfP
*** Contact participants in 2014 Ontology Summit


=== In the first session in this series (July 8, 2015) [[http://www.spatial.maine.edu/~torsten/index.shtml Torsten Hahmann]] (University of Maine) ===
  presented a summary talk on Week 1 of Vespucci Summer Institute ''Spatial Ontologies in E-Science''


* Housekeeping
In this  2nd session (Aug. 20th, , [[https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=8&cad=rja&uact=8&ved=0CDcQFjAHahUKEwj4-6WjqrrHAhUFLYgKHZOfCRM&url=https%3A%2F%2Fen.wikipedia.org%2Fwiki%2FMichael_Gruninger&ei=Li7XVfisEIXaoASTv6aYAQ&usg=AFQjCNH3Om_kfnPtPrxw4cLymDPZGu-F5A&sig2=mI9vwUjoM38PAJ6cGGLo6A Mike Gruninger]] (University of Toronto) provides a follow up talk [[http://ontolog-02.cim3.net/w/images/8/81/The_things_about_location_MikeG_for_socop.pdf slides]] called:
** Any changes / updates?  
== The ''''Thing about Location Is ...==


* Other Things
'''Abstract'''
** Progress on 'Stack Overflow' type of resource
Several ontologies for location have been proposed in the
** Use of the Blog
literature, and all rely on the distinction between some kind
** More general ideas for information resource on applied ontology and Semantic Web principles
of physical object and the abstract region at which it is located.
This talk will explore some possible ways of axiomatizing classes
of physical geographical entities based on extensions of the location ontologies.
Outline of talk:
* Review of Location Ontologies
* Abstract vs physical regions
* Do different classes of objects require different location ontologies?
* Reasoning about change and location


* AOB
See bottom of page for Chat from the session.


* Next Meeting
== Identified Participants ==
# [[AlexShkotin|Alex Shkotin]]
# Bruce Schuman
# [[DaliaVaranka|Dalia Varanka]]
# Deborah L. Nichols
# Gary Berg-Cross
# Judith Gelernter
# [[MichaelGruninger|Michael Grüninger]]
# [[NancyWiegand|Nancy Wiegand]]
# Patrick Maroney
# [[SteveRay|Steve Ray]]
# [[TaraAthan|Tara Athan]]
# [[TerryLongstreth|Terry Longstreth]]
# [[ToddSchneider|Todd Schneider]]
# [[User:TorstenHahmann|Torsten Hahmann]]
#  Kathleen E Stewart (via skype) others may have been on Skype only.


== Proceedings ==
=== Conference Call Details ===   
[Lightly edited chat transcript]
* Date: Thursday, 20-Aug-2015
* Start Time: 9:30am PDT / 12:30pm EDT / 6:30pm CEST / 5:30pm BST / 1630 UTC
Call Duration: ~1.5 hours
Dial-in:
Phone (US): +1 (425) 440-5100 ... (long distance cost may apply) 
... [ backup nbr: (315) 401-3279 ]
when prompted enter Conference ID: 843758#
Skype: join.conference (i.e. make a skype call to the contact with skypeID="join.conference") ... (generally free-of-charge, when connecting from your computer ... ) when prompted enter Conference ID: 843758#


[16:01] List of attendees: [[User:KennethBaclawski|Ken Baclawski]], [[LeoObrst|Leo Obrst]], [[MikeBennett|Mike Bennett]], [[ToddSchneider|Todd Schneider]]
=== Chat transcript from room ===
 
ontolog_20150820
[14:58] [[MikeBennett|Mike Bennett]]: Apologies:
2015-08-20 GMT-08:00
 
[09:29] anonymous morphed into [[TaraAthan|Tara Athan]]
[14:58] [[MikeBennett|Mike Bennett]]: EliAbiLahoud, [[AndreaWesterinen|Andrea Westerinen]]
[09:30] anonymous morphed into Gary Berg-Cross
 
[09:32] anonymous morphed into Judith Gelernter
[14:58] [[MikeBennett|Mike Bennett]]: Agenda:  
[09:37] anonymous morphed into Deborah L. Nichols
 
[09:40] Gary Berg-Cross: It might help to mute yourself locally on the Skype call.
1. Issue of the Journal of Applied Ontology
[09:41] [[NancyWiegand|Nancy Wiegand]]: Slide 3 should say 'location' versus 'place', shouldn't it?
 
[09:43] Gary Berg-Cross: Barry Smith has a range of papers on Mereotopology http://ontology.buffalo.edu/smith/articles/mereotopology.htm
Status Update
[09:46] [[MichaelGruninger|Michael Grüninger]]: https://github.com/gruninger/colore/tree/master/ontologies/location_varzi
 
[09:53] [[TaraAthan|Tara Athan]]: From Varzi's functional relation and the reflexive axiom (that every region is located at itself), I conclude that everything that has a location is a region. Am I missing something?
o Final version posted to email list for review - comments due today (Monday)!
[09:55] [[User:TorstenHahmann|Torsten Hahmann]]: It only says everything HAS a location and every region IS the location of itself. It doesn't mean everything IS a region.
 
[09:57] [[TaraAthan|Tara Athan]]: Oh, wait - I see what I was misinterpreting. The functional relation says everything has at most one location, not that if two things are located at the same place, then they are the same thing. So it is okay for two different things to be located at the same region.
o Minor changes were made in response to Applied Ontology editor comments
[09:59] Gary Berg-Cross: I think that the posted slides are one behind what Mike is talking about. So we see 15 when he says 16.
 
[10:01] [[User:TorstenHahmann|Torsten Hahmann]]: @Tara: correct.
o One comment on timings for review, check we are comfortable with these
[10:06] [[ToddSchneider|Todd Schneider]]: Michael, shouldn't "Dierent classes of physical objects dene substructures of mereotopologies" suggest rather that the classes of physical objects haven't be defined well?
 
[10:10] [[NancyWiegand|Nancy Wiegand]]: Slide 20 has to do with 'boundaries', as per one of Kathleen Stewart's grad students.
Next actions
[10:11] [[TaraAthan|Tara Athan]]: I don't see why RCC has a unique countable model. I can see a unique *minimal* model as the closure of a finite set of explicit regions.
 
[10:13] [[ToddSchneider|Todd Schneider]]: Michael, so there's an assumption that the presence of a physical object in a 'space' does not affect on nor modify the 'space' in which its located?
o Places to publicize the CfP
[10:16] anonymous morphed into brs
 
[10:17] brs morphed into Bruce Schuman
o Contact participants in 2014 Ontology Summit
[10:21] [[AlexShkotin|Alex Shkotin]]: Abstract space should be connected with reference system, imho
 
[10:25] Deborah L. Nichols1: Unfortunately, I'll need to drop off now for another meeting. I'll get the rest from the recording or transcript.
 
[10:25] [[TaraAthan|Tara Athan]]: Gary: "The social aspects of location are related to its roles"
2. Housekeeping
[10:25] [[AlexShkotin|Alex Shkotin]]: 3D Geometry should be enough for location.
 
[10:26] Bruce Schuman: Regarding physical boundary, what is the role of "latitude and longitude", which seem to offer a scientific/mathematical ground for boundaries in the physical
Any changes / updates?
[10:35] [[ToddSchneider|Todd Schneider]]: Have to go. Great talk! Space is the place.
 
[10:37] Bruce Schuman: thanks for the comments on "lon" and "lat" :)
 
[10:40] [[MichaelGruninger|Michael Grüninger]]: Atomless Boolean Algebras, Chapter 16 in "Introduction to Boolean Algebras", Steven Givant and Paul Halmos
3. Other Ideas
[10:42] [[TerryLongstreth|Terry Longstreth]]: I like keeping things abstract, but I couldn't help thinking that most of the interesting problems I've worked on were in 3 or 4 space. As Todd said in his closing "space is the place". I'd like to have discussions of containment, congruence, and disjointness in 3 or 4 space.
 
[10:43] [[TerryLongstreth|Terry Longstreth]]: Can't unmute, locally. just wanted to read my comment
Progress on 'Stack Overflow' type of resource
[10:44] [[TaraAthan|Tara Athan]]: Just saw this link http://dl.acm.org/citation.cfm?id=1227171&preflayout=tabs which suggests that uncountable models of RCC are "standard".
 
[10:45] [[User:TorstenHahmann|Torsten Hahmann]]: Halmos theorem states: "any two countable, atomless Boolean algebras with more than one element are isomorphic"
Use of the Blog
[10:47] Bruce Schuman: thanks!
 
More general ideas for information resource on applied ontology and Semantic Web principles
 
4. AOB
 
5. Next Meeting
 
[15:11] [[MikeBennett|Mike Bennett]]: Timings - we originally said 6 weeks, added 2 weeks to account for Christmas and New Year, so the current times (2 months) reflect the addition of the 2 weeks.
 
[15:11] [[MikeBennett|Mike Bennett]]: Consensus: seems to be plenty of time with what we have. We could it with less.
 
[15:11] [[MikeBennett|Mike Bennett]]: Feb 15 notification as per the draft.
 
[15:12] [[MikeBennett|Mike Bennett]]: Ken: it's typical to postpone the deadline for submission. If we do that, e.g. submission deadline at the end of the year.
 
[15:12] [[MikeBennett|Mike Bennett]]: That would bring us back to 6 weeks.
 
[15:12] [[MikeBennett|Mike Bennett]]: So we are covered either way.
 
[15:12] [[MikeBennett|Mike Bennett]]: It's a wrap!
 
[15:13] [[MikeBennett|Mike Bennett]]: Publicizing the CfP
 
[15:14] [[MikeBennett|Mike Bennett]]: There is an established distribution list for the Ontology Summit, which would be appropriate to use.
 
[15:14] [[MikeBennett|Mike Bennett]]: Some of these are monitored so we would have to explicitly join;
 
[15:14] [[MikeBennett|Mike Bennett]]: some are moderated as well.
 
[15:14] [[MikeBennett|Mike Bennett]]: Leo will forward this list of lists.
 
[15:15] [[MikeBennett|Mike Bennett]]: Leo has already joined some of them (the ones that need you to join) so Leo can publicize to the closed lists.
 
[15:15] [[MikeBennett|Mike Bennett]]: Leo will identify which ones these are;
 
[15:15] anonymous morphed into [[ToddSchneider|Todd Schneider]]
 
[15:16] [[MikeBennett|Mike Bennett]]: Individuals:
 
[15:16] [[MikeBennett|Mike Bennett]]: We should have a list somewhere of Ontology Summit 2014 participants. Can notify them.
 
[15:17] [[MikeBennett|Mike Bennett]]: Can then follow up directly with people who presented stuff, as a one on one after sending the CfP out.
 
[15:17] [[MikeBennett|Mike Bennett]]: For those whose emails we don't have, we could request these via the Track co-champions.
 
[15:17] [[MikeBennett|Mike Bennett]]: Could the Track co-champions contact the speakers from their tracks.
 
[15:18] [[MikeBennett|Mike Bennett]]: First we need to ask those co-champions if they are able to do that.
 
[15:18] [[MikeBennett|Mike Bennett]]: Then we pick up any that are not able to be done by the co-champions.
 
[15:18] [[MikeBennett|Mike Bennett]]: Ken will take care of his track.
 
[15:19] [[MikeBennett|Mike Bennett]]: Mike will take care of his track. May liaise with co-champion.
 
[15:21] [[MikeBennett|Mike Bennett]]: The AO paper has a list of the co-champions
 
[15:21] [[MikeBennett|Mike Bennett]]: so does the Summit page
 
 
[15:22] [[LeoObrst|Leo Obrst]]:
 
Leo Obrst a,, Michael Gruninger b, Ken Baclawski c, Mike Bennett d, Dan Brickleye, Gary Berg-Cross f, Pascal Hitzler g, Krzysztof Janowicz h, Christine Kapp i, Oliver Kutzj, Christoph Lange k, Anatoly Levenchuk l, Francesca Quattri m, Alan Rector n, Todd Schneider o, Simon Spero p, Anne Thessen q, Marcela Vegetti r, Amanda Vizedom s, Andrea Westerinen t, Matthew West u and Peter Yim
 
a The MITRE Corporation, McLean, VA, USA
 
b University of Toronto, Toronto, Canada
 
c Northeastern University, Boston, MA, USA
 
d Hypercube Ltd., London, UK
 
e Google, London, UK
 
f Knowledge Strategies, Washington, DC, USA
 
g Wright State University, Dayton, OH, USA
 
h University of California, Santa Barbara, Santa Barbara, CA, USA
 
i JustIntegration, Inc., Kissimmee, FL, USA
 
j Otto von Guericke University Magdeburg, Magdeburg, Germany
 
k University of Bonn, Bonn, Germany; Fraunhofer IAIS, Sankt Augustin, Germany
 
l TechInvestLab.ru, Moscow, Russia
 
m The Hong Kong Polytechnic University, Hong Kong
 
n University of Manchester, Manchester, UK
 
o PDS, Inc., Arvada, CO, USA
 
p University of North Carolina, Chapel Hill, NC, USA
 
q Arizona State University, Phoenix, AZ, USA
 
r INGAR (CONICET/UTN), Santa Fe, Argentina
 
s Criticollab, LLC, Durham, NC, USA
 
t Nine Points Solutions, LLC, Potomac, MD, USA
 
u Information Junction, Fareham, UK
 
v CIM Engineering, Inc., San Mateo, CA, USA
 
 
[15:23] [[ToddSchneider|Todd Schneider]]:
 
Summit General Co-chairs ... Professor [[MichaelGruninger|Michael Grüninger]] & Dr. Leo Obrst 
 
Symposium Co-chairs ... Dr. [[RamSriram|Ram D. Sriram]] & Professor Tim Finin 
 
Track A - Common Reusable Semantic Content - Co-Champions: Mike Bennett, Andrea Westerinen, Gary Berg Cross 
 
Track B - Making use of Ontologies: Tools, Services, and Techniques - Co-Champions: Christoph Lange, Alan Rector 
 
Track C - Overcoming Ontology Engineering Bottlenecks - Co-Champions: Krzysztof Janowicz, Pascal Hitzler, Matthew West, 
 
Track D - Tackling the Variety Problem in Big Data - Co-champions: Ken Baclawski, Anne Thessen 
 
Track E - Hackathon (and related activities) - Co-champions: Dan Brickley, Anatoly Levenchuk , (Ken Baclawski -adv) 
 
Track F - Communique and Publications -Lead-Editors: Michael Gruninger & [[LeoObrst|Leo Obrst]] - Co-champions: Todd Schneider, Francesca Quattri 
 
Track G - Community Resources (Library, Data Collection, Ontology Repository, etc.)- Co-champions: (Amanda Vizedom), Oliver Kutz 
 
Outreach (includes Sponsor Relations & Website Development) - Co-champions: Amanda Vizedom (outreach and sponsor relations), Marcela Vegetti (website), Simon Spero (psmw-site),(Matthew West - adv) 
 
Program management (includes operations, logistics, production)- Co-champions: Peter Yim, Christi Kapp
 
 
[15:25] [[MikeBennett|Mike Bennett]]: Do we need to draft a generic email to the track co-champions? Or the personal touch? OR just send out one to them?
 
[15:25] [[MikeBennett|Mike Bennett]]: Follow-ups can be one on one by the named individuals.
 
[15:26] [[MikeBennett|Mike Bennett]]: This is after emailing the participants in the summit as a whole with just the CfP.
 
[15:27] [[MikeBennett|Mike Bennett]]: Use the same email that we have as the Call for Papers and add a more personal note at the beginning, asking that they provide emails for the participants in their track.
 
[15:27] [[MikeBennett|Mike Bennett]]: Then we can contact the participants ourselves so we are on top of it.
 
[15:28] [[MikeBennett|Mike Bennett]]: Action: MB will draft this.
 
 
[15:28] [[MikeBennett|Mike Bennett]]: Social media?
 
[15:28] [[MikeBennett|Mike Bennett]]: Google +
 
[15:28] [[MikeBennett|Mike Bennett]]: Twitter?
 
[15:28] [[MikeBennett|Mike Bennett]]: Does IAOA maintain social media accounts? e.g. a twitter account?
 
[15:29] [[MikeBennett|Mike Bennett]]: Who is responsible for the IAOA Twitter account?
 
[15:29] [[MikeBennett|Mike Bennett]]: There is also a site specifically for Calls for Papers
 
[15:29] [[MikeBennett|Mike Bennett]]: wikicfp
 
[15:29] [[MikeBennett|Mike Bennett]]: Action: post the CfP to that.
 
 
[15:30] [[LeoObrst|Leo Obrst]]: My list of distribution lists (combined):
 
[with atpersand occluded for robot-proofing]
 
'semantic-web at w3.org'
 
'ifla-l at infoserv.inist.fr'
 
'diglib at infoserv.inist.fr'
 
'public-semnews at w3.org'
 
'SEMANTICWEB at yahoogroups.com'
 
'public-egov-ig w3.org'
 
'public-esw-thes at w3.org'
 
'public-lod at w3.org'
 
'dl at dl.kr.org'
 
'IRList at lists.shef.ac.uk'
 
'dbworld at cs.wisc.edu'
 
PlanetKR at kr.org
 
obo-discuss at lists.sourceforge.net
 
public-semweb-lifesci at w3.org
 
AI-SGES JISCMAIL.AC.UK
KMgov kmgov at list.jpl.nasa.gov
 
iaoa-general at ontolog.cim3.net
 
[ontolog-invitation] ontolog-invitation at ontolog.cim3.net
 
Ontology Summit 2014 ontology-summit at ontolog.cim3.net
 
'[ontolog-forum] ' ontolog-forum at ontolog.cim3.net
 
protege-user at lists.stanford.edu
 
iaoa-member at ontolog.cim3.net
 
iaoa-general at ontolog.cim3.net
 
[15:31] [[MikeBennett|Mike Bennett]]: Ken will do the wikicfp posting
 
[15:33] [[MikeBennett|Mike Bennett]]: Linked data, semantic web etc. - are there other lists?
 
[15:33] [[MikeBennett|Mike Bennett]]: Also we should think about the IoT community - is it worth reaching out to them as well?
 
[15:33] [[MikeBennett|Mike Bennett]]: There may be more linked data and big data lists not reflected here.
 
[15:34] [[MikeBennett|Mike Bennett]]: WE can each look for other lists to add to the list above, which will be persisted in the proceedings from this meeting.
 
[15:35] [[MikeBennett|Mike Bennett]]: Yes, we should also approach the newer IoT lists given they are also addressing semantic representation.
 
[15:36] [[MikeBennett|Mike Bennett]]: What about approaching other organizations we are involved with e.g. EDM Council (MB to try this).
 
[15:36] [[MikeBennett|Mike Bennett]]: Also Ontolog BoT
 
[15:37] [[MikeBennett|Mike Bennett]]: NSF? Could Frank or someone there be a channel for onward distribution?
 
[15:37] [[MikeBennett|Mike Bennett]]: Also NIST
 
[15:37] [[MikeBennett|Mike Bennett]]: NIST lead of the Big Data group there.
 
[15:38] [[MikeBennett|Mike Bennett]]: Leo will dig up the new person at NIST who could be our gatekeeper there. focused both on Big Data and semantic technologies.
 
[15:38] [[MikeBennett|Mike Bennett]]: European research council?
 
[15:38] [[MikeBennett|Mike Bennett]]: MB to follow up via European contat, for anyone who might be a gatekeeper there.
 
[15:38] [[MikeBennett|Mike Bennett]]: SmartData - Tony Shaw.
 
[15:39] [[MikeBennett|Mike Bennett]]: MB can liaise with him.
 
[15:40] [[MikeBennett|Mike Bennett]]: Distribute notices at SmartData itself as well.
 
[15:43] [[MikeBennett|Mike Bennett]]: If it gets really big there may be the potential for a book (per earlier conversations about this SIG).
 
[15:43] [[MikeBennett|Mike Bennett]]: Need to avoid conflicts of interest in reviewing stuff.
 
[15:44] [[MikeBennett|Mike Bennett]]: Add tot he note that goes to the OS track co-champions, that we will be looking to them as reviewers also (if they are willing).
 
[15:44] [[MikeBennett|Mike Bennett]]: Easychair
 
[15:45] [[MikeBennett|Mike Bennett]]: How do we set up the EasyChair link?
 
[15:45] [[MikeBennett|Mike Bennett]]: AO uses the IOSPRess structure. Should we be using that, and how would we set it up / where and when is there a link?
 
[15:47] [[MikeBennett|Mike Bennett]]: The papers for the 10th anniversary are coming in through the AO infrastructure. These are marked in terms of which issue they are for.
 
[15:48] [[MikeBennett|Mike Bennett]]: "Please submit via [the link] and mark them 'SWAO Special Edition'"
 
[15:48] [[MikeBennett|Mike Bennett]]: ^^ text to add to the CfP, we think.
 
 
[15:48] [[MikeBennett|Mike Bennett]]: See email to the 10th anniversary Special Issue.
 
[15:49] [[MikeBennett|Mike Bennett]]: We will have to replicate that.
 
[15:49] [[MikeBennett|Mike Bennett]]: (22 April email from Nicola).
 
[15:49] [[ToddSchneider|Todd Schneider]]: From Nicola's 22 April 2015 e-mail: Submission instructions [for 10th anniversary edition]
 
Authors are requested to submit their articles electronically following the instructions published at www.applied-ontology.org, clearly specifying in the accompanying letter that their paper is to be considered for the anniversary issue, as well as the category to which it belongs (a, b, c, or d). The maximum length for papers in categories a-b-c is 35 pages (double-spaced), while the maximum length for position papers is 10 pages (double-spaced).
 
[15:49] [[MikeBennett|Mike Bennett]]: So, there must be a way to segregate this from other submissions.
 
[15:50] [[MikeBennett|Mike Bennett]]: The segregation is identified in the text of the email above.
 
[15:50] [[MikeBennett|Mike Bennett]]: However, that edition is using the same structure as AO in general, whereas we are not them.
 
[15:51] [[MikeBennett|Mike Bennett]]: This would not come to the Guest Editors for SWAO special issue.
 
[15:51] [[MikeBennett|Mike Bennett]]: Also guest reviewers - would we use the same AO structure?
 
[15:51] [[MikeBennett|Mike Bennett]]: This is a question for Nicola and Mark.
 
[15:52] [[MikeBennett|Mike Bennett]]: Action: Mail them and ask. Also cc Isabella.
 
 
[15:52] [[ToddSchneider|Todd Schneider]]: Following the URL from Nicola's e-mail leads to a page with the following URL: Call for Papers for 10th anniversary Special Issue: http://www.iossubmissions.com/applied-ontology/10thAnniversary
 
[15:52] [[MikeBennett|Mike Bennett]]: ^^ this also implies that we would have needed a separate page with its own URL if we were doing that.
 
[15:53] [[MikeBennett|Mike Bennett]]: We need a URL but it probably won't be on the AO structure. Ours would be in the IAOA/SWAO structure.
 
[15:53] [[MikeBennett|Mike Bennett]]: First, when we query Mark and Nicola whether we should seek to have a page on AO like that, or if we use our own SWAO structure to hold the info.
 
[15:54] [[MikeBennett|Mike Bennett]]: Either way we should have the CfP on the SWAO site
 
[15:54] [[MikeBennett|Mike Bennett]]: Action - ask Naicong Li to implement that.
 
[15:56] [[MikeBennett|Mike Bennett]]: Anything else we haven't thought of?
 
[15:56] [[MikeBennett|Mike Bennett]]: Timeline...
 
[15:56] [[MikeBennett|Mike Bennett]]: If we are using our own special reviewers, we need to have everything set up in advance.
 
 
[15:56] [[MikeBennett|Mike Bennett]]: Next step: we can't send out the CpF until we have the URL.
 
[15:58] [[MikeBennett|Mike Bennett]]: If there would be delays in AO infrastructure (if they require that,) then would it be an issue if we were to set up EasyChair?
 
[15:58] [[MikeBennett|Mike Bennett]]: THat will be built into the questions we ask them: how long would that take to establish if it is needed?
 
[15:59] [[MikeBennett|Mike Bennett]]: Also as if there is any problem with us using EasyChair as an alternative.
 
[15:59] [[MikeBennett|Mike Bennett]]: Potential Submitters would be asked to the AO format requirements.
 
[15:59] [[MikeBennett|Mike Bennett]]: (that's covered in the foot of the CfP)
 
[15:59] [[MikeBennett|Mike Bennett]]: Would be good to have something that goes on to the Applied Ontology page either way.
 
 
== Previous Meetings ==
{{#ask: [[Category:IAOA_SWAO]] [[Category:Icom_conf_Conference]] [[has date::<<{{#show:{{PAGENAME}}|?has date}}]]
 
|?|mainlabel=-|sort=has date |order=desc| format=ul| limit=3}}
 
[[Category:IAOA_SWAO| ]]
[[Category:Icom_conf_Conference| ]]
[[Category:Occurrence| ]]

Latest revision as of 07:49, 9 January 2016

File:Vespucci page.jpg
Vespucci Institutes 2015 Meeting

Program for Follow Up Discussion of Topics from the Vespucci Institutes 2015 Meeting

Organized by Gary Berg-Cross (Spatial Ontology Community of Practice)

Prepared presentation material (slides ) Torsten's [slides] from the first session. Second session [slides] have been provided by Michael Gruninger.

Additional Resources See [Vespucci Institutes 2015 Programme,] Use the link below to get to recording of the meeting: https://meetings.webex.com/collabs/url/2yL-CXr45iGkEUYbNCYcWSSZhtiK0VBDPw0CvXV0Xjy00000

Prior discussion of spatial topics on the Ontolog Forum include: Spatial Extent of Abstract Entities? See http://ontolog.cim3.net/forum/ontolog-forum/2013-05/msg00263.html for a portion of the thread.


The Vespucci Institutes 2015 [Programme] this June at Bar Harbor, Maine

included several topics of likely interest to the SOCoP and Ontolog communities.

  • Week one focused on "Spatial Ontologies for e-Science"

Location often acts as an integrator in science, bringing together perspectives across multiple disciplines and scales. For example, health scientists increasingly focus on where patients spend their time, pulling a large variety of environmental and social data into their analyses. With big data and e-science, this trend has accelerated and gets increasingly supported through knowledge infrastructures and associated ontologies. Yet, it is often unclear how knowledge about location and other spatial properties should best be captured, and there is only a very limited choice of spatial ontologies. This Vespucci Institute will ask why this is so and why there seems to have been so little progress over the past decade. It will push the frontiers on spatial ontologies for e-science... (See http://vespucci.org/images/vespucci/2015/WEEK1_program_2015v2.pd for some specific topics covered)

In the first session in this series (July 8, 2015) [Torsten Hahmann] (University of Maine)

 presented a summary talk on Week 1 of Vespucci Summer Institute Spatial Ontologies in E-Science

In this 2nd session (Aug. 20th, , [Mike Gruninger] (University of Toronto) provides a follow up talk [slides] called:

The 'Thing about Location Is ...

Abstract Several ontologies for location have been proposed in the literature, and all rely on the distinction between some kind of physical object and the abstract region at which it is located. This talk will explore some possible ways of axiomatizing classes of physical geographical entities based on extensions of the location ontologies. Outline of talk:

  • Review of Location Ontologies
  • Abstract vs physical regions
  • Do different classes of objects require different location ontologies?
  • Reasoning about change and location

See bottom of page for Chat from the session.

Identified Participants

  1. Alex Shkotin
  2. Bruce Schuman
  3. Dalia Varanka
  4. Deborah L. Nichols
  5. Gary Berg-Cross
  6. Judith Gelernter
  7. Michael Grüninger
  8. Nancy Wiegand
  9. Patrick Maroney
  10. Steve Ray
  11. Tara Athan
  12. Terry Longstreth
  13. Todd Schneider
  14. Torsten Hahmann
  15. Kathleen E Stewart (via skype) others may have been on Skype only.

Conference Call Details

  • Date: Thursday, 20-Aug-2015
  • Start Time: 9:30am PDT / 12:30pm EDT / 6:30pm CEST / 5:30pm BST / 1630 UTC

Call Duration: ~1.5 hours Dial-in: Phone (US): +1 (425) 440-5100 ... (long distance cost may apply) ... [ backup nbr: (315) 401-3279 ] when prompted enter Conference ID: 843758# Skype: join.conference (i.e. make a skype call to the contact with skypeID="join.conference") ... (generally free-of-charge, when connecting from your computer ... ) when prompted enter Conference ID: 843758#

Chat transcript from room

ontolog_20150820 2015-08-20 GMT-08:00 [09:29] anonymous morphed into Tara Athan [09:30] anonymous morphed into Gary Berg-Cross [09:32] anonymous morphed into Judith Gelernter [09:37] anonymous morphed into Deborah L. Nichols [09:40] Gary Berg-Cross: It might help to mute yourself locally on the Skype call. [09:41] Nancy Wiegand: Slide 3 should say 'location' versus 'place', shouldn't it? [09:43] Gary Berg-Cross: Barry Smith has a range of papers on Mereotopology http://ontology.buffalo.edu/smith/articles/mereotopology.htm [09:46] Michael Grüninger: https://github.com/gruninger/colore/tree/master/ontologies/location_varzi [09:53] Tara Athan: From Varzi's functional relation and the reflexive axiom (that every region is located at itself), I conclude that everything that has a location is a region. Am I missing something? [09:55] Torsten Hahmann: It only says everything HAS a location and every region IS the location of itself. It doesn't mean everything IS a region. [09:57] Tara Athan: Oh, wait - I see what I was misinterpreting. The functional relation says everything has at most one location, not that if two things are located at the same place, then they are the same thing. So it is okay for two different things to be located at the same region. [09:59] Gary Berg-Cross: I think that the posted slides are one behind what Mike is talking about. So we see 15 when he says 16. [10:01] Torsten Hahmann: @Tara: correct. [10:06] Todd Schneider: Michael, shouldn't "Dierent classes of physical objects dene substructures of mereotopologies" suggest rather that the classes of physical objects haven't be defined well? [10:10] Nancy Wiegand: Slide 20 has to do with 'boundaries', as per one of Kathleen Stewart's grad students. [10:11] Tara Athan: I don't see why RCC has a unique countable model. I can see a unique *minimal* model as the closure of a finite set of explicit regions. [10:13] Todd Schneider: Michael, so there's an assumption that the presence of a physical object in a 'space' does not affect on nor modify the 'space' in which its located? [10:16] anonymous morphed into brs [10:17] brs morphed into Bruce Schuman [10:21] Alex Shkotin: Abstract space should be connected with reference system, imho [10:25] Deborah L. Nichols1: Unfortunately, I'll need to drop off now for another meeting. I'll get the rest from the recording or transcript. [10:25] Tara Athan: Gary: "The social aspects of location are related to its roles" [10:25] Alex Shkotin: 3D Geometry should be enough for location. [10:26] Bruce Schuman: Regarding physical boundary, what is the role of "latitude and longitude", which seem to offer a scientific/mathematical ground for boundaries in the physical [10:35] Todd Schneider: Have to go. Great talk! Space is the place. [10:37] Bruce Schuman: thanks for the comments on "lon" and "lat" :) [10:40] Michael Grüninger: Atomless Boolean Algebras, Chapter 16 in "Introduction to Boolean Algebras", Steven Givant and Paul Halmos [10:42] Terry Longstreth: I like keeping things abstract, but I couldn't help thinking that most of the interesting problems I've worked on were in 3 or 4 space. As Todd said in his closing "space is the place". I'd like to have discussions of containment, congruence, and disjointness in 3 or 4 space. [10:43] Terry Longstreth: Can't unmute, locally. just wanted to read my comment [10:44] Tara Athan: Just saw this link http://dl.acm.org/citation.cfm?id=1227171&preflayout=tabs which suggests that uncountable models of RCC are "standard". [10:45] Torsten Hahmann: Halmos theorem states: "any two countable, atomless Boolean algebras with more than one element are isomorphic" [10:47] Bruce Schuman: thanks!