Description logics with concrete domains and general concept inclusions revisited
type: Item
instance of: scholarly article
title: Description logics with concrete domains and general concept inclusions revisited
DOI: 10.1007/978-3-030-51074-9_24
author: Franz Baader
author: Jakub Rydval
publication date: 2022-11-09T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7614526
zbMATH Keywords: description logic
zbMATH Keywords: concrete domains
zbMATH Keywords: GCIs
zbMATH Keywords: \(\omega\)-admissibility
zbMATH Keywords: homogeneity
zbMATH Keywords: finite boundedness
zbMATH Keywords: decidability
zbMATH Keywords: constraint satisfaction
MaRDI profile type: Publication
full work available at URL: 978-3-030-51074-9 24
OpenAlex ID: W3040061311
cites work: Maintaining knowledge about temporal intervals
cites work: Q4406531
cites work: Q4012242
cites work: An Introduction to Description Logic
cites work: An algebraic view on p-admissible concrete domains for lightweight description logics
cites work: STACS 2005
cites work: Non-dichotomies in Constraint Satisfaction Complexity
cites work: Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction
cites work: Constraint Satisfaction with Countable Homogeneous Templates
cites work: Satisfiability of \(\mathrm{ECTL}^*\) with local tree constraints
cites work: Q4576256
cites work: An automata-theoretic approach to constraint LTL
cites work: Q4539596
cites work: Countable homogeneous relational structures and ℵ0-categorical theories
cites work: Relation algebras of intervals
cites work: Q4336034
cites work: Q4636561
cites work: Q4539597
cites work: A tableau algorithm for description logics with concrete domains and general TBoxes
cites work: A survey of homogeneous structures
cites work: Q5590814
cites work: Q4012244
description: scientific article; zbMATH DE number 7614526