Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A Proof Theory for Description LogicsBackground

A Proof Theory for Description Logics: Background [Description Logics is a family of knowledge representation formalisms used to represent knowledge of a domain, usually called “world”. For that, it first defines the relevant concepts of the domain—“terminology”—and then, using these concepts, specifies properties of objects and individuals of that domain. In this chapter, we review the syntax, semantics and the main logical properties of DL that we will use in the following chapters.] http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png

A Proof Theory for Description LogicsBackground

Loading next page...
 
/lp/springer-journals/a-proof-theory-for-description-logics-background-YQnTx2NoqV

References (0)

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
Springer London
Copyright
© The Author(s) 2012
ISBN
978-1-4471-4001-6
Pages
9 –15
DOI
10.1007/978-1-4471-4002-3_2
Publisher site
See Chapter on Publisher Site

Abstract

[Description Logics is a family of knowledge representation formalisms used to represent knowledge of a domain, usually called “world”. For that, it first defines the relevant concepts of the domain—“terminology”—and then, using these concepts, specifies properties of objects and individuals of that domain. In this chapter, we review the syntax, semantics and the main logical properties of DL that we will use in the following chapters.]

Published: May 17, 2012

Keywords: Description logic; ALC; Logic; Syntax; Semantics; Proof theory; Axiomatization; Theory; Satisfiable; Tautology

There are no references for this article.