JavaScript is required to use this site. Please enable JavaScript in your browser settings.

Supervisor

Implementation of an Engine for Answering Regular Path > Queries under Approximate Semantics over ELH and ELH_Bottom Knowledge Bases

Status: finished / Type of Theses: Diploma Theses / Location: Dresden

The EL-family of description logics are a relatively well-investigated field, in particular due to EL and some of its extensions allowing for polynomial reasoning. This makes them the logical choice for many applications where efficiency and scalability are required. In the biomedical domain, EL has been successfully employed for the development of several large ontologies. Answering regular path queries (RPQs) has been investigated for many tractable and intractable extensions of EL, and they have found their way into SPARQL under the name of property paths. On the other hand, approximate semantics for answering RPQs over description logic knowledge bases have only been proposed recently. In this work, we bridge the gap between theory and practice for answering 2RPQs under approximate semantics over both a tractable and an intractable member of the EL-family. To this end, we have extended the notion of approximate semantics from ELH to ELHI_Bottom, and developed and implemented a practical procedure to answer 2RPQs under approximate semantics for both ELH and ELHI_Bottom knowledge bases.

funded by:
Gefördert vom Bundesministerium für Bildung und Forschung.
Gefördert vom Freistaat Sachsen.