TAILIEUCHUNG - Towards an Error-Tolerant Construction of ℒK - Ontologies from Data using Formal Concept Analysis

In the work of Baader and Distel, a method has been proposed to axiomatize all general concept inclusions (GCIs) expressible in the description logic ℰℒK and valid in a given interpretation ℐ. This provides us with an effective method to learn ℰℒK-ontologies from interpretations. In this work, we want to extend this approach in the direction of handling errors, which might be present in the data-set. | Towards an Error-Tolerant Construction of 5 K-Ontologies from Data using Formal Concept Analysis Daniel Borchmann TU Dresden Abstract. In the work of Baader and Distel a method has been proposed to axiomatize all general concept inclusions GCIs expressible in the description logic GC 1 and valid in a given interpretation Ĩ. This provides us with an effective method to learn GC 1 -ontologies from interpretations. In this work we want to extend this approach in the direction of handling errors which might be present in the data-set. We shall do so by not only considering valid GCIs but also those whose confidence is above a given threshold c. We shall give the necessary definitions and show some first results on the axiomatization of all GCIs with confidence at least c. Finally we shall provide some experimental evidence based on real-world data that supports our approach. Keywords Formal Concept Analysis Description Logics Ontology Learning 1 Introduction Description logic ontologies provide a practical yet formally well-defined way of representing large amounts of knowledge. They have been applied especially successfully in the area of medical and biological knowledge one example being SNOMED CT 13 a medical ontology used to standardize medical nomenclature. A part of description logic ontologies the so called TBox contains the terminological knowledge of the ontology. Terminological knowledge constitutes connections between concept descriptions and is represented by general concept inclusions GCIs . For example we could fix in an ontology the fact that everything that has a child is actually a person. Using the description logic CK this could be written as Person. Here and Person are examples of concept descriptions and the sign can be read as implies. General concept inclusions are on this intuitive level therefore quite similar to implications. The construction of TBoxes of ontologies which are supposed to represent the knowledge of a certain .

• Cơ sở dữ liệu
• Formal Concept Analysis
• Description Logics
• Ontology Learning
• Handling errors
• Tolerant Construction
• BMC Bioinformatics
• Consensus clustering
• Particle swarm optimization
• Integration analysis
• Multi experiment expression data
• báo cáo hóa học
• công trình nghiên cứu về hóa học
• tài liệu về hóa học
• cách trình bày báo cáo
• Journal of Biotechnology
• Construction of GmNAC085 vector for future development
• Drought tolerant crops
• The model plant Arabidopsis
• Plant transformation mediated