From Description Logic Provers to Knowledge Representation Systems

From Tetherless World Wiki

Jump to: navigation, search

Citation: Deborah L. McGuinness and Peter F. Patel-Schneider. (2002) From Description Logic Provers to Knowledge Representation Systems. In KSL-02-10, 2002.

Publication techreport ( Edit )
type Technical Report
bibtype techreport
Bibtex basics
author Deborah L. McGuinness and Peter F. Patel-Schneider
title From Description Logic Provers to Knowledge Representation Systems
number KSL-02-10
institution In Franz Baader, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors The Description Logic Handbook: Theory, Implementation, and Applications.
year 2002
Bibtex more
publisher Cambridge University Press
Access Paper
abstract A description-logic based knowledge representation system is more than an inference engine for a particular description logic. A knowledge representation system must provide a number of services to human users, including presentation of the information stored in the system in a manner palatable to users and justification of the inferences performed by the system. If human users cannot understand what the system is doing, then the development of knowledge bases is made much more difficult or even impossible. A knowledge representation system must also provide a number of services to application programs, including access to the basic information stored in the system but also including access to the machinations of the system. If programs cannot easily access and manipulate the information stored in the system, then the development of applications is made much more difficult or even impossible.

KSL Technical Report ID: KSL-02-10
Facts about From Description Logic Provers to Knowledge Representation SystemsRDF feed
Abstract A description-logic based knowledge repres … A description-logic based knowledge representation system is more than an inference engine for a particular description logic. A knowledge representation system must provide a number of services to human users, including presentation of the information stored in the system in a manner palatable to users and justification of the inferences performed by the system. If human users cannot understand what the system is doing, then the development of knowledge bases is made much more difficult or even impossible. A knowledge representation system must also provide a number of services to application programs, including access to the basic information stored in the system but also including access to the machinations of the system. If programs cannot easily access and manipulate the information stored in the system, then the development of applications is made much more difficult or even impossible. de much more difficult or even impossible.
Author Deborah L. McGuinness and Peter F. Patel-Schneider  +
Bibtype techreport  +
Has author Deborah L. McGuinness and Peter F. Patel-Schneider  +
Has identifier KSL-02-10  +
Has publishing details 2002  +
Has title From Description Logic Provers to Knowledge Representation Systems  +
Has where published KSL-02-10  +
Has year 2002  +
Institution In Franz Baader, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors The Description Logic Handbook: Theory, Implementation, and Applications.  +
Ksl tr id KSL-02-10  +
Number KSL-02-10  +
Process note NO  +
Publisher Cambridge University Press  +
Title From Description Logic Provers to Knowledge Representation Systems  +
Year 2002  +
Retrieved from "http://tw.rpi.edu/wiki/From_Description_Logic_Provers_to_Knowledge_Representation_Systems"
Personal tools