Set approximation of ontologies and properties

Abstract

Ontology is considered as a kind of agreement on a domain representation. It is very essential in achieving semantics information processing as well as information sharing between agents or systems processing same or related data. Despite the importance of ontologies in information system, several ontological operations remain without formal definition as well as a formal description on how they should be achieved or proved. In this paper, the concept of soft set initiated by Molodtsov is used to define Description logics ontologies and to formalize its basic operations. We show that, by approximating ontologies using soft set, basic ontological operations and their properties are preserved and can be formally defined as well as proved algebraically as sets operations.

Keywords: Ontologies, Description Logics, Soft set, ontology Algebra