Description logics for relative terminologies

DOI10.1007/978-3-642-14729-6_10MaRDI QIDQ3582679zbMATH OpenOpenAlexFDO

Authors Szymon Klarman

Publication date 24 August 2010

Published in Interfaces: Explorations in Logic, Language and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14729-6_10

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• \({\mathcal{ALC}_\mathcal{ALC}}\): a context description logic
• Description logics of context
• Description Logics
• Decidable description logics of context with rigid roles
• An introduction to description logic

Cited in

(4)

• Decidable description logics of context with rigid roles
• \({\mathcal{ALC}_\mathcal{ALC}}\): a context description logic
• Description logics of context
• Contextual Terminologies

This page was built for publication: Description logics for relative terminologies

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