Constructing and Extending Description Logic Ontologies using Methods of Formal Concept Analysis | Aufbau und Erweiterung beschreibungslogischer Ontologien durch den Einsatz von Formaler Begriffsanalyse | (Statusvortrag)

Date

Nov 23, 2015

Time

2:00 PM - 3:00 PM

Speaker

Francesco Kriegel

Language

en

Main Topic

Informatik

Other Topics

Informatik

Description

Description Logics (DLs) are a formally well-founded and frequently used family for knowledge representation languages, which provide their users with automated inferences services that can derive implicit knowledge from the explicitly represented knowledge. They have been used in various application domains, but their most notable success is the fact that they provide the logical underpinning of the Web Ontology Language (OWL) and its various dialects. Formal Concept Analysis (FCA) is a successful field of applied algebra, which uses lattice theory to extract knowledge from data represented by tables (called formal contexts). This approach has been utilized in many application domains such as conceptual clustering, data visualization, automatic and semi-automatic knowledge acquisition, etc. In spite of the different notions of concepts used in FCA and in DLs, there has been a very fruitful interaction between these two research areas. In this talk, I will describe how methods from FCA can be used to support the (semi-)automatic construction and extension of terminological knowledge represented in lightweight DLs from data. In addition to reporting on previous work, I will also give an overview of my own results obtained so far as well as an outlook on further research directions. My own extensions of previous work include dealing with temporal or probabilistic input data, and speeding up the computation time by parallelization. Betreuer: Prof. Dr.-Ing. Franz Baader Fachreferentin: Prof. Dr. rer. nat. habil. Ulrike Baumann

Last modified: Nov 23, 2015, 8:43:07 AM