One of the main characteristics of knowledge representation systems based on the description of concepts is the clear distinction between terminological and assertional knowledge. Although this characteristic leads to several computational and representational advantages, it usually limits the expressive power of the system. For this reason, some attempts have been done, allowing for a limited form of amalgamation between the two components and a more complex interaction between them. In particular, one of these attempts is based on letting the individuals to be referenced in the concept expressions. This is generally performed by admitting a constructor for building a concept from a set of enumerated individuals. In this paper we investigate the consequences of introducing this type of constructors in the concept description language. We also provide a complete reasoning procedure to deal with these constructors and we obtain some complexity results on it.

Reasoning with individuals in concept languages

SCHAERF, Andrea
1994

Abstract

One of the main characteristics of knowledge representation systems based on the description of concepts is the clear distinction between terminological and assertional knowledge. Although this characteristic leads to several computational and representational advantages, it usually limits the expressive power of the system. For this reason, some attempts have been done, allowing for a limited form of amalgamation between the two components and a more complex interaction between them. In particular, one of these attempts is based on letting the individuals to be referenced in the concept expressions. This is generally performed by admitting a constructor for building a concept from a set of enumerated individuals. In this paper we investigate the consequences of introducing this type of constructors in the concept description language. We also provide a complete reasoning procedure to deal with these constructors and we obtain some complexity results on it.
File in questo prodotto:
File Dimensione Formato  
Scha94.pdf

non disponibili

Tipologia: Altro materiale allegato
Licenza: Non pubblico
Dimensione 442.82 kB
Formato Adobe PDF
442.82 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11390/680309
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 61
  • ???jsp.display-item.citation.isi??? 46
social impact