Description logics for relative terminologies

DOI10.1007/978-3-642-14729-6_10zbMATH Open1286.68416OpenAlexW2179106195MaRDI QIDQ3582679FDOQ3582679

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

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

Mathematics Subject Classification ID

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

Cited In (4)

• \({\mathcal{ALC}_\mathcal{ALC}}\): a context description logic
• Decidable description logics of context with rigid roles
• 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)