Reasoning for ALCQ extended with a flexible meta-modelling hierarchy

10/29/2014
by   Regina Motz, et al.
0

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 ALCQM which is obtained from 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 themselves can be individuals of yet another concept (called meta meta-concept) and so on. We define a tableau algorithm for checking consistency of an ontology in ALCQM and prove its correctness.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/12/2015

Complexity of the Description Logic ALCM

In this paper we show that the problem of checking consistency of a know...
research
10/10/2018

DeFind: A Protege Plugin for Computing Concept Definitions in EL Ontologies

We introduce an extension to the Protege ontology editor, which allows f...
research
04/16/2019

An extended description logic system with knowledge element based on ALC

With the rise of knowledge management and knowledge economy, the knowled...
research
06/24/2014

SROIQsigma is decidable

We consider a dynamic extension of the description logic SROIQ. This mea...
research
09/27/2022

Towards Human-Compatible XAI: Explaining Data Differentials with Concept Induction over Background Knowledge

Concept induction, which is based on formal logical reasoning over descr...
research
05/27/2011

Extensible Knowledge Representation: the Case of Description Reasoners

This paper offers an approach to extensible knowledge representation and...
research
04/01/2016

A strengthening of rational closure in DLs: reasoning about multiple aspects

We propose a logical analysis of the concept of typicality, central in h...

Please sign up or login with your details

Forgot password? Click here to reset