titoli, abstracts, parole chiave >>>
Minimal module extraction from DL-Lite ontologies using QBF solvers

Kontchakov, Roman and Pulina, Luca and Sattler, Ulrike and Schneider, Thomas and Selmer, Petra and Wolter, Frank and Zakharyaschev, Michael (2009) Minimal module extraction from DL-Lite ontologies using QBF solvers. In: IJCAI 2009: 21st International Joint Conference on Artificial Intelligence, 11-17 July 2009, Pasadena (CA), USA. San Francisco (CA), USA, AAAI Press. p. 836-841. Conference or Workshop Item.

Full text not available from this repository.

Alternative URLs:


We present a formal framework for (minimal) module extraction based on an abstract notion of inseparability w.r.t. a signature between ontologies. Two instances of this framework are discussed in detail for DL-Lite ontologies: concept inseparability, when ontologies imply the same complex concept inclusions over the signature, and query inseparability, when they give the same answers to existential queries for any instance data over the signature. We demonstrate that different types of corresponding minimal modules for these inseparability relations can be automatically extracted from large-scale DL-Lite ontologies by composing the tractable syntactic locality-based module extraction algorithm with intractable extraction algorithms using the multi-engine QBF solver AQME. The extracted minimal modules are compared with those obtained using non-logic-based approaches.

Item Type:Conference or Workshop Item (Contribute)
ID Code:7737
Uncontrolled Keywords:Knowledge representation, DL-Lite ontologies, QBF solvers
Subjects:Area 09 - Ingegneria industriale e dell'informazione > ING-INF/05 Sistemi di elaborazione delle informazioni
Divisions:001 Università di Sassari > 01 Dipartimenti > Economia, istituzioni e società
Publisher:AAAI Press
Deposited On:04 Jul 2012 12:57

I documenti depositati in UnissResearch sono protetti dalle leggi che regolano il diritto d'autore

Repository Staff Only: item control page