Nonmonotonic Description Logics – Requirements, Theory, and Implementations

DOI10.1007/978-3-540-73099-6_1MaRDI QIDQ5434473zbMATH OpenOpenAlexFDO

Authors P. A. Bonatti

Publication date 4 January 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73099-6_1

Mathematics Subject Classification ID

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

Recommendations

• On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)
• Description logics of minimal knowledge and negation as failure
• Automated Reasoning with Analytic Tableaux and Related Methods
• A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
• Logic for Programming, Artificial Intelligence, and Reasoning

Cited in

(4)

• On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)
• Semantic matchmaking with nonmonotonic description logics.
• scientific article; zbMATH DE number 2088364 (Why is no real title available?)
• Logic for Programming, Artificial Intelligence, and Reasoning

This page was built for publication: Nonmonotonic Description Logics – Requirements, Theory, and Implementations

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