We are currently reviewing our options for U.S. trade to ensure compliance with the new tariffs

A Proof Theory for Description Logics

A Proof Theory for Description Logics - Springer Briefs in Computer Science

2012

Paperback (18 May 2012)

Save £5.00

  • RRP £49.99
  • £44.99
Add to basket

Includes delivery to the UK

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly represented knowledge.

A Proof Theory for Description Logics introduces Sequent Calculi and Natural Deduction for some DLs (ALC, ALCQ). Cut-elimination and Normalization are proved for the calculi. The author argues that such systems can improve the extraction of computational content from DLs proofs for explanation purposes.

Book information

ISBN: 9781447140016
Publisher: Springer London
Imprint: Springer
Pub date:
Edition: 2012
DEWEY: 006.332
DEWEY edition: 23
Language: English
Number of pages: 106
Weight: 192g
Height: 234mm
Width: 156mm
Spine width: 6mm