Second-order reasoning in description logics
From MaRDI portal
Publication:3647253
DOI10.3166/jancl.16.517-530zbMath1185.68680OpenAlexW2002758009WikidataQ126266124 ScholiaQ126266124MaRDI QIDQ3647253
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
Related Items (2)
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