• Corpus ID: 59710439

WonderWeb Deliverable D17. The WonderWeb Library of Foundational Ontologies and the DOLCE ontology

@inproceedings{Masolo2002WonderWebDD,
  title={WonderWeb Deliverable D17. The WonderWeb Library of Foundational Ontologies and the DOLCE ontology},
  author={Claudio Masolo and Stefano Borgo and Aldo Gangemi and Nicola Guarino and Alessandro Oltramari and Luc Schneider},
  year={2002}
}
entities The main characteristic of abstract entities is that they do not have spatial nor temporal qualities, and they are not qualities themselves. The only class of abstract entities we consider in the present version of DOLCE is that of quality regions (or simply regions). Quality spaces are special kinds of quality regions, being mereological sums of all the regions related to a certain quality type. The other examples of abstract entities reported in Figure 2 (sets and facts) are only… 

Figures and Tables from this paper

The Ontological Level: Revisiting 30 Years of Knowledge Representation

  • Nicola Guarino
  • Philosophy
    Conceptual Modeling: Foundations and Applications
  • 2009
It is argued that, despite the explosion of ontologies, many problems are still there, since there is no general agreement about having ontological distinctions built in the representation language, so that assumptions concerning the basic constructs of representation languages remain implicit in the mind of the knowledge engineer, and difficult to express and to share.

TOWARDS A GENERAL ONTOLOGYOF COMPUTER PROGRAMS

The basis of a Core Ontology of Programs and Software (COPS) is presented which integrates the field’s main concepts and takes into account the “dual nature” of computer programs, which can be considered as both syntactic entities and artefacts whose function is to enable computers to process information.

Foundations for service ontologies: aligning OWL-S to dolce

A contribution of this work is the Core Ontology of Services that tries to fill the epistemological gap between the foundational ontology and OWL-S and can be reused to align other Web Service description languages as well.

Integration of the DOLCE top-level ontology into the OntoSpec methodology

A new version of the OntoSpec methodology for ontology building is described, endowing it with a new resource, the DOLCE top-level ontology defined at the LOA (IST-CNR, Trento, Italy), to provide modellers with additional help in structuring application ontologies while maintaining independence vis-a-vis formal representation languages.

Classifying Processes and Basic Formal Ontology

This paper proposes a basis for further classifying processes in the Basic Formal Ontology, inspired by the aspectual characteristics of verbs such as homeomericity, cumulativity, telicity, atomicity, instantaneity and durativity and investigates the applicability of these characteristics to the top-level processes inThe Gene Ontology.

Towards a General Ontology of Computer Programs

The basis of a Core Ontology of Programs and Software (COPS) is presented which integrates the field’s main concepts and takes into account the “dual nature” of computer programs, which can be considered as both syntactic entities and artefacts whose function is to enable computers to process information.

FORMALIZATIONS OF FUNCTIONS WITHIN THE DOLCE ONTOLOGY

In this paper we give formalizations of two engineering concepts of technical functions and present in more general terms the project of supporting engineering functional reasoning by means of

Processus, événements et couplages temporels et causaux

  • G. Kassel
  • Philosophy, Computer Science
    Rev. d'Intelligence Artif.
  • 2017
An ontology of events assimilating them to objects of thought, i.e. locating them outside the physical world is proposed, to allow to account for temporal and causal couplings between events and physical processes, which characterize human activities, including social interactions.

Why functions are not special dispositions: an improved classification of realizables for top-level ontologies

It is argued that functions should not be taken as a subtype of dispositions but are disjoint siblings of Realizable, and a cross-classification of realizables with dispositions supervening on the physical structure of their bearer is suggested.
...

References

SHOWING 1-10 OF 28 REFERENCES

WonderWeb: Ontology Infrastructure for the Semantic Web

The project aims to develop the INFRASTRUCTURE required for the large-scale deployment of ontologies as the foundation for the Semantic Web, which will involve not only the establishment of Web standard ontology languages, but also the parallel development of ontological engineering technology.

Parts: A Study in Ontology

The relationship of part to whole is one of the most fundamental there is, yet until now there has been no full-length study of this concept. This book shows that mereology, the formal theory of part

A Formal Ontology of Properties

This paper shows how a formal ontology of unary properties can help using the subsumption relation in a disciplined way, based on some meta-properties built around the fundamental philosophical notions of identity, unity, essence, and dependence.

Identity and Subsumption

The intuitive simplicity of the so-called is-a (or subsumption) relationship has led to widespread ontological misuse. Where previous work has focused largely on the semantics of the relationship

Understanding top-level ontological distinctions

A set of primitive relations are presented that are believed to play a foundational role in the development of a useful top-level ontology and help to understand and clarify the nature of many common ontological distinctions.

Formal ontology, common sense and cognitive science

The present paper draws on recent work in the fields of naive and qualitative physics, in perceptual and developmental psychology, and in cognitive anthropology, in order to consider in a new light these and related questions and to draw conclusions for the methodology and philosophical foundations of the cognitive sciences.

The semantics of relationships : an interdisciplinary perspective

This chapter discusses relationships in knowledge representation and reasoning from Classical Mereology to Complex Part-Whole Relations, and compares Sets of Semantic Relations in Ontologies.

NON-SINGULAR REFERENCE : SOME PRELIMINARIES 1

One of the goals of a certain brand of philosopher has been to give an account of language and linguistic phenomena by means of showing how sentences are to be translated into a "logically

Non-singular reference: some preliminaries

The general problem is to determine what to allow as linguistic data when trying to account for certain words with non-singular reference, in particular, the words that are classified by the count/mass and sortal/non-sortal distinctions.

Knowledge representation: logical, philosophical, and computational foundations

  • J. Sowa
  • Computer Science
    Computational Linguistics
  • 2001
This chapter discusses knowledge representation, meaning, purpose, context, and agents in the context of ontology, as well as some examples of knowledge acquisition and sharing.