DBLP:conf/dlog/McGuinnessP03 +, KSL-02-10 + redirect page
From Description Logic Provers to Knowledge Representation Systems + Has identifier
From Description Logic Provers to Knowledge Representation Systems + Ksl tr id
From Description Logic Provers to Knowledge Representation Systems + Number
| From Description Logic Provers to Knowledge Representation Systems |
Bibtype
techreport
Has publishing details
2002
Has title
From Description Logic Provers to Knowledge Representation Systems
Has where published
KSL-02-10
Has year
2002
Title
From Description Logic Provers to Knowledge Representation Systems
Year
2002
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 +
Has author
Deborah L. McGuinness and Peter F. Patel-Schneider +
Has identifier
From Description Logic Provers to Knowledge Representation Systems +
Institution
In Franz Baader, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors The Description Logic Handbook: Theory, Implementation, and Applications. +
Ksl tr id
From Description Logic Provers to Knowledge Representation Systems +
Number
From Description Logic Provers to Knowledge Representation Systems +
Process note
NO +
Publisher
Cambridge University Press +
Categories KSL Technical Report +, Publication +, Technical Report +
|
