Second-order reasoning in description logics

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

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)

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 (3)

• Towards incorporating background theories into quantifier elimination
• Title not available (Why is that?)
• Logic-Based Roughification

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Description Logics 👍 👎
• Description logics in knowledge representation 👍 👎
• Practical reasoning for very expressive description logics 👍 👎

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)