We describe OntoComP, a Protégé 4 plugin that supports ontology engineers in completing OWL ontologies. More precisely, OntoComP supports an ontology engineer in checking whether an ontology contains all the relevant information about the application domain, and in extending the ontology appropriately if this is not the case. It acquires complete knowledge about the application domain efficient...

In this paper we discuss various problems, associated to temporal phenomena. These problems include persistence and change, the integration of objects and processes, and truth-makers for temporal propositions We propose an approach which interprets persistence as a phenomenon emanating from the activity of the mind, and which, additionally, postulates that persistence, finally, rests on persona...

Ontology-based data access (OBDA) is a recent paradigm for accessing large data repositories through an ontology, that is a formal description of a domain of interest. In this work, we present the Mastro plug-in for the standard ontology editor Protégé, which allows users to create a full OBDA specification and pose SPARQL queries over the ontology language to extract data from the underlying d...

Military system is knowledge-rich system. Military knowledge development is a vital part of its engineering process, and also a difficult part. An ontology based military knowledge development methodology is proposed in this paper, and its idea, development process, and ontology built method discussed. Ontology based military knowledge development methodology can effectively increase knowledge ...

The paper analyses graph oriented method for ontology transformation into conceptual data model. A number of methods were proposed to develop conceptual data models, but only few deals with knowledge reuse. In this paper we present an approach for knowledge represented by ontology automatic transformation into conceptual data model. The graph transformation language is presented and adapted for...

The use of a top-level ontology, e.g. the Basic Formal Ontology (BFO), as a template for a domain ontology is considered a best practice. This saves design efforts and supports multi-disciplinary research. The Drug Discovery Investigations ontology (DDI) for automated drug discovery investigations followed the best practices and imported BFO. However not all BFO classes were used. Quality assur...

Ontology formal model and ontology checking recently are still under hot discussion. In this paper, an ontology concept model is constructed using Description Logics. Based on model, the issue on Consistency checking of the extended ontology model is studied with the conclusion that the four kinds of term checking, including term satisfiability checking, term subsumption checking, term equivale...

In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarchy of Kuipers and the Route Graph of Krieg-Brückner, Werner and others. The ontological framework is based on our current work on ontology specification, where we are investigating Masolo et al.’s Descriptive Ontology for Lingu...

It is apparent that the term ontology is used recently more and more in the context of GI Science (e.g., Frank 1997; Smith and Varzi 1997; Kemp and Vckovski 1998; Smith and Mark 1998; Bittner and Winter 1999; Rodriguez et al. 1999; Fonseca et al. 2000; Timpf 2001). Is ontology then a buzzword, or a real paradigm shift? What is in it? Can ontology, for example, be the key to interoperability (Vc...

Affective science conducts interdisciplinary research into the emotions and other affective phenomena. Currently, such research is hampered by the lack of common definitions of terms used to describe, categorise and report both individual emotional experiences and the results of scientific investigations of such experiences. High quality ontologies provide formal definitions for types of entiti...