2015 | OriginalPaper | Buchkapitel
Reasoning for Extended with a Flexible Meta-Modelling Hierarchy
verfasst von : Regina Motz, Edelweis Rohrer, Paula Severi
Erschienen in: Semantic Technology
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This works is motivated by a real-world case study where it is necessary to integrate and relate existing ontologies through
meta-modelling
. For this, we introduce the Description Logic
$$\mathcal {ALCQM}$$
which is obtained from
$$\mathcal {ALCQ}$$
by adding statements that equate individuals to concepts in a knowledge base. In this new extension, a concept can be an individual of another concept (called
meta-concept
) which itself can be an individual of yet another concept (called
meta meta-concept
) and so on. We define a tableau algorithm for checking consistency of an ontology in
$$\mathcal {ALCQM}$$
and prove its correctness.