Description logics of context

DOI10.1093/LOGCOM/EXT011MaRDI QIDQ2826028zbMATH OpenOpenAlexFDO

Authors Szymon Klarman, Víctor Gutiérrez-Basulto

Publication date 7 October 2016

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL http://orca.cf.ac.uk/111925/1/KlaGutJLC16.pdf

zbMATH Keywords

combinations of modal logicscomplexitycontextual reasoningdescription logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Combined logics (03B62) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• \({\mathcal{ALC}_\mathcal{ALC}}\): a context description logic
• Decidable description logics of context with rigid roles
• Description logics for relative terminologies
• Description Logics
• PSpace Reasoning with the Description Logic ALCF(D)

Cited in

(9)

• Contexts in dynamic predicate logic
• Contextual rational closure for defeasible \(\mathcal{ALC} \)
• scientific article; zbMATH DE number 1670913 (Why is no real title available?)
• Decidable description logics of context with rigid roles
• Description logics for relative terminologies
• scientific article; zbMATH DE number 1755766 (Why is no real title available?)
• \({\mathcal{ALC}_\mathcal{ALC}}\): a context description logic
• scientific article; zbMATH DE number 5065666 (Why is no real title available?)
• Situated conditional reasoning

This page was built for publication: Description logics of context

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