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

By Alexandre Rademaker

Description Logics (DLs) is a relatives of formalisms used to symbolize wisdom of a website. they're outfitted with a proper logic-based semantics. wisdom illustration structures in accordance with description logics offer numerous inference services that deduce implicit wisdom from the explicitly represented knowledge.

A evidence idea for Description Logics introduces Sequent Calculi and typical 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 Online or Download A Proof Theory for Description Logics (SpringerBriefs in Computer Science) PDF

Similar logic books

Mathematical Reasoning: Analogies, Metaphors, and Images (Studies in Mathematical Thinking and Learning Series)

How we cause with mathematical principles remains to be a desirable and not easy subject of research--particularly with the speedy and various advancements within the box of cognitive technology that experience taken position lately. since it attracts on a number of disciplines, together with psychology, philosophy, desktop technological know-how, linguistics, and anthropology, cognitive technological know-how presents wealthy scope for addressing matters which are on the middle of mathematical studying.

Infinity and Truth (Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore)

This quantity relies at the talks given on the Workshop on Infinity and fact held on the Institute for Mathematical Sciences, nationwide collage of Singapore, from 25 to 29 July 2011. The chapters conceal issues in mathematical and philosophical good judgment that learn a variety of facets of the principles of arithmetic.

Ways of Proof Theory (Ontos Mathematical Logic)

At the party of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the collage of Münster geared up a colloquium and a workshop which came about July 17 – 19, 2008. This occasion introduced jointly evidence theorists from many components of the area who've been performing as academics, scholars and collaborators of Wolfram Pohlers and who've been shaping the sphere of facts concept through the years.

Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, ... Papers (Lecture Notes in Computer Science)

This booklet comprises the completely refereed technical papers awarded in six workshops collocated with the foreign convention on software program applied sciences: purposes and Foundations, STAF 2016, held in Vienna, Austria, in July 2016. The six workshops whose papers are incorporated during this quantity are: DataMod, GCM, HOFM, MELO, SEMS, and VeryComp.

Additional resources for A Proof Theory for Description Logics (SpringerBriefs in Computer Science)

Sample text

Download PDF sample

Rated 4.18 of 5 – based on 3 votes