Description
Date depot: 1 janvier 1900
Titre: Couplage de l'analyse formelle de concepts avec les logiques de description
Directeur de thèse:
Jean-Gabriel GANASCIA (LIP6)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini
Resumé:
Il existe depuis quelques années des ponts entre les logiques de description d’un côté et l’analyse formelle de concepts d’un autre (voir bibliographie jointe). Partant d’un certain nombre d’exemples exprimés dans une ontologie, l’objectif de ces approches serait d’utiliser les techniques de découverte de règles d’association fondées sur l’analyse formelle de concepts pour engendrer automatiquement des axiomes terminologiques qui compléteraient cette ontologie. Bien évidemment, cette complétion des axiomes peut éventuellement se faire de façon interactive en cela qu'il serait possible de soumettre à l’utilisateur les règles apprises afin qu’il choisisse de lui-même les nouveaux axiomes terminologiques qu’il souhaite ajouter à son ontologie. Pour que ce projet puisse être mené à son terme, il convient de plonger les logiques de description dans le formalisme de l’analyse formelle de concepts, autrement dit de les représenter à l’aide de treillis, ce qui revient à imposer de fortes contraintes sur les logiques de descriptions considérées. C’est ce que plusieurs chercheurs ont commencé à faire depuis quelques années (voir bibliographie).
Le sujet de thèse porte sur le développement d'une formalisation particulière de l’analyse formelle de concepts à l’aide de différentes structures de treillis, par exemple de treillis de Brouwer. En effet, il a été montré que cette formalisation permet de prendre en considération des produits d’ensembles partiellement ordonnés qui correspondent, chacun, à un attribut ordonné. On peut donc décrire ces produits d’ensembles partiellement ordonnés comme des classe particulière de logiques de description, puisque plusieurs logiques de description se présentent comme des langages d’attributs.
Plus généralement, cette thèse explorera différentes structure de treillis afin de voir, pour chacune,
-# quelles sont les propriétés de l'analyse formelle de concepts
-# quelles logiques de description leur correspond et
-# comment compléter les axiomes terminologies de ces logiques à l'aide de l'analyse formelle de concepts.
L'objectif est quadruple:
-* déterminer les classes de logiques de description qui se formalisent avec des treillis
-* donner une sémantique algébrique claire à ces différentes classes
-* montrer comment l'induction de règles, par analyse formelle de concepts, s'applique à ces différents formalismes. On montrera en particulier les propriétés algorithmiques dans chaque cas.
-* construire un outil de complétion des axiomes terminologiques des ontologies à partir d'exemples
{{Références bibliographiques:}}
F. Baader, B. Ganter, U. Sattler, and B. Sertkaya. Completing description logic knowledge bases using formal concept analysis. LTCS Report 06-02, Theoretical Computer Science, TU Dresden, 2006. Available at http://lat.inf.tu-dresden.de/research/reports.html
P. Burmeister and R. Holzer.Treating incomplete knowledge in formal concept analysis. In Formal Concept Analysis, volume 3626 of LNCS. Springer, 2005.
J.-G. Ganascia. TDIS: An algebraic formalization.- International Joint Conference on Artificial Intelligence (IJCAI-93), Chambéry, France, 1993
B. Ganter and R. Wille. Formal Concept Analysis: Mathematical Foundations. Springer, 1999.
R. Wille. Restructuring lattice theory: An approach based on hierarchies of concepts. In Ordered Sets. Reidel, Dordrecht-Boston, 1982.
Shilov N.V. et Han S.-Y. , A Proposal of Description Logic on Concept Lattices (voir sur le web)
Rouane A.H., Huchard M., Napoli A., Valtchev P. A proposal for combining formal concept analysis and description logics for mining relational data. Lecture Notes in Artificial Intelligence, Vol. 4390, 2007, pp. 51-65.
Rudolph S. Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification. PhD Dissertation, Universitatsver-lag Karlsruhe, 2006.
Shilov N.V. Garanina N.O., Anureev I.S. Combining Two Formalism for Reasoning about Concepts. Manuscript. Has been accepted for presentation at 20th International Workshop on Description Logics (DL-2007), Brixen-Bressanone, Italy 8-10, June 2007.
Rudolph S. A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions, International Conference on Conceptual Structure, ICCS 2006
Doctorant.e: Bazin Alexandre