A Proof Theory for Description Logics: Introduction
Rademaker, Alexandre
2012-05-17 00:00:00
[Description Logics (DLs) are quite well-established as underlying logics for Knowledge Representation (KR). In a broader sense, a Knowledge Base (KB) specified in any description logic is called an Ontology. In this book, we are not interested in the technological concerns around Ontologies. For us, a DL theory, that is, a set of axioms in the DL logical language, and, an OWL file containing the same set of axioms is the same KB. Research in DL, since the beginning, was oriented to the development of systems and to their use in applications. Despite the higher efficiency of the recent available DL systems they do not provide to ontology engineers a good support for explanations of entailments like answering whether a subsumption holds or not, query or classification of concepts and roles of an ontology. This book is our first step in the direction of contract deduction systems with better explanation support.]
http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.pnghttp://www.deepdyve.com/lp/springer-journals/a-proof-theory-for-description-logics-introduction-0wrMHQa710
[Description Logics (DLs) are quite well-established as underlying logics for Knowledge Representation (KR). In a broader sense, a Knowledge Base (KB) specified in any description logic is called an Ontology. In this book, we are not interested in the technological concerns around Ontologies. For us, a DL theory, that is, a set of axioms in the DL logical language, and, an OWL file containing the same set of axioms is the same KB. Research in DL, since the beginning, was oriented to the development of systems and to their use in applications. Despite the higher efficiency of the recent available DL systems they do not provide to ontology engineers a good support for explanations of entailments like answering whether a subsumption holds or not, query or classification of concepts and roles of an ontology. This book is our first step in the direction of contract deduction systems with better explanation support.]
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.