Description Logics with Abstraction and Refinement

Carsten Lutz, Lukas Schulze
6/6/2023
cs.AIcs.LO

No confident code implementation found for this paper.

Abstract

Ontologies often require knowledge representation on multiple levels of abstraction, but description logics (DLs) are not well-equipped for supporting this. We propose an extension of DLs in which abstraction levels are first-class citizens and which provides explicit operators for the abstraction and refinement of concepts and roles across multiple abstraction levels, based on conjunctive queries. We prove that reasoning in the resulting family of DLs is decidable while several seemingly harmless variations turn out to be undecidable. We also pinpoint the precise complexity of our logics and several relevant fragments.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Querying Circumscribed Description Logic Knowledge Bases

83% match2023

Description Logics Go Second-Order -- Extending EL with Universally Quantified Concepts

80% match2023

The Equivalence Theorem: First-Class Relationships for Structurally Complete Database Systems

79% match2026

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features

78% match2023

A Theory of Formalisms for Representing Knowledge

78% match2024

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents

77% match2024

Cite this paper

@article{lutz2023description,
  title  = {Description Logics with Abstraction and Refinement},
  author = {Carsten Lutz and Lukas Schulze},
  year   = {2023},
  eprint = {2306.03717},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2306.03717v3}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2306.03717.svg)](https://codeofpaper.com/paper/2306.03717)

Discussion