A Proof Theory for Description Logics (SpringerBriefs in by Alexandre Rademaker

By Alexandre Rademaker

Description Logics (DLs) is a kinfolk of formalisms used to symbolize wisdom of a site. they're outfitted with a proper logic-based semantics. wisdom illustration platforms in accordance with description logics supply quite a few inference features that deduce implicit wisdom from the explicitly represented knowledge.

A evidence concept for Description Logics introduces Sequent Calculi and normal Deduction for a few DLs (ALC, ALCQ). Cut-elimination and Normalization are proved for the calculi. the writer argues that such structures can enhance the extraction of computational content material from DLs proofs for clarification purposes.

Show description

Read or Download A Proof Theory for Description Logics (SpringerBriefs in Computer Science) PDF

Best logic books

Using Event-B for Critical Device Software Systems

Defining a brand new improvement life-cycle method, including a suite of linked thoughts and instruments to advance hugely serious platforms utilizing formal concepts, this ebook adopts a rigorous protection overview method explored through numerous layers (from standards research to computerized resource code generation).

GED Mathematical Reasoning Test For Dummies

Apparatus as much as overwhelm the GED Mathematical try Does the idea of taking the GED Mathematical Reasoning attempt make you vulnerable? worry no longer! With assistance from GED Mathematical Reasoning try For Dummies, you will get in control at the new constitution and computer-based structure of the GED and achieve the boldness and knowledge to make the Mathematical Reasoning attempt your minion.

Recent Developments in the Philosophy of Science: EPSA13 Helsinki (European Studies in Philosophy of Science)

This quantity showcases the simplest of contemporary examine within the philosophy of technological know-how. A compilation of papers offered on the EPSA thirteen, it explores a huge distribution of issues reminiscent of causation, truthlikeness, medical illustration, gender-specific medication,  laws of nature, technology investment and the knowledge of crowds.

Residuation Theory (International Series in Pure and Applied Mathematics)

Residuation idea goals to give a contribution to literature within the box of ordered algebraic buildings, in particular with reference to residual mappings. The booklet is split into 3 chapters. bankruptcy 1 makes a speciality of ordered units; directed units; semilattices; lattices; and whole lattices. bankruptcy 2 tackles Baer jewelry; Baer semigroups; Foulis semigroups; residual mappings; the concept of involution; and Boolean algebras.

Extra info for A Proof Theory for Description Logics (SpringerBriefs in Computer Science)

Example text

Download PDF sample

Rated 4.54 of 5 – based on 16 votes