An Ontology for Submarine Feature Representation on Charts

A landform is a subjective individuation of a part of a terrain. Landform recognition is a difficult task because its definition usually relies on a qualitative and fuzzy description. Achieving automatic recognition of landforms requires a formal definition of the landforms properties and their modelling. In the maritime domain, the International Hydrographic Organisation published a standard terminology of undersea feature names which formalises a set of definition mainly for naming and communication purpose. This terminology is here used as a starting point for the definition of an ontology of undersea features and their automatic classification from a terrain model. First, an ontology of undersea features is built. The ontology is composed of an application domain ontology describing the main properties and relationships between features and a representation ontology deals with representation on a chart where features are portrayed by soundings and isobaths. A database model was generated from the ontology. Geometrical properties describing the feature shape are computed from soundings and isobaths and are used for feature classification. An example of automatic classification on a nautical chart is presented and results and on-going research are discussed

Handling uncertainty in information extraction

This position paper proposes an interactive approach for developing information extractors based on the ontology definition process with knowledge about possible (in)correctness of annotations. We discuss the problem of managing and manipulating probabilistic dependencies

Guidelines for writing definitions in ontologies

Ontologies are being used increasingly to promote the reusability of scientific information by allowing heterogeneous data to be integrated under a common, normalized representation. Definitions play a central role in the use of ontologies both by humans and by computers. Textual definitions allow ontologists and data curators to understand the intended meaning of ontology terms and to use these terms in a consistent fashion across contexts. Logical definitions allow machines to check the integrity of ontologies and reason over data annotated with ontology terms to make inferences that promote knowledge discovery. Therefore, it is important not only to include in ontologies multiple types of definitions in both formal and in natural languages, but also to ensure that these definitions meet good quality standards so they are useful. While tools such as Protégé can assist in creating well-formed logical definitions, producing good definitions in a natural language is still to a large extent a matter of human ingenuity supported at best by just a small number of general principles. For lack of more precise guidelines, definition authors are often left to their own personal devices. This paper aims to fill this gap by providing the ontology community with a set of principles and conventions to assist in definition writing, editing, and validation, by drawing on existing definition writing principles and guidelines in lexicography, terminology, and logic

Paradoxes and Primitive Ontology in Collapse Theories of Quantum Mechanics

Collapse theories are versions of quantum mechanics according to which the collapse of the wave function is a real physical process. They propose precise mathematical laws to govern this process and to replace the vague conventional prescription that a collapse occurs whenever an "observer" makes a "measurement." The "primitive ontology" of a theory (more or less what Bell called the "local beables") are the variables in the theory that represent matter in space-time. There is no consensus about whether collapse theories need to introduce a primitive ontology as part of their definition. I make some remarks on this question and point out that certain paradoxes about collapse theories are absent if a primitive ontology is introduced.Comment: 21 pages LaTeX, no figures; v2 major extension and revisio