We present a formal Arabic wordnet built on the basis of carefully designed ontology hereby referred to as Ontology. The provides representation concepts that terms convey, and its content was with ontological analysis in mind, benchmarked scientific advances rigorous knowledge sources much this is possible, rather than only speakers' beliefs lexicons typically are. A comprehensive evaluation c...

Research in ontology has in recent years become widespread in the field of information systems, in various areas of sciences, in business, in economy, and in industry. The importance of ontologies is increasingly recognized in fields diverse as in e-commerce, semantic web, enterprise, information integration, information science, qualitative modeling of physical systems, natural language proces...

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology will greatly benefit software application ontologies. To this end LinKBase®, L&C’s ontology, which is designed to integrate and reason across vari...

In order to integrate knowledge in heterogeneous case-based reasoning (CBR) systems, ontology-based CBR system has become a hot topic. To solve the facing problems of ontology-based CBR system, for example, its architecture is nonstandard, reusing knowledge in legacy CBR is deficient, ontology construction is difficult, etc, we propose a novel approach for semi-automatically construct ontology-...

It is widely believed that the whole economic system has exhibited an increasingly intertwined nature in the context of economic globalization and regional integration. With the increasing interactions among trading partners in a supply network, bankruptcy of a member firm may make others get into distressed situations. This kind of phenomena is called bankruptcy diffusion or bankruptcy contagi...

The goal of this paper is to raise some of the fundamental questions that underpin the development of formal ontologies, especially the ones that are used for systems interoperability. To realize this, the three authors independently collaborated on different aspects of this paper. In this way, questions naturally arose from the review of each others’ work. In essence, this paper represents the...

Many database resources, such as Reactome, collect manually annotated reactions, interactions, and pathways from peer-reviewed publications. The interactors (e.g., a protein), interactions, and pathways in these data resources are often represented as instances in using BioPAX, a standard pathway data exchange format. However, these interactions are better represented as classes (or universals)...

In the present paper we make some contributions to the theory of upper level ontologies. Every domain-speci c ontology must use as a framework some upper-level ontology which describes the most general, domain-independent categories of reality. It turns out that the top-level ontology of the well-known standard modelling languages KIF (Knowledge Interchange Format), F-logic (Frame-Logic), and C...

IMGT, the international ImMunoGeneTics information system (http://imgt.cines.fr), is the reference in immunogenetics and immunoinformatics. IMGT standardizes and manages the complex immunogenetic data which include the immunoglobulins (IG) or antibodies, the T cell receptors (TR), the major histocompatibility complex (MHC) and the related proteins of the immune system (RPI) which belong to the ...

Ontology mappings are often assigned a weight or confidence factor by matchers. Nonetheless, few semantic accounts have been given so far for such weights. This paper presents a formal semantics for weighted mappings between different ontologies. It is based on a classificational interpretation of mappings: if O1 and O2 are two ontologies used to classify a common set X , then mappings between ...