From description logic provers to knowledge representation systems

Authors:
Deborah L. McGuinness;Peter F. Patel-Schneider
Affiliations:
Knowledge Systems Laboratory, Gates Building 2A, Stanford University, Stanford, CA;Bell Labs Research, 600 Mountain Avenue, Murray Hill, NJ
Venue:
The description logic handbook
Year:
2003

Citing 0
Cited 1

Explaining answers from the Semantic Web: the Inference Web approach

Web Semantics: Science, Services and Agents on the World Wide Web

Quantified Score

Hi-index	0.00

Visualization

Abstract

This chapter provides an introduction to Description Logics as a formal language for representing knowledge and reasoning about it. It first gives a short overview of the ideas underlying Description Logics. Then it introduces syntax and semantics, covering ...