Second-order reasoning in description logics

DOI10.3166/jancl.16.517-530zbMath1185.68680OpenAlexW2002758009WikidataQ126266124 ScholiaQ126266124MaRDI QIDQ3647253

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

knowledge representationcommonsense reasoningdescription logicssecond-order logics

Mathematics Subject Classification ID

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

Related Items (2)

Towards incorporating background theories into quantifier elimination ⋮ Logic-Based Roughification

Cites Work

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

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