PSpace Reasoning with the Description Logic ALCF(D)

DOI10.1093/jigpal/10.5.535zbMath1018.03024OpenAlexW1986923616MaRDI QIDQ4795881

Carsten Lutz

Publication date: 5 May 2003

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/10.5.535

zbMATH Keywords

computational complexityknowledge representationdescription logicconcrete domainreasoning about conceptual knowledge

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Logic in computer science (03B70)

Related Items

An automata-theoretic approach to constraint LTL, A tableau algorithm for description logics with concrete domains and general TBoxes, A Correspondence between Temporal Description Logics, Combining interval-based temporal reasoning with general TBoxes