A logical model for the ontology alignment repair game

Ontologies are computational artifacts that model consensual aspects of reality. In distributed contexts, applications often need to utilize information from several distinct ontologies. In order to integrate multiple ontologies, entities modeled in each ontology must be matched through an ontology alignment. However, imperfect alignments may introduce inconsistencies. One kind of inconsistency, which is often introduced, is the violation of the conservativity principle, that states that the alignment should not introduce new subsumption relations between entities from the same source ontology. We propose a two-step quadratic-time algorithm for automatically correcting such violations, and evaluate it against datasets from the Ontology Alignment Evaluation Initiative 2019, comparing the results to a state-of-the-art approach. The proposed algorithm was significantly faster and less aggressive; that is, it performed fewer modifications over the original alignment when compared to the state-of-the-art algorithm.

Download Full-text

INSTANCE MIGRATION BETWEEN ONTOLOGIES HAVING STRUCTURAL DIFFERENCES

International Journal of Artificial Intelligence Tools ◽

10.1142/s0218213011000553 ◽

2011 ◽

Vol 20 (06) ◽

pp. 1127-1156 ◽

Cited By ~ 3

Author(s):

MAXIM DAVIDOVSKY ◽

VADIM ERMOLAYEV ◽

VYACHESLAV TOLOK

Keyword(s):

Knowledge Management ◽

Life Cycle ◽

Structural Changes ◽

Software Framework ◽

Ontology Alignment ◽

Transformation Rules ◽

Structural Differences ◽

Prototype Software ◽

Descriptive Theories ◽

Future Work

Ontology instance migration is one of the complex and not fully solved problems in knowledge management. A solution is required when the ontology schema evolves in the life cycle and the assertions have to be transferred to the newer version. The problem may become more complex in distributed settings when, for example, several autonomous software entities use and exchange partial assertional knowledge in a domain that is formalized by different though semantically overlapping descriptive theories. Such an exchange is essentially the migration of the assertional part of an ontology to other ontologies belonging to or used by different entities. The paper presents our method and tool for migrating instances between the ontologies that have structurally different but semantically overlapping schemas. The approach is based on the use of the manually coded transformation rules describing the changes between the input and the output ontologies. The tool is implemented as a plug-in for the ProjectNavigator prototype software framework. The article also reports the results of our three evaluation experiments. In these experiments we evaluated the degree of complexity in the structural changes to which our approach remains valid. We also chose the ontology sets in one of the experiments to make the results comparable with the ontology alignment software. Finally we checked how well our approach scales with the increase of the quantity of the migrated ontology instances to the numbers that are characteristic to industrial ontologies. In our opinion the evaluation results are satisfactory and suggest some directions for the future work.

Download Full-text

Tests of auditory–visual integration efficiency within the framework of the fuzzy logical model of perception

The Journal of the Acoustical Society of America ◽

10.1121/1.429611 ◽

2000 ◽

Vol 108 (2) ◽

pp. 784-789 ◽

Cited By ~ 23

Author(s):

Dominic W. Massaro ◽

Michael M. Cohen

Keyword(s):

Logical Model ◽

Visual Integration ◽

Fuzzy Logical Model ◽

Integration Efficiency ◽

Fuzzy Logical

Download Full-text

A mixed approach for automated spatial ontology alignment

Journal of Spatial Science ◽

10.1080/14498596.2010.521974 ◽

2010 ◽

Vol 55 (2) ◽

pp. 237-255 ◽

Cited By ~ 4

Author(s):

Reza Khatami ◽

Ali Asghar Alesheikh ◽

Majid Hamrah

Keyword(s):

Ontology Alignment ◽

Mixed Approach

Download Full-text

An Integer Linear Programming-Based Method for the Extraction of Ontology Alignment

International Journal of Information Technology and Web Engineering ◽

10.4018/ijitwe.2021040102 ◽

2021 ◽

Vol 16 (2) ◽

pp. 25-44

Author(s):

Naima El Ghandour ◽

Moussa Benaissa ◽

Yahia Lebbah

Keyword(s):

Linear Programming ◽

Semantic Web ◽

Integer Linear Programming ◽

New Method ◽

Ontology Matching ◽

Ontology Alignment ◽

Programming Techniques ◽

Data Heterogeneity ◽

Series Of Experiments

The Semantic Web uses ontologies to cope with the data heterogeneity problem. However, ontologies become themselves heterogeneous; this heterogeneity may occur at the syntactic, terminological, conceptual, and semantic levels. To solve this problem, alignments between entities of ontologies must be identified. This process is called ontology matching. In this paper, the authors propose a new method to extract alignment with multiple cardinalities using integer linear programming techniques. The authors conducted a series of experiments and compared them with currently used methods. The obtained results show the efficiency of the proposed method.

Download Full-text

Combining Document Classification and Ontology Alignment for Semantically Enriching Web Services

New Generation Computing ◽

10.1007/s00354-009-0094-8 ◽

2010 ◽

Vol 28 (4) ◽

pp. 371-403 ◽

Cited By ~ 3

Author(s):

Marco Crasso ◽

Alejandro Zunino ◽

Marcelo Campo

Keyword(s):

Web Services ◽

Document Classification ◽

Ontology Alignment

Download Full-text

A proposal for an evaluation model of pharmaceutical services for malaria

Cadernos de Saúde Pública ◽

10.1590/s0102-311x2009000900021 ◽

2009 ◽

Vol 25 (9) ◽

pp. 2075-2082 ◽

Cited By ~ 5

Author(s):

Claudia Garcia Serpa Osorio-de-Castro ◽

Gabriela Costa Chaves ◽

Adriana Mendoza Ruiz ◽

Elaine Silva Miranda ◽

Mônica Rodrigues Campos ◽

...

Keyword(s):

Public Health ◽

Early Diagnosis ◽

Health Problem ◽

Evaluation Model ◽

Public Health Problem ◽

Pharmaceutical Services ◽

Treatment Quality ◽

Logical Model ◽

Endemic Diseases ◽

Indicator Framework

Malaria is a serious public health problem in over 90 countries worldwide. In Brazil the disease is prevalent in the Amazon and the control rationale is based on early diagnosis and treatment. Quality pharmaceutical services are considered a key element for control. A proposal for evaluating pharmaceutical services for malaria is presented here. A theoretical outline composed of a logical model and an indicator framework is discussed and strives to establish a basis for assessment and judgment of the way in which these services are actually delivered. The aim is to contribute to the understanding of pharmaceutical services for malaria and other endemic diseases, complying with the directives of the Brazilian National Medicines Policy.

Download Full-text