A Proof Theory for Description Logics: Background
Rademaker, Alexandre
2012-05-17 00:00:00
[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.pnghttp://www.deepdyve.com/lp/springer-journals/a-proof-theory-for-description-logics-background-YQnTx2NoqV
[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.]
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.