Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Seventeenth Annual IEEE Symposium on

Logic in Computer Science (LICS 2002)

Invited Paper: Description Logics: Foundations for Class-based Knowledge Representation (at LICS 2002)

Authors: Diego Calvanese Giuseppe De Giacomo Maurizio Lenzerini

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.

BibTeX

  @InProceedings{CalvaneseDeGiacomoL-DescriptionLogicsFo,
    author = 	 {Diego Calvanese and Giuseppe De Giacomo and Maurizio Lenzerini},
    title = 	 {Description Logics: Foundations for Class-based Knowledge Representation},
    booktitle =  {Proceedings of the Seventeenth Annual IEEE Symposium on Logic in Computer Science (LICS 2002)},
    year =	 {2002},
    month =	 {July}, 
    pages =      {359--370},
    location =   {Copenhagen, Denmark}, 
    note =       {Invited Talk},
    publisher =	 {IEEE Computer Society Press}
  }
   

Last modified: 2017-04-0512:37
Andrzej Murawski