Axiomatizing Confident ELgfp-GCIs of Finite Interpretations

Constructing description logic ontologies is a difficult task that is normally conducted by experts. Recent results show that parts of ontologies can be constructed from description logic interpretations. However, these results assume the interpretations to be free of errors, which may not be the case for real-world data. To provide some mechanism to handle these errors, the notion of confidence from data mining is introduced into description logics, yielding confident general concept inclusions (confident GCIs) of finite interpretations. The main focus of this work is to prove the existence of finite bases of confident GCIs and to describe some of theses bases explicitly.

[1]  Sebastian Rudolph,et al.  Relational exploration: combining description logics and formal concept analysis for knowledge specification , 2006 .

[2]  Bernhard Ganter,et al.  Formal Concept Analysis: Mathematical Foundations , 1998 .

[3]  A. Tarski.  A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .

[4]  Kent A. Spackman,et al.  SNOMED RT: a reference terminology for health care , 1997, AMIA.

[5]  Felix Distel,et al.  Mining of EL-GCIs , 2011, 2011 IEEE 11th International Conference on Data Mining Workshops.

[6]  Gerd Stumme,et al.  Attribute Exploration with Background Implications and Exceptions , 1996 .

[7]  A L Rector,et al.  The GALEN project. , 1994, Computer methods and programs in biomedicine.

[8]  Das Amrita,et al.  Mining Association Rules between Sets of Items in Large Databases , 2013 .

[9]  Michael Luxenburger,et al.  Implications partielles dans un contexte , 1991 .

[10]  Felix Distel,et al.  Exploring Finite Models in the Description Logic ELgfp , 2009 .

[11]  Yves Bastide,et al.  Intelligent Structuring and Reducing of Association Rules with Formal Concept Analysis , 2001, KI/ÖGAI.

[12]  Bernhard Ganter,et al.  Completing Description Logic Knowledge Bases Using Formal Concept Analysis , 2007, IJCAI.

[13]  M. Ashburner,et al.  Gene Ontology: tool for the unification of biology , 2000, Nature Genetics.

[14]  Franz Baader,et al.  How Pervasive Is the Myerson-Satterthwaite Impossibility? , 2009, IJCAI.

[15]  Franz Baader,et al.  A Finite Basis for the Set of EL-Implications Holding in a Finite Model , 2008, ICFCA.

[16]  Bernhard Nebel,et al.  Terminological Cycles: Semantics and Computational Properties , 1991, Principles of Semantic Networks.

[17]  Tim Berners-Lee,et al.  Linked Data - The Story So Far , 2009, Int. J. Semantic Web Inf. Syst..

[18]  Susanne Prediger,et al.  Logical Scaling in Formal Concept Analysis , 1997, ICCS.

[19]  Felix Distel,et al.  Learning description logic knowledge bases from data using methods from formal concept analysis , 2010 .

[20]  Jens Lehmann,et al.  DBpedia - A crystallization point for the Web of Data , 2009, J. Web Semant..