The Community for Technology Leaders
RSS Icon
Subscribe
Copenhagen, Denmark
July 22, 2002 to July 25, 2002
ISBN: 0-7695-1483-9
pp: 359
Diego Calvanese , Università di Roma "La Sapienza"
Giuseppe De Giacomo , Università di Roma "La Sapienza"
Maurizio Lenzerini , Università di Roma "La Sapienza"
ABSTRACT
Class-based languages express knowledge in terms of objects and classes, and have inspired a huge number of formalisms in computer science. Description logics form a family of both class-based and logic-based knowledge representation languages which allow for modeling an application domain in terms of objects, classes and relationships between classes, and for reasoning about them. This paper presents an overview of the research carried out in the last years in description logics, with the main goal of illustrating how these logics provide the foundations for class-based knowledge representation formalisms.
INDEX TERMS
null
CITATION
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, "Description Logics: Foundations for Class-based Knowledge Representation", LICS, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science 2002, pp. 359, doi:10.1109/LICS.2002.1029843
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool