Abschlussarbeit

Masterarbeit: "Algorithms for Inconsistency Measures in Description Logic"

Ansprechperson:
Yehia Hatab
Status:
Themenangebot

Beschreibung:

Description Logics (DLs) are formal languages used to represent structured knowledge, forming the basis of ontology languages like OWL. They enable reasoning about concepts and relationships, supporting tasks such as consistency checking and classification in knowledge-based systems.

Inconsistency arises when a knowledge base contains conflicting information, making it logically unsatisfiable. In the context of Description Logics, inconsistencies can result from contradictory concept definitions, property restrictions, or assertions about individuals. Such conflicts can undermine reasoning tasks, leading to meaningless or unreliable inferences. Therefore, identifying and measuring inconsistency is important for ensuring the reliability and robustness of DL-based ontologies. Different work for inconsistency measurement in DL has been proposed [2, 1]

In this thesis, the goal is to design and evaluate current and new algorithms for computing and approximating inconsistency measures in DL-based ontologies like, ALC, DL-light [3], and others. This includes the formal analysis of established measures, exploration of their computational properties, and the development of efficient algorithmic solutions—such as SAT-based methods, heuristic search strategies. The work can emphasize theoretical analysis, or practical implementation and empirical evaluation using ontology benchmarks.

References

[1] Yue Ma and Pascal Hitzler. Distance-based measures of inconsistency and incoherency for description logics. Proceedings of the 23rd International Conference on Description Logics, pages 475–485, 2010.

[2] Yue Ma, Guilin Qi, Pascal Hitzler, and Zuoquan Lin. Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics, pages 30–41. Springer Berlin Heidelberg, 2007.

[3] Liping Zhou, Houkuan Huang, Guilin Qi, Yue Ma, Zhisheng Huang, and Youli Qu. Measuring inconsistency in dl-lite ontologies. The 2009 IEEE / WIC / ACM International Conferences on Web Intelligence (WI’09), pages pp.349–356, September 2009.

25.08.2025