A proof theory for description logics.

DOI10.1007/978-1-4471-4002-3MaRDI QIDQ5389920zbMATH OpenOpenAlexFDO

Authors 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

ALCALCQIdescription logicsexplanations from proofsMaude systemnatural deduction for ALC and ALCQIsequent calculus for ALC and ALCQI

Mathematics Subject Classification ID

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

Recommendations

• On the proof theory of \({\mathcal{ALC}}\)
• Sequential description logic
• A connection calculus for the description logic \( {\mathcal{ALC}} \)
• Representation theorems and locality for subsumption testing and interpolation in the description logics \(\mathcal{EL}\), \(\mathcal{EL}^+\) and their extensions with \(n\)-ary roles and numerical domains
• Practical reasoning for very expressive description logics

Cited in

(8)

• A calculus for first order discourse representation structures
• Finding good proofs for description logic entailments using recursive quality measures
• Formally verified tableau-based reasoners for a description logic
• A connection calculus for the description logic \( {\mathcal{ALC}} \)
• Providing a proof-theoretical basis for explanation: A case study on UML and ALCQI reasoning
• On the proof theory of \({\mathcal{ALC}}\)
• System description: E-KRhyper 1.4. Extensions for unique names and description logic
• Formal Reasoning About Influence in Natural Sciences Experiments

This page was built for publication: A proof theory for description logics.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5389920)