A Proof Theory for Description Logics (Q5389920)
From MaRDI portal
scientific article; zbMATH DE number 6027127
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Proof Theory for Description Logics |
scientific article; zbMATH DE number 6027127 |
Statements
A Proof Theory for Description Logics (English)
0 references
23 April 2012
0 references
description logics
0 references
ALC
0 references
ALCQI
0 references
sequent calculus for ALC and ALCQI
0 references
natural deduction for ALC and ALCQI
0 references
explanations from proofs
0 references
Maude system
0 references
