4 Search Results for "Grüninger, Michael"

Document
DOI: 10.4230/LIPIcs.TIME.2017.16
The Time Ontology of Allen's Interval Algebra

Authors: Michael Grüninger and Zhuojun Li

Published in: LIPIcs, Volume 90, 24th International Symposium on Temporal Representation and Reasoning (TIME 2017)

Abstract
Allen's interval algebra is a set of thirteen jointly exhaustive and pairwise disjoint binary relations representing temporal relationships between pairs of timeintervals. Despite widespread use, there is still the question of which time ontology actually underlies Allen's algebra. Early work specified a first-order ontology that can interpret Allen's interval algebra; in this paper, we identify the first-order ontology that is logically synonymous with Allen's interval algebra, so that there is a one-to-one correspondence between models of the ontology and solutions to temporal constraints that are specified using the temporal relations. We further prove a representation theorem for the ontology, thus characterizing its models up to isomorphism.
Cite as

Michael Grüninger and Zhuojun Li. The Time Ontology of Allen's Interval Algebra. In 24th International Symposium on Temporal Representation and Reasoning (TIME 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 90, pp. 16:1-16:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{gruninger_et_al:LIPIcs.TIME.2017.16,
  author =	{Gr\"{u}ninger, Michael and Li, Zhuojun},
  title =	{{The Time Ontology of Allen's Interval Algebra}},
  booktitle =	{24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
  pages =	{16:1--16:16},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-052-1},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{90},
  editor =	{Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.16},
  URN =		{urn:nbn:de:0030-drops-79271},
  doi =		{10.4230/LIPIcs.TIME.2017.16},
  annote =	{Keywords: time ontology, intervals, composition table, first-order logic, synonymy}
}
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/DagSemProc.04391.3
Architectures for Semantic Integration

Authors: Michael Uschold and Michael Grüninger

Published in: Dagstuhl Seminar Proceedings, Volume 4391, Semantic Interoperability and Integration (2005)

Abstract
no abstract
Cite as

Michael Uschold and Michael Grüninger. Architectures for Semantic Integration. In Semantic Interoperability and Integration. Dagstuhl Seminar Proceedings, Volume 4391, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)

Copy BibTex To Clipboard

@InProceedings{uschold_et_al:DagSemProc.04391.3,
  author =	{Uschold, Michael and Gr\"{u}ninger, Michael},
  title =	{{Architectures for Semantic Integration}},
  booktitle =	{Semantic Interoperability and Integration},
  pages =	{1--5},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4391},
  editor =	{Y. Kalfoglou and M. Schorlemmer and A. Sheth and S. Staab and M. Uschold},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04391.3},
  URN =		{urn:nbn:de:0030-drops-513},
  doi =		{10.4230/DagSemProc.04391.3},
  annote =	{Keywords: no keywords}
}
Document
DOI: 10.4230/DagSemProc.04391.11
Model-theoretic Approaches to Semantic Integration (Extended Abstract)

Authors: Michael Grüninger

Published in: Dagstuhl Seminar Proceedings, Volume 4391, Semantic Interoperability and Integration (2005)

Abstract
no abstract
Cite as

Michael Grüninger. Model-theoretic Approaches to Semantic Integration (Extended Abstract). In Semantic Interoperability and Integration. Dagstuhl Seminar Proceedings, Volume 4391, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)

Copy BibTex To Clipboard

@InProceedings{gruninger:DagSemProc.04391.11,
  author =	{Gr\"{u}ninger, Michael},
  title =	{{Model-theoretic Approaches to Semantic Integration (Extended Abstract)}},
  booktitle =	{Semantic Interoperability and Integration},
  pages =	{1--9},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4391},
  editor =	{Y. Kalfoglou and M. Schorlemmer and A. Sheth and S. Staab and M. Uschold},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04391.11},
  URN =		{urn:nbn:de:0030-drops-392},
  doi =		{10.4230/DagSemProc.04391.11},
  annote =	{Keywords: model-theory , semantic integration}
}
  • Refine by Author
  • 4 Grüninger, Michael
  • 1 Aameri, Bahar
  • 1 Li, Zhuojun
  • 1 Uschold, Michael

  • Refine by Classification

  • Refine by Keyword
  • 1 RCC8
  • 1 composition table
  • 1 first-order logic
  • 1 intervals
  • 1 mereotopology
  • Show More...

  • Refine by Type
  • 4 document

  • Refine by Publication Year
  • 2 2005
  • 2 2017

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