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 complexityconcrete domaindescription logicknowledge representationreasoning about conceptual knowledge

Mathematics Subject Classification ID

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

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

(16)

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

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)