27 Search Results for "Fogliaroni, Paolo"

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.2018.3
Intersections of Our World

Authors: Paolo Fogliaroni, Dominik Bucher, Nikola Jankovic, and Ioannis Giannopoulos

Published in: LIPIcs, Volume 114, 10th International Conference on Geographic Information Science (GIScience 2018)

Abstract
There are several situations where the type of a street intersections can become very important, especially in the case of navigation studies. The types of intersections affect the route complexity and this has to be accounted for, e.g., already during the experimental design phase of a navigation study. In this work we introduce a formal definition for intersection types and present a framework that allows for extracting information about the intersections of our planet. We present a case study that demonstrates the importance and necessity of being able to extract this information.
Cite as

Paolo Fogliaroni, Dominik Bucher, Nikola Jankovic, and Ioannis Giannopoulos. Intersections of Our World. In 10th International Conference on Geographic Information Science (GIScience 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 114, pp. 3:1-3:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@InProceedings{fogliaroni_et_al:LIPIcs.GISCIENCE.2018.3,
  author =	{Fogliaroni, Paolo and Bucher, Dominik and Jankovic, Nikola and Giannopoulos, Ioannis},
  title =	{{Intersections of Our World}},
  booktitle =	{10th International Conference on Geographic Information Science (GIScience 2018)},
  pages =	{3:1--3:15},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-083-5},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{114},
  editor =	{Winter, Stephan and Griffin, Amy and Sester, Monika},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.GISCIENCE.2018.3},
  URN =		{urn:nbn:de:0030-drops-93310},
  doi =		{10.4230/LIPIcs.GISCIENCE.2018.3},
  annote =	{Keywords: intersection types, navigation, experimental design}
}
Document
Short Paper
DOI: 10.4230/LIPIcs.GISCIENCE.2018.26
Unfolding Urban Structures: Towards Route Prediction and Automated City Modeling (Short Paper)

Authors: Paolo Fogliaroni, Marvin Mc Cutchan, Gerhard Navratil, and Ioannis Giannopoulos

Published in: LIPIcs, Volume 114, 10th International Conference on Geographic Information Science (GIScience 2018)

Abstract
This paper extends previous work concerning intersection classification by including a new set of statistics that enable to describe the structure of a city at a higher level of detail. Namely, we suggest to analyze sequences of intersections of different types. We start with sequences of length two and present a probabilistic model to derive statistics for longer sequences. We validate the results by comparing them with real frequencies. Finally, we discuss how this work can contribute to the generation of virtual cities as well as to spatial configuration search.
Cite as

Paolo Fogliaroni, Marvin Mc Cutchan, Gerhard Navratil, and Ioannis Giannopoulos. Unfolding Urban Structures: Towards Route Prediction and Automated City Modeling (Short Paper). In 10th International Conference on Geographic Information Science (GIScience 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 114, pp. 26:1-26:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@InProceedings{fogliaroni_et_al:LIPIcs.GISCIENCE.2018.26,
  author =	{Fogliaroni, Paolo and Mc Cutchan, Marvin and Navratil, Gerhard and Giannopoulos, Ioannis},
  title =	{{Unfolding Urban Structures: Towards Route Prediction and Automated City Modeling}},
  booktitle =	{10th International Conference on Geographic Information Science (GIScience 2018)},
  pages =	{26:1--26:6},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-083-5},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{114},
  editor =	{Winter, Stephan and Griffin, Amy and Sester, Monika},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.GISCIENCE.2018.26},
  URN =		{urn:nbn:de:0030-drops-93548},
  doi =		{10.4230/LIPIcs.GISCIENCE.2018.26},
  annote =	{Keywords: intersection types, spatial structure, spatial modeling, graph theory}
}
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}
}
Document
DOI: 10.4230/LIPIcs.COSIT.2017.10
How Subdimensions of Salience Influence Each Other. Comparing Models Based on Empirical Data

Authors: Markus Kattenbeck

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

Abstract
Theories about salience of landmarks in GIScience have been evolving for about 15 years. This paper empirically analyses hypotheses about the way different subdimensions (visual, structural, and cognitive aspects, as well as prototypicality and visibility in advance) of salience have an impact on each other. The analysis is based on empirical data acquired by means of an in-situ survey (360 objects, 112 participants). It consists of two parts: First, a theory-based structural model is assessed using variance-based Structural Equation Modeling. The results achieved are, second, corroborated by a data-driven approach, i.e. a tree-augmented naive Bayesian network is learned. This network is used as a structural model input for further analyses. The results clearly indicate that the subdimensions of salience influence each other.
Cite as

Markus Kattenbeck. How Subdimensions of Salience Influence Each Other. Comparing Models Based on Empirical Data. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 10:1-10:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{kattenbeck:LIPIcs.COSIT.2017.10,
  author =	{Kattenbeck, Markus},
  title =	{{How Subdimensions of Salience Influence Each Other. Comparing Models Based on Empirical Data}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{10:1--10: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.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.10},
  URN =		{urn:nbn:de:0030-drops-77543},
  doi =		{10.4230/LIPIcs.COSIT.2017.10},
  annote =	{Keywords: Salience models, consistent PLS-SEM Analysis, Bayesian Networks}
}
  • Refine by Author
  • 4 Fogliaroni, Paolo
  • 3 Giannopoulos, Ioannis
  • 2 Ballatore, Andrea
  • 2 Clementini, Eliseo
  • 2 Donnelly, Maureen
  • Show More...

  • Refine by Classification
  • 2 Information systems → Data analytics
  • 2 Information systems → Geographic information systems
  • 1 Information systems → Probabilistic retrieval models

  • Refine by Keyword
  • 2 Ontology
  • 2 Vagueness
  • 2 intersection types
  • 2 navigation
  • 2 spatial reasoning
  • Show More...

  • Refine by Type
  • 26 document
  • 1 volume

  • Refine by Publication Year
  • 25 2017
  • 2 2018

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