Second-order reasoning in description logics

DOI10.3166/JANCL.16.517-530zbMATH Open1185.68680OpenAlexW2002758009WikidataQ126266124 ScholiaQ126266124MaRDI QIDQ3647253FDOQ3647253

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

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

zbMATH Keywords

description logicsknowledge representationcommonsense reasoningsecond-order logics

Mathematics Subject Classification ID

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

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\)
• Title not available (Why is that?)
• 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)