The Connection between Concepts in Formal Concept Analysis and Concepts in a Dual Description Logic

(*) Corresponding author

DOI's assignment:
the author of the article can submit here a request for assignment of a DOI number to this resource!
Cost of the service: euros 10,00 (for a DOI)

Abstract

Formal concept analysis (FCA) and description logics (DLs) are two major formalisms around concepts. However, concepts in FCA and concepts in DLs are of different nature. The former are tuples/properties pairs in a given relation, the later are just subsets of domains in terminological interpretations. To represent the logical difference of tuples and attribute values in relations, a dual description logic (DDL) is introduced, in which constants are classified into two classes: tuple constants and value constants, and they are interpreted into two disjoint parts in domain, respectively. Given a model M for DDL, we can obtain a normal relation RM. This paper demonstrates how to connect FCA-concepts in RM and concepts in DDL. To do so, we introduce logical operations negation, disjunction and conjunction on values and on attribute-value pairs, and then build Φ-statements from attribute-value pairs inductively with these operations, and further define a kind of extended FCA-concepts, called Γ-concepts. Each Γ-concept consists of two parts: the extent (tuples the concept covers) and the intent (Φ-statements describing the concept), and there are the following results: the union of any number of extents is always an extent; the complement of an extent is always an extent. Consequently, we obtain two isomorphic lattices: one is LM=(Θ, ∪,∩,–), which is the lattice of subsets of Θ, and the other is concept lattice L(↑RM),  where Θ consists of the interpretations of DDL-concepts, and ↑RM is an extend relation from the normal relation RM.

Keywords

Formal Concept Analysis; Γ-Concepts; Dual Description Logics; Isomorphic Lattices

PDF

References

Ali Alifard, Bita Shadgar, and Alireza Osareh: An Experimental Observation-based Ontology Evolution Framework. International Review on Computers and Software, Vol.6, n.5, 827-833, 2011.

Baader F., Calvanese D., Nardi D., McGuinness D., and Patel-Schneider P., editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2003.

Baader F., Sertkaya B.: Applying Formal Concept Analysis to Description Logics, Lecture Notes in Computer Science, Vol. 2961, 593-594, 2004.

Baader F., Ganter B., Sertkaya B., and Sattler U.: Completing Description Logic Knowledge Bases using Formal Concept Analysis. In M. M. Veloso, editor, Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, 230-235, 2007.

Bazin A., Ganascia JG.: Completing Terminological Axioms with Formal Concept Analysis. 2012, ICFCA, 29-39, 2012.

Belohlavek R., Konecny J.: Scaling, Granulation, and Fuzzy Attributes in Formal Concept Analysis. FUZZ-IEEE2007, IEEE International Conference on Fuzzy Systems,1-6, 2007.

Borgwardt S., Peňaloza R.: Description Logics over Lattices with Multi-valued Ontologies. IJCAI'11, 768-773, 2011.

Ganter B., Wille R.: Formal Concept Analysis: Mathematical Foundations. Springer, 1999

Lei Y., Sui Y., Cao C.: Normalized-scale Relations and Their Concept Lattices in Relational Databases. Fundamenta Informaticae, Vol. 93, n. 4, 393-409, 2009.

Li F.Z.: A Dual Description Logic for the Relations in Databases. Key Engineering Materials. Vol. 474-476, 168-171, 2011.

Ma D., Sui Y.: Dual Description Logic for the Relations in Databases (In Chinese). Computer Science, Vol. 37, n.1, 36-41, 2010.

Ma Y., Sui Y., Cao C.: The correspondence between the concepts in description logics for contexts and formal concept analysis, Science China (Information Sciences), Vol. 55, n.5, 1106-1122, 2012.

Ma Y., Shen Y., et al.: The Description Logic for Relational Databases. IFIP Advances in Information and Communication Technology, Vol.340, 64-71, 2010.

Meštrović, A., Čubrilo, M.: Monolingual Dictionary Semantic Capturing using Concept Lattice. International Review on Computers and Software, Vol. 6, n.2, 173-184, 2011.

Rouane A.H., Huchard M., Napoli A., and Valtchev P.: A Proposal for Combining Formal Concept Analysis and Description Logics for Mining Relational Data. ICFCA 2007, Lecture Notes in Artificial Intelligence, Vol.4390, 51-65, 2007.

Rudolph S.: Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification. PhD thesis, Technische Universität Dresden, 2006.

Sassi M., Grissa Touzi A., Ounelli H.: A Multiple Aspect Data Model Design for Knowledge Discovery in Databases. International Review on Computers and Software, Vol. 3, n.2, 133-140, 2008.

Sertkaya B.: Formal Concept Analysis Methods for Description Logics. Ph.D. dissertation, Institute of Theoretical Computer Science, TU Dresden, Germany, 2007.

Shilov NV., Anureev I., and Garanina N.: Combining Two Formalism for Reasoning about Concepts, Proceedings of the 2007 International workshop on Description Logics, CEURWS, Italy, 2007.

Refbacks

• There are currently no refbacks.