Regresar

A Description Logic for Unifying Different Points of View

Abstract:

Multilevel modelling is the conceptual modelling problem of having concepts that could be instances of another concepts. It is a relevant problem for many areas and in particular for ontology design. We motivate our work by a realworld case study on the accounting domain in which the points of view of expert and operator users are conceptualized as two knowledge levels. In this paper we address theoretical aspects of extending the tableau algorithm for a description logic that enables unifiying different user perspectives in a multilevel knowledge modelling, following a Henkin semantics.

Año de publicación:

2019

Keywords:

    Fuente:

    scopusscopus

    Tipo de documento:

    Conference Object

    Estado:

    Acceso restringido

    Áreas de conocimiento:

    • Ontología
    • Ontología
    • Ciencias de la computación

    Áreas temáticas:

    • Ciencias de la computación

    Contribuidores:

    Severi P.Severi P.
    Regina MotzRegina Motz
    Rohrer E.Rohrer E.