PSpace Reasoning with the Description Logic ALCF(D)

DOI10.1093/JIGPAL/10.5.535MaRDI QIDQ4795881zbMATH OpenOpenAlexFDO

Authors Carsten Lutz

Publication date 5 May 2003

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

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

zbMATH Keywords

computational complexitydescription logicknowledge representationconcrete domainreasoning about conceptual knowledge

Mathematics Subject Classification ID

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

Recommendations

• NExpTime-complete description logics with concrete domains
• scientific article; zbMATH DE number 1765661
• scientific article; zbMATH DE number 2196595
• Automated Reasoning with Analytic Tableaux and Related Methods
• A description logic with concrete domains and a role-forming predicate operator

Cited in

(15)

• Generalized satisfiability for the description logic \(\mathcal{ALC}\)
• scientific article; zbMATH DE number 2196595 (Why is no real title available?)
• scientific article; zbMATH DE number 67501 (Why is no real title available?)
• An automata-theoretic approach to constraint LTL
• Reasoning with prototypes in the description logic \({\mathcal {ALC}}\) using weighted tree automata
• Automated Reasoning with Analytic Tableaux and Related Methods
• Combining interval-based temporal reasoning with general TBoxes
• scientific article; zbMATH DE number 2243392 (Why is no real title available?)
• A tableau algorithm for description logics with concrete domains and general TBoxes
• Description logics with aggregates and concrete domains.
• Description logics of context
• NExpTime-complete description logics with concrete domains
• A Correspondence between Temporal Description Logics
• scientific article; zbMATH DE number 1765661 (Why is no real title available?)
• First steps towards taming description logics with strings

This page was built for publication: PSpace Reasoning with the Description Logic ALCF(D)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4795881)