In the last few years, we have analyzed the best alternatives for acquiring and processing visual knowledge with the goal of supporting problem solving. We call visual knowledge the set of mental models that support the process of reasoning over information that comes from the spatial arrangement and visual aspects of entities. Also, visual knowledge is implicit, meaning that it is difficult to...

The paper presents our intermediate results in ontologizing a refined formal representation of environments, events, and happenings elaborated in PSI project. Our formal approach is based on the first order logic and is inspired by Discrete Event Calculus (DEC). In difference to DEC based on discrete linear time representation, it uses fuzzy time intervals [7]. Our framework also refines classi...

In the last few years, we have analyzed the best alternatives for acquiring and processing visual knowledge with the goal of supporting problem solving. We call visual knowledge the set of mental models that support the process of reasoning over information that comes from the spatial arrangement and visual aspects of entities. Also, visual knowledge is implicit, meaning that it is difficult to...

This paper aims to provide rigor to the process relations in the OBO relations ontology. We present a formal axiomatization of these relations in first order logic as a definitional extension of the Process Specification Language (PSL) Ontology. In particular, we formalize the process parthood, process specialization, process instantiation and instance level parthood relations of OBO. We also p...

To offer a large variety of products while maintaining low costs, high speed, and high quality in a mass customization product development environment, platform based product development has much benefit and usefulness in many industry fields. This paper proposes a product configuration strategy by similarity measure, incorporating the knowledge engineering principles such as product informatio...

Motivation: Annotated reference corpora such as the GENIA corpus play an important role in biomedical information extraction. A semantic annotation of the natural language texts in these reference corpora using formal ontologies and logic is challenging due to the ambiguous use of natural language and natural language semantics. Providing formal definitions and axioms for these relations would ...

The need for evaluation-methodologies emerged very early in the field of ontology development and reuse and it has grown steadily. Yet, no comprehensive and global approach to this problem has been proposed to date. This situation may become a serious obstacle for the success of ontology-based Knowledge Technology, especially in the industrial and commercial sectors. In this paper we look at ex...

The need for integrating geospatial information (GI) data from various heterogeneous sources has seen increased importance for geographic information system (GIS) interoperability. Using domain ontologies to clarify and integrate the semantics of data is considered as a crucial step for successful semantic integration in the GI domain. Nevertheless, mechanisms are still needed to facilitate sem...

This paper presents the outline of a formal ontology of contexts. More specifically, it deals with the ontology of ecological contexts (niches, habitats, environments, ambients) and of the relations between organisms, niches, and the spatial regions they occupy. The first part sets out the basic conceptual background. The second part outlines a semi-formal theory which builds upon notions and p...