Upper ontology

About: Upper ontology is a research topic. Over the lifetime, 9767 publications have been published within this topic receiving 220721 citations. The topic is also known as: top-level ontology & foundation ontology.

DSSim-ontology mapping with uncertainty

Abstract: This paper introduces an ontology mapping system that is used with a multi agent ontology mapping framework in the context of question answering. Our mapping algorithm incorporates the Dempster Shafer theory of evidence into the mapping process in order to improve the correctness of the mapping. Our main objective was to assess how applying the belief function can improve correctness of the ontology mapping through combining the similarities which were originally created by both syntactic and semantic similarity algorithms. We carried out experiments with the data sets of the Ontology Alignment Evaluation Initiative 2006 which served as a test bed to assess both the strong and weak points of our system. The experiments confirm that our algorithm performs well with both concept and property names.

First order reasoning on a large ontology

Abstract: We present results of our work on using first order theorem proving to reason over a large ontology (the Suggested Upper Merged Ontology – SUMO), and methods for making SUMO suitable for first order theorem proving. We describe the methods for translating into standard first order format, as well as optimizations that are intended to improve inference performance. We also describe our work in translating SUMO from its native SUO-KIF language into TPTP format.

Applying Ontology Design Patterns in Bio-ontologies

Abstract: Biological knowledge has been, to date, coded by biologists in axiomatically lean bio-ontologies. To facilitate axiomatic enrichment, complex semantics can be encapsulated as Ontology Design Patterns (ODPs). These can be applied across an ontology to make the domain knowledge explicit and therefore available for computational inference. The same ODP is often required in many different parts of the same ontology and the manual construction of often complex ODP semantics is loaded with the possibility of slips, inconsistencies and other errors. To address this issue we present the Ontology PreProcessor Language (OPPL), an axiom-based language for selecting and transforming portions of OWL ontologies, offering a means for applying ODPs. Example ODPs for the common need to represent "modifiers" of independent entities are presented and one of them is used as a demonstration of how to use OPPL to apply it.

Towards a digital library theory: a formal digital library ontology

Abstract: Digital libraries (DLs) have eluded definitional consensus and lack agreement on common theories and frameworks. This makes comparison of DLs extremely difficult, promotes ad-hoc development, and impedes interoperability. In this paper we propose a formal ontology for DLs that defines the fundamental concepts, relationships, and axiomatic rules that govern the DL domain, therefore providing a frame of reference for the discussion of essential concepts of DL design and construction. The ontology is an axiomatic, formal treatment of DLs, which distinguishes it from other approaches that informally define a number of architectural variants. The process of construction of the ontology was guided by 5S, a formal framework for digital libraries. To test its expressibility we have used the ontology to create a taxonomy of DL services and to reason about issues of reusability, extensibility, and composability. Some practical applications of the ontology are also described including: the definition of a digital library services taxonomy, the proposal of a modeling language for digital libraries, and the specification of quality metrics to evaluate digital libraries. We also demonstrate how to use the ontology to formally describe DL architectures and to prove some properties about them, thus helping to further validate the ontology.

Pattern-based OWL ontology debugging guidelines

Abstract: Debugging inconsistent OWL ontologies is a tedious and time-consuming task where a combination of ontology engineers and domain experts is often required to understand whether the changes to be performed are actually dealing with formalisation errors or changing the intended meaning of the original knowledge model. Debugging services from existing ontology engineering tools and debugging strategies available in the literature aid in this task. However, in complex cases they are still far from providing adequate support to ontology developers, due to their lack of efficiency or precision when explaining the main causes for unsatisfiable classes, together with little support for proposing solutions for them. We claim that it is possible to provide additional support to ontology developers, based on the identification of common antipatterns and a debugging strategy, which can be combined with the use of existing tools in order to make this task more effective.