A Proof Theory for Description Logics

DOI10.1007/978-1-4471-4002-3zbMath1333.68003OpenAlexW2123376286MaRDI QIDQ5389920

Alexandre Rademaker

Publication date: 23 April 2012

Published in: SpringerBriefs in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4471-4002-3

zbMATH Keywords

description logicsMaude systemALCALCQIexplanations from proofsnatural deduction for ALC and ALCQIsequent calculus for ALC and ALCQI

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (2)

Formal Reasoning About Influence in Natural Sciences Experiments ⋮ Formally verified tableau-based reasoners for a description logic

This page was built for publication: A Proof Theory for Description Logics