Decidable description logics of context with rigid roles

DOI10.1007/978-3-319-24246-0_2MaRDI QIDQ2964450zbMATH OpenOpenAlexFDO

Authors Stephan Böhme, Marcel Lippmann

Publication date 27 February 2017

Published in Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-24246-0_2

Mathematics Subject Classification ID

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

Recommendations

• Description logics of context
• \({\mathcal{ALC}_\mathcal{ALC}}\): a context description logic
• Description logics for relative terminologies
• scientific article; zbMATH DE number 1980927
• scientific article; zbMATH DE number 2196595

Cites work

• \({\mathcal{ALC}_\mathcal{ALC}}\): a context description logic
• Description logics of context
• Generality in artificial intelligence
• scientific article; zbMATH DE number 67503 (Why is no real title available?)
• Journal on Data Semantics I
• LTL over description logic axioms
• Package-Based Description Logics
• Practical reasoning for very expressive description logics
• Temporal query answering in the description logic DL-Lite
• The Description Logic Handbook

Cited in

(4)

• Description logics of context
• Description logics for relative terminologies
• A Decidable Constructive Description Logic
• \({\mathcal{ALC}_\mathcal{ALC}}\): a context description logic

This page was built for publication: Decidable description logics of context with rigid roles

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