Completing Terminological Axioms with Formal Concept Analysis

Description logic are a family of logic-based formalisms used to represent knowledge and  eason on it. That knowledge, under the form of concepts and relationships between them called terminological axioms, is usually manually entered and used to describe objects in a given domain. That operation being tiresome, we would like to automatically learn those relationships from the set of instances using datamining techniques. In this paper, we study association rules mining in the description logic EL. First, we characterize the set of all possible concepts in a given EL language. Second, we use those characteristics to develop an algorithm using formal concept analysis to mine the rules more efficiently.


Keywords : Description Logics, Implications, Ontologies


Return to Research