The Expressive Power of Quantitative Extensions of Description Logics

Filippo De Bortoli
TÜ Dresden

Friday April 5th, 2024, 10:00

Salle C208, Montbonnot
entrée libre


Abstract: Description Logics (DLs) are a family of logic-based knowledge representation languages that form the basis of the Web Ontology Language (OWL) and are used to specify and reason about ontologies in application areas such as medicine or biology. Classical DLs do not offer to the user the ability to express certain application-relevant numerical constraints. To overcome this deficit, different kinds of numerical extensions of DLs have been proposed in the literature, such as:

After presenting these quantitative extensions of DLs, we will look at the problem of characterizing the expressive power of the resulting logics, that is, determining what formal properties they satisfy and see how these properties can be used to show e.g. how a certain logic is more expressive than another one.