28 Search Results for "Kray, Christian"

Volume

LIPIcs, Volume 86

13th International Conference on Spatial Information Theory (COSIT 2017)

COSIT 2017, September 4-8, 2017, L'Aquila, Italy

Editors: Eliseo Clementini, Maureen Donnelly, May Yuan, Christian Kray, Paolo Fogliaroni, and Andrea Ballatore

Document
DOI: 10.4230/LIPIcs.GIScience.2023.6
Map Reproducibility in Geoscientific Publications: An Exploratory Study

Authors: Eftychia Koukouraki and Christian Kray

Published in: LIPIcs, Volume 277, 12th International Conference on Geographic Information Science (GIScience 2023)

Abstract
Reproducibility is a core element of the scientific method. In the Geosciences, the insights derived from geodata are frequently communicated through maps, and the computational methods to create these maps vary in their ease of reproduction. In this paper, we present the results from a study where we tried to reproduce the maps included in geoscientific publications. Following a systematic approach, we collected 27 candidate papers and in four cases, we were able to successfully reproduce the maps they contained. We report on the approach we applied, the issues we encountered and the insights we gained while attempting to reproduce the maps. In addition, we provide an initial set of criteria to assess the success of a map reproduction attempt. We also propose some guidelines for improving map reproducibility in geoscientific publications. Our work sheds a light on the current state of map reproducibility in geoscientific papers and can benefit researchers interested in publishing maps in a more reproducible way.
Cite as

Eftychia Koukouraki and Christian Kray. Map Reproducibility in Geoscientific Publications: An Exploratory Study. In 12th International Conference on Geographic Information Science (GIScience 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 277, pp. 6:1-6:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)

Copy BibTex To Clipboard

@InProceedings{koukouraki_et_al:LIPIcs.GIScience.2023.6,
  author =	{Koukouraki, Eftychia and Kray, Christian},
  title =	{{Map Reproducibility in Geoscientific Publications: An Exploratory Study}},
  booktitle =	{12th International Conference on Geographic Information Science (GIScience 2023)},
  pages =	{6:1--6:16},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-288-4},
  ISSN =	{1868-8969},
  year =	{2023},
  volume =	{277},
  editor =	{Beecham, Roger and Long, Jed A. and Smith, Dianna and Zhao, Qunshan and Wise, Sarah},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.GIScience.2023.6},
  URN =		{urn:nbn:de:0030-drops-189015},
  doi =		{10.4230/LIPIcs.GIScience.2023.6},
  annote =	{Keywords: Reproducible Research, Reproduction Assessment, Map Making, Cartography}
}
Document
DOI: 10.4230/LIPIcs.GIScience.2021.I.15
Enhancing Usability Evaluation of Web-Based Geographic Information Systems (WebGIS) with Visual Analytics

Authors: René Unrau and Christian Kray

Published in: LIPIcs, Volume 177, 11th International Conference on Geographic Information Science (GIScience 2021) - Part I (2020)

Abstract
Many websites nowadays incorporate geospatial data that users interact with, for example, to filter search results or compare alternatives. These web-based geographic information systems (WebGIS) pose new challenges for usability evaluations as both the interaction with classic interface elements and with map-based visualizations have to be analyzed to understand user behavior. This paper proposes a new scalable approach that applies visual analytics to logged interaction data with WebGIS, which facilitates the interactive exploration and analysis of user behavior. In order to evaluate our approach, we implemented it as a toolkit that can be easily integrated into existing WebGIS. We then deployed the toolkit in a user study (N=60) with a realistic WebGIS and analyzed users' interaction in a second study with usability experts (N=7). Our results indicate that the proposed approach is practically feasible, easy to integrate into existing systems, and facilitates insights into the usability of WebGIS.
Cite as

René Unrau and Christian Kray. Enhancing Usability Evaluation of Web-Based Geographic Information Systems (WebGIS) with Visual Analytics. In 11th International Conference on Geographic Information Science (GIScience 2021) - Part I. Leibniz International Proceedings in Informatics (LIPIcs), Volume 177, pp. 15:1-15:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)

Copy BibTex To Clipboard

@InProceedings{unrau_et_al:LIPIcs.GIScience.2021.I.15,
  author =	{Unrau, Ren\'{e} and Kray, Christian},
  title =	{{Enhancing Usability Evaluation of Web-Based Geographic Information Systems (WebGIS) with Visual Analytics}},
  booktitle =	{11th International Conference on Geographic Information Science (GIScience 2021) - Part I},
  pages =	{15:1--15:16},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-166-5},
  ISSN =	{1868-8969},
  year =	{2020},
  volume =	{177},
  editor =	{Janowicz, Krzysztof and Verstegen, Judith A.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.GIScience.2021.I.15},
  URN =		{urn:nbn:de:0030-drops-130509},
  doi =		{10.4230/LIPIcs.GIScience.2021.I.15},
  annote =	{Keywords: map interaction, usability evaluation, visual analytics}
}
Document
Vision Paper
DOI: 10.4230/LIPIcs.COSIT.2019.8
Reproducible Research in Geoinformatics: Concepts, Challenges and Benefits (Vision Paper)

Authors: Christian Kray, Edzer Pebesma, Markus Konkol, and Daniel Nüst

Published in: LIPIcs, Volume 142, 14th International Conference on Spatial Information Theory (COSIT 2019)

Abstract
Geoinformatics deals with spatial and temporal information and its analysis. Research in this field often follows established practices of first developing computational solutions for specific spatiotemporal problems and then publishing the results and insights in a (static) paper, e.g. as a PDF. Not every detail can be included in such a paper, and particularly, the complete set of computational steps are frequently left out. While this approach conveys key knowledge to other researchers it makes it difficult to effectively re-use and reproduce the reported results. In this vision paper, we propose an alternative approach to carry out and report research in Geoinformatics. It is based on (computational) reproducibility, promises to make re-use and reproduction more effective, and creates new opportunities for further research. We report on experiences with executable research compendia (ERCs) as alternatives to classic publications in Geoinformatics, and we discuss how ERCs combined with a supporting research infrastructure can transform how we do research in Geoinformatics. We point out which challenges this idea entails and what new research opportunities emerge, in particular for the COSIT community.
Cite as

Christian Kray, Edzer Pebesma, Markus Konkol, and Daniel Nüst. Reproducible Research in Geoinformatics: Concepts, Challenges and Benefits (Vision Paper). In 14th International Conference on Spatial Information Theory (COSIT 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 142, pp. 8:1-8:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)

Copy BibTex To Clipboard

@InProceedings{kray_et_al:LIPIcs.COSIT.2019.8,
  author =	{Kray, Christian and Pebesma, Edzer and Konkol, Markus and N\"{u}st, Daniel},
  title =	{{Reproducible Research in Geoinformatics: Concepts, Challenges and Benefits}},
  booktitle =	{14th International Conference on Spatial Information Theory (COSIT 2019)},
  pages =	{8:1--8:13},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-115-3},
  ISSN =	{1868-8969},
  year =	{2019},
  volume =	{142},
  editor =	{Timpf, Sabine and Schlieder, Christoph and Kattenbeck, Markus and Ludwig, Bernd and Stewart, Kathleen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2019.8},
  URN =		{urn:nbn:de:0030-drops-111008},
  doi =		{10.4230/LIPIcs.COSIT.2019.8},
  annote =	{Keywords: vision paper, Geoinformatics, reproducibility, computational, spatial and temporal information, spatial data science, GI Science}
}
Document
Complete Volume
DOI: 10.4230/LIPIcs.COSIT.2017
LIPIcs, Volume 86, COSIT'17, Complete Volume

Authors: Eliseo Clementini, Maureen Donnelly, May Yuan, Christian Kray, Paolo Fogliaroni, and Andrea Ballatore

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
LIPIcs, Volume 86, COSIT'17, Complete Volume
Cite as

13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@Proceedings{clementini_et_al:LIPIcs.COSIT.2017,
  title =	{{LIPIcs, Volume 86, COSIT'17, Complete Volume}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017},
  URN =		{urn:nbn:de:0030-drops-79080},
  doi =		{10.4230/LIPIcs.COSIT.2017},
  annote =	{Keywords: Conference Proceedings, Applications and Expert Systems, Knowledge Representation Formalisms and Methods, Physical Sciences and Engineering}
}
Document
Front Matter
DOI: 10.4230/LIPIcs.COSIT.2017.0
Front Matter, Table of Contents, Preface, Organization, List of Authors

Authors: Eliseo Clementini, Maureen Donnelly, May Yuan, Christian Kray, Paolo Fogliaroni, and Andrea Ballatore

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
Front Matter, Table of Contents, Preface, Organization, List of Authors
Cite as

13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 0:i-0:xiv, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{clementini_et_al:LIPIcs.COSIT.2017.0,
  author =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  title =	{{Front Matter, Table of Contents, Preface, Organization, List of Authors}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{0:i--0:xiv},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.0},
  URN =		{urn:nbn:de:0030-drops-77464},
  doi =		{10.4230/LIPIcs.COSIT.2017.0},
  annote =	{Keywords: Front Matter, Table of Contents, Preface, Organization, List of Authors}
}
Document
DOI: 10.4230/LIPIcs.COSIT.2017.1
The Logic of Discrete Qualitative Relations

Authors: Giulia Sindoni and John G. Stell

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
We consider a modal logic based on mathematical morphology which allows the expression of mereotopological relations between subgraphs in the setting of the discrete space. A specific form of topological closure for graphs can be expressed in the logic, as a combination of the negation and its bi-intuitionistic dual, as well as a modality, using the stable relation Q, which describes the incidence structure of the graph. By working in this context we have been able to define qualitative spatial relations between discrete regions, and to compare them with earlier works in mereotopology, both in the discrete and in the continuous space.
Cite as

Giulia Sindoni and John G. Stell. The Logic of Discrete Qualitative Relations. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 1:1-1:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{sindoni_et_al:LIPIcs.COSIT.2017.1,
  author =	{Sindoni, Giulia and Stell, John G.},
  title =	{{The Logic of Discrete Qualitative Relations}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{1:1--1:15},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.1},
  URN =		{urn:nbn:de:0030-drops-77651},
  doi =		{10.4230/LIPIcs.COSIT.2017.1},
  annote =	{Keywords: modal logic, qualitative spatial reasoning, discrete space}
}
Document
DOI: 10.4230/LIPIcs.COSIT.2017.2
A New Perspective on the Mereotopology of RCC8

Authors: Michael Grüninger and Bahar Aameri

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
RCC8 is a set of eight jointly exhaustive and pairwise disjoint binary relations representing mereotopological relationships between ordered pairs of individuals. Although the RCC8 relations were originally presented as defined relations of Region Connection Calculus (RCC), virtually all implementations use the RCC8 Composition Table (CT) rather than the axioms of RCC. This raises the question of which mereotopology actually underlies the RCC8 composition table. In this paper, we characterize the algebraic and mereotopological properties of the RCC8 CT based on the metalogical relationship between the first-order theory that captures the RCC8 CT and Ground Mereotopology (MT) of Casati and Varzi. In particular, we show that the RCC8 theory and MT are relatively interpretable in each other. We further show that a nonconservative extension of the RCC8 theory that captures the intended interpretation of the RCC8 relations is logically synonymous with MT, and that a conservative extension of MT is logically synonymous with the RCC8 theory. We also present a characterization of models of MT up to isomorphism, and explain how such a characterization provides insights for understanding models of the RCC8 theory.
Cite as

Michael Grüninger and Bahar Aameri. A New Perspective on the Mereotopology of RCC8. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 2:1-2:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{gruninger_et_al:LIPIcs.COSIT.2017.2,
  author =	{Gr\"{u}ninger, Michael and Aameri, Bahar},
  title =	{{A New Perspective on the Mereotopology of RCC8}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{2:1--2:13},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.2},
  URN =		{urn:nbn:de:0030-drops-77571},
  doi =		{10.4230/LIPIcs.COSIT.2017.2},
  annote =	{Keywords: RCC8, mereotopology, spatial reasoning, ontologies}
}
Document
DOI: 10.4230/LIPIcs.COSIT.2017.3
A Qualitative Spatial Descriptor of Group-Robot Interactions

Authors: Zoe Falomir and Cecilio Angulo

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
The problem of finding a suitable qualitative representation for robots to reason about activity spaces where they carry out tasks such as leading or interacting with a group of people is tackled in this paper. For that, a Qualitative Spatial model for Group Robot Interaction (QS-GRI) is proposed to define Kendon’s F-formations [Kendon, 2010] depending on: (i) the relative location of the robot with respect to other individuals involved in that interaction; (ii) the individuals’ orientation; (iii) the shared peri-personal distance; and (iv) the role of the individuals (observer, main character or interactive). An iconic representation is provided and Kendon’s formations are defined logically. The conceptual neighborhood of the evolution of Kendon formations is studied, that is, how one formation is transformed into another. These transformations can depend on the role that the robot have, and on the amount of people involved.
Cite as

Zoe Falomir and Cecilio Angulo. A Qualitative Spatial Descriptor of Group-Robot Interactions. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 3:1-3:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{falomir_et_al:LIPIcs.COSIT.2017.3,
  author =	{Falomir, Zoe and Angulo, Cecilio},
  title =	{{A Qualitative Spatial Descriptor of Group-Robot Interactions}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{3:1--3:14},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.3},
  URN =		{urn:nbn:de:0030-drops-77628},
  doi =		{10.4230/LIPIcs.COSIT.2017.3},
  annote =	{Keywords: qualitative modeling, spatial reasoning, location, distance, orientation, cognitive robotics, human-robot interaction, group-robot interaction, logics}
}
Document
DOI: 10.4230/LIPIcs.COSIT.2017.4
An Efficient Representation of General Qualitative Spatial Information Using Bintrees

Authors: Leif Harald Karlsen and Martin Giese

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
In this paper we extend previous work on using bintrees as an efficient representation for qualitative information about spatial objects. Our approach represents each spatial object as a bintree satisfying the exact same qualitative relationships to other bintree representations as the corresponding spatial objects. We prove that such correct bintrees always exists and that they can be constructed as a sum of local representations, allowing a practically efficient construction. Our representation is both efficient, w.r.t. storage space and query time, and can represent many well-known qualitative relations, such as the relations in the Region Connection Calculus and Allen's Interval Algebra.
Cite as

Leif Harald Karlsen and Martin Giese. An Efficient Representation of General Qualitative Spatial Information Using Bintrees. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 4:1-4:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{karlsen_et_al:LIPIcs.COSIT.2017.4,
  author =	{Karlsen, Leif Harald and Giese, Martin},
  title =	{{An Efficient Representation of General Qualitative Spatial Information Using Bintrees}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{4:1--4:15},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.4},
  URN =		{urn:nbn:de:0030-drops-77503},
  doi =		{10.4230/LIPIcs.COSIT.2017.4},
  annote =	{Keywords: Qualitative spatial data, Bintree, Data structure}
}
Document
DOI: 10.4230/LIPIcs.COSIT.2017.5
Towards a Quantum Theory of Geographic Fields

Authors: Thomas Bittner

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
This paper proposes a framework that that allows for the possibility that multiple classically incompatible states are expressed simultaneously at a given point of a geographic field. The admission of such superposition states provides the basis for a new understanding of indeterminacy and ontological vagueness in the geographic world.
Cite as

Thomas Bittner. Towards a Quantum Theory of Geographic Fields. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 5:1-5:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{bittner:LIPIcs.COSIT.2017.5,
  author =	{Bittner, Thomas},
  title =	{{Towards a Quantum Theory of Geographic Fields}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{5:1--5:14},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.5},
  URN =		{urn:nbn:de:0030-drops-77667},
  doi =		{10.4230/LIPIcs.COSIT.2017.5},
  annote =	{Keywords: Vagueness, Quantum Geography, Ontology, Ecoregion classification}
}
Document
DOI: 10.4230/LIPIcs.COSIT.2017.6
Urban Artefacts and Their Social Roles: Towards an Ontology of Social Practices

Authors: Alessia Calafiore, Guido Boella, Stefano Borgo, and Nicola Guarino

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
Cities can be seen as systems of urban artefacts interacting with human activities. Since cities in this sense need to be organized and coordinated, convergences and divergences between the "planned" and the "lived" city have always been of paramount interest in urban planning. The increasing amount of geo big data and the growing impact of Internet of Things (IoT) in contemporary smart city is pushing toward a re-conceptualization of urban systems taking into consideration the complexity of human behaviors. This work contributes to this view by proposing an ontological analysis of urban artefacts and their roles, focusing in particular on the difference between social roles and functional roles through the prism of social practices.
Cite as

Alessia Calafiore, Guido Boella, Stefano Borgo, and Nicola Guarino. Urban Artefacts and Their Social Roles: Towards an Ontology of Social Practices. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 6:1-6:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{calafiore_et_al:LIPIcs.COSIT.2017.6,
  author =	{Calafiore, Alessia and Boella, Guido and Borgo, Stefano and Guarino, Nicola},
  title =	{{Urban Artefacts and Their Social Roles: Towards an Ontology of Social Practices}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{6:1--6:13},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.6},
  URN =		{urn:nbn:de:0030-drops-77642},
  doi =		{10.4230/LIPIcs.COSIT.2017.6},
  annote =	{Keywords: urban artefact, ontology, social practice, urban planning}
}
Document
DOI: 10.4230/LIPIcs.COSIT.2017.7
An Ontological Framework for Characterizing Hydrological Flow Processes

Authors: Shirly Stephen and Torsten Hahmann

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
The spatio-temporal processes that describe hydrologic flow - the movement of water above and below the surface of the Earth -- are currently underrepresented in formal semantic representations of the water domain. This paper analyses basic flow processes in the hydrology domain and systematically studies the hydrogeological entities, such as different rock and water bodies, the ground surface or subsurface zones, that participate in them. It identifies the source and goal entities and the transported water (the theme) as common participants in hydrologic flow and constructs a taxonomy of different flow patterns based on differences in source and goal participants. The taxonomy and related concepts are axiomatized in first-order logic as refinements of DOLCE's participation relation and reusing hydrogeological concepts from the Hydro Foundational Ontology (HyFO). The formalization further enhances HyFO and contributes to improved knowledge integration in the hydrology domain.
Cite as

Shirly Stephen and Torsten Hahmann. An Ontological Framework for Characterizing Hydrological Flow Processes. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 7:1-7:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{stephen_et_al:LIPIcs.COSIT.2017.7,
  author =	{Stephen, Shirly and Hahmann, Torsten},
  title =	{{An Ontological Framework for Characterizing Hydrological Flow Processes}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{7:1--7:14},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.7},
  URN =		{urn:nbn:de:0030-drops-77639},
  doi =		{10.4230/LIPIcs.COSIT.2017.7},
  annote =	{Keywords: hydrology, flow processes, formal ontology, participation, semantic roles}
}
Document
DOI: 10.4230/LIPIcs.COSIT.2017.8
Classification, Individuation and Demarcation of Forests: Formalising the Multi-Faceted Semantics of Geographic Terms

Authors: Lucía Gómez Álvarez and Brandon Bennett

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
Many papers have considered the problem of how to define forest. However, as we shall illustrate, while most definitions capture some important aspects of what it means to be a forest, they almost invariably omit or are very vague regarding other aspects. In the current paper we address this issue, firstly by providing a definitional framework based on spatial and physical properties, within which one can make explicit the implicit variability of the natural language forest concept in terms of explicit parameters. Our framework explicitly differentiates between the functions of classification, individuation and demarcation that comprise the interpretation of predicative terms. Whereas ontologies have traditionally concentrated predominantly on classification, we argue that in many cases (especially in the case of geographic concepts) criteria for individuation (i.e. establishing how many distinct individual objects of a given type exist) and demarcation (establishing the boundary of an object) require separate attention, involve their own particular definitional issues and are affected by vagueness in different ways. We also describe a prototype Prolog system that illustrates how our framework can be implemented.
Cite as

Lucía Gómez Álvarez and Brandon Bennett. Classification, Individuation and Demarcation of Forests: Formalising the Multi-Faceted Semantics of Geographic Terms. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 8:1-8:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{gomezalvarez_et_al:LIPIcs.COSIT.2017.8,
  author =	{G\'{o}mez \'{A}lvarez, Luc{\'\i}a and Bennett, Brandon},
  title =	{{Classification, Individuation and Demarcation of Forests: Formalising the Multi-Faceted Semantics of Geographic Terms}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{8:1--8:15},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.8},
  URN =		{urn:nbn:de:0030-drops-77676},
  doi =		{10.4230/LIPIcs.COSIT.2017.8},
  annote =	{Keywords: Forest, Definition, Vagueness, Ontology, GIS}
}
Document
DOI: 10.4230/LIPIcs.COSIT.2017.9
Sense of Direction: One or Two Dimensions?

Authors: Clare Davies, Lucy Athersuch, and Nikki Amos

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
The Santa Barbara Sense of Direction scale (SBSOD) has been an invaluable research tool for over 15 years. Previous studies with non-US populations, despite supporting the scale's internal validity, suggested national differences in individual item responses and possibly the factor analytic structure, although translation differences were confounded with cultural and environmental factors. Using a pooled British sample (N=151) - avoiding linguistic translation, yet reflecting 'old world' environmental experience and strategies - this paper revisits the SBSOD's validity and structure. While largely supporting the scale's internal validity across cultures and spatial environments, findings from this population suggest at least a two-factor structure underlying the scores, with the first factor explaining less than half of its variance, supporting the oft-discussed division between survey- and route-oriented strategies. We conclude by proposing a more nuanced, efficiency-based theory of 'sense of direction'.
Cite as

Clare Davies, Lucy Athersuch, and Nikki Amos. Sense of Direction: One or Two Dimensions?. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 9:1-9:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{davies_et_al:LIPIcs.COSIT.2017.9,
  author =	{Davies, Clare and Athersuch, Lucy and Amos, Nikki},
  title =	{{Sense of Direction: One or Two Dimensions?}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{9:1--9:13},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.9},
  URN =		{urn:nbn:de:0030-drops-77590},
  doi =		{10.4230/LIPIcs.COSIT.2017.9},
  annote =	{Keywords: sense of direction, spatial ability, cognitive mapping}
}
  • Refine by Author
  • 5 Kray, Christian
  • 2 Ballatore, Andrea
  • 2 Clementini, Eliseo
  • 2 Donnelly, Maureen
  • 2 Fogliaroni, Paolo
  • Show More...

  • Refine by Classification
  • 1 Applied computing → Cartography
  • 1 Human-centered computing → Geographic visualization
  • 1 Human-centered computing → Usability testing
  • 1 Human-centered computing → User studies
  • 1 Information systems → Computing platforms
  • Show More...

  • Refine by Keyword
  • 2 Ontology
  • 2 Vagueness
  • 2 spatial reasoning
  • 2 wayfinding
  • 1 Agent-Based Model
  • Show More...

  • Refine by Type
  • 27 document
  • 1 volume

  • Refine by Publication Year
  • 25 2017
  • 1 2019
  • 1 2020
  • 1 2023

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact