We investigate an extension of Description Logics with higher-order capabilities, based on Henkin-style semantics. Our study starts from the observation that the various possibilities of adding higher-order constructs to a DL form a spectrum of increasing expressive power, including domain metamodeling, i.e., using concepts and roles as predicate arguments, and full metamodeling, providing the ability of using the language constructors and operators as predicate arguments, in the style of RDF. We argue that higher-order features of the former type are sufficiently rich and powerful for the modeling requirements arising in many relevant situations, and therefore we carry out an investigation of the computational complexity of reasoning in DLs extended with such features. In particular, we show that adding domain metamodeling capabilities to expressive DLs has no impact on the complexity of the various reasoning tasks.

On higher-order description logics / DE GIACOMO, Giuseppe; LENZERINI, Maurizio; ROSATI, Riccardo. - 477:(2009). ((Intervento presentato al convegno 22nd International Workshop on Description Logics, DL 2009 tenutosi a Oxford; United Kingdom nel 27 July 2009 through 30 July 2009.

On higher-order description logics

DE GIACOMO, Giuseppe;LENZERINI, Maurizio;ROSATI, Riccardo
2009

Abstract

We investigate an extension of Description Logics with higher-order capabilities, based on Henkin-style semantics. Our study starts from the observation that the various possibilities of adding higher-order constructs to a DL form a spectrum of increasing expressive power, including domain metamodeling, i.e., using concepts and roles as predicate arguments, and full metamodeling, providing the ability of using the language constructors and operators as predicate arguments, in the style of RDF. We argue that higher-order features of the former type are sufficiently rich and powerful for the modeling requirements arising in many relevant situations, and therefore we carry out an investigation of the computational complexity of reasoning in DLs extended with such features. In particular, we show that adding domain metamodeling capabilities to expressive DLs has no impact on the complexity of the various reasoning tasks.
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

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/11573/224306
 Attenzione

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

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