DSpace JSPUI
DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
Learn More
Please use this identifier to cite or link to this item:
https://lib.hpu.edu.vn/handle/123456789/26358| Title: | A proof theory for description logics |
| Authors: | Rademaker, Alexandre |
| Keywords: | Description logics Computer science A proof theory for description logics |
| Issue Date: | 2012 |
| Publisher: | Springer |
| Abstract: | Introduction -- Background -- The Sequent Calculus for ALC -- Comparing SC ALC SC with Other ALC Deduction Systems -- A Natural Deduction for ALC -- Towards a Proof Theory for ALCQI -- Proofs and Explanations -- A Prototype Theorem Prover -- Conclusion |
| URI: | https://lib.hpu.edu.vn/handle/123456789/26358 |
| ISBN: | 9781447140023 1447140028 144714001X 9781447140016 |
| Appears in Collections: | Technology |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 362_A_proof_theory_for_description_logics.pdf Restricted Access | 1.56 MB | Adobe PDF |  View/Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.