Ontological Foundations of dolce

Borgo, Stefano; Masolo, Claudio

doi:10.1007/978-90-481-8847-5_13

Cited by 53 publications

(52 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…3 GFO adopts set theory, in contrast to other top-level ontologies such as the Basic Formal Ontology (BFO) (Grenon et al, 2004) and the Descriptive Ontology for Linguistic and Cognitive Engineering (DOLCE) (Borgo & Masolo, 2010), as the top-level ontology for mathematics that exhibits a part of the ontological region of abstract entities (Herre & Loebe, 2005). 4 Abstract objects as introduced by Zalta (1983) correspond to another example in the region of abstract entities in GFO.…”

Section: Principles Of the Onto-axiomatic Methodsmentioning

confidence: 99%

See 1 more Smart Citation

Axiomatic theories of the ontology of time in GFO

Baumann

Loebe

Herre³

2014

Applied Ontology

View full text Add to dashboard Cite

Time is a pervasive notion of high impact in information systems and computer science altogether. Respective understandings of the domain of time are fundamental for numerous areas, frequently in combination with closely related entities such as events, changes and processes. The conception and representation of time entities and reasoning about temporal data and knowledge are thus significant research areas. Each representation of temporal knowledge bears ontological commitments concerning time. Thus it is important to base temporal representations on a foundational ontology that covers general categories of time entities.In this article we introduce and discuss two consecutive ontologies of time that have been developed for the top-level ontology General Formal Ontology (GFO). The first covers intervals, named chronoids, and time boundaries of chronoids, as a kind of time points. One important specialty of time boundaries is their ability to coincide with other time boundaries. The second theory extends the first one by additionally addressing time regions, i.e., mereological sums of chronoids.Both ontologies are partially inspired by ideas of Franz Brentano, especially from his writings about the continuum. In particular, we view continuous time intervals as a genuine phenomenon which should not be identified with intervals (sets) of real numbers. On these grounds the resulting ontologies allow for proposing novel contributions to several problematic issues in temporal representation and reasoning, among others, the Dividing Instant Problem and the problem of persistence and change.Following our general approach to ontology development, both ontologies are axiomatized as formal theories in first-order logic and are analyzed metalogically. We prove the consistency of both ontologies, and completeness and decidability for one. Moreover, standard time theories with points and intervals are covered by both theories.

show abstract

Section: Principles Of the Onto-axiomatic Methodsmentioning

confidence: 99%

“…Due to spatial limitations, we restrict a closer look to DOLCE (Borgo & Masolo, 2010;Masolo et al, 2003, mainly Chapters 3 and 4), BFO (Spear, 2006) and PSL (Grüninger, 2004;ISO TC 184, 2004). 7 Time is included in DOLCE through the category temporal region, which is subsumed by the category abstract [entity].…”

Section: Time In Top-level Ontologiesmentioning

confidence: 99%

Axiomatic theories of the ontology of time in GFO

Baumann

Loebe

Herre³

2014

Applied Ontology

View full text Add to dashboard Cite

show abstract

“…E.g., Perdurant from Dolce [11] is subtype of Process. Furthermore, the derived RTs have the same subtype relations as the CTs they derive from.…”

Section: Deriving From Role Types or Process Typesmentioning

confidence: 99%

Categorizing or Generating Relation Types and Organizing Ontology Design Patterns

Martin

Bénard

2017

Annals of Computer Science and Information Systems

View full text Add to dashboard Cite

Abstract-This article proposes an ontology design pattern leading knowledge providers to represent knowledge in more normalized, precise and inter-related ways, hence in ways that help automatic matching and exploitation of knowledge from different sources. This pattern is also a knowledge sharing best practice that is domain and language independent. It can be used as a criteria for measuring the quality of an ontology. This pattern is: "using binary relation types directly derived from concept types, especially role types or process types". The article explains this pattern and relates it to other ones, thereby illustrating ways to organize such patterns. It also provides a top-level ontology for generating relation types from concept types, e.g., those from lexical ontologies such as those derived from the WordNet lexical database. This generation and categorization helps normalizing knowledge, reduces having to introduce new relation types and helps keeping all the types organized.

show abstract

“…We have recently started to investigate connecting the domain specific knowledge in our application domains to existing upper ontologies such as the CIDOC Conceptual Reference Model (CRM) ISO standard (Doerr, 2003) and Dolce (Borgo, 2010). While the application creation framework described here currently only exists as a very first prototype, the declarative content authoring approach based on linked data and mixed semantic-spatio-temporal querying abilities is very flexible and has already saved us large amounts of work in maintaining our different xR applications.…”

Section: Application Creation and Deployment Frameworkmentioning

confidence: 99%

A Framework for Low-Cost Multi-Platform Vr and Ar Site Experiences

Wallgrün

Huang

Zhao

et al. 2017

Int. Arch. Photogramm. Remote Sens. Spatial Inf. Sci.

View full text Add to dashboard Cite

ABSTRACT:Low-cost consumer-level immersive solutions have the potential to revolutionize education and research in many fields by providing virtual experiences of sites that are either inaccessible, too dangerous, or too expensive to visit, or by augmenting in-situ experiences using augmented and mixed reality methods. We present our approach for creating low-cost multi-platform virtual and augmented reality site experiences of real world places for education and research purposes, making extensive use of Structure-from-Motion methods as well as 360° photography and videography. We discuss several example projects, for the Mayan City of Cahal Pech, Iceland's Thrihnukar volcano, the Santa Marta informal settlement in Rio, and for the Penn State Campus, and we propose a framework for creating and maintaining such applications by combining declarative content specification methods with a central linked-data based spatio-temporal information system.

show abstract

Ontological Foundations of dolce

Cited by 53 publications

References 13 publications

Axiomatic theories of the ontology of time in GFO

Axiomatic theories of the ontology of time in GFO

Categorizing or Generating Relation Types and Organizing Ontology Design Patterns

A Framework for Low-Cost Multi-Platform Vr and Ar Site Experiences

Contact Info

Product

Resources

About