Second-order reasoning in description logics

DOI10.3166/JANCL.16.517-530MaRDI QIDQ3647253zbMATH OpenOpenAlexWikidataFDO

Authors Andrzej Szałas

Publication date 30 November 2009

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3166/jancl.16.517-530

zbMATH Keywords

description logicsknowledge representationcommonsense reasoningsecond-order logics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1531967
• scientific article; zbMATH DE number 1931662
• Description Logics
• Description logics in knowledge representation
• Practical reasoning for very expressive description logics

Cites work

• Attributive concept descriptions with complements
• Circumscription - a form of non-monotonic reasoning
• Computing circumscription revisited: A reduction algorithm
• On the Correspondence Between Modal and Classical Logic: an Automated Approach
• Untersuchungen über das Eliminationsproblem der mathematischen Logik

Cited in

(4)

• Towards incorporating background theories into quantifier elimination
• Second-order linear reasoning mechanisms for description logic \(\varepsilon L\)
• scientific article; zbMATH DE number 3902022 (Why is no real title available?)
• Logic-Based Roughification

This page was built for publication: Second-order reasoning in description logics

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