Minimal module extraction from DL-lite ontologies using QBF solvers

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2009, Pages 836-841

  Kontchakov, R ^a   Pulina, L ^b   Sattler, U ^c   Schneider, T ^c   Selmer, P ^a   Wolter, F ^d   Zakharyaschev, M ^a  

^a UNIVERSITY OF LONDON   (United Kingdom)

^b UNIVERSITY OF GENOA   (Italy)

^c UNIVERSITY OF MANCHESTER   (United Kingdom)

^d UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; EXTRACTION;

ABSTRACT NOTIONS; DL-LITE; EXTRACTION ALGORITHMS; FORMAL FRAMEWORK; LOGIC-BASED APPROACH; QBF SOLVERS;

ONTOLOGY;

EID: 78751685830     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. A. Artale, D. Calvanese, R. Kontchakov, and M. Zakharyaschev. DL-Lite in the light of first-order logic. In Proc. of AAAI, 2007.
2. A. Artale, D. Calvanese, R. Kontchakov, and M. Zakharyaschev. The DL-Lite family and relations. Tech. report BBKCS-09-03. 2009.
3. A. Artale, D. Calvanese, R. Kontchakov, V. Ryzhikov, and M. Zakharyaschev. Reasoning over extended ER models. In Proc. of ER, vol. 4801 of LNCS, Springer, 2007.
4. M. Benedetti. sKizzo: A suite to evaluate and certify QBFs. In Proc. of CADE-20, vol. 3632 of LNCS, Springer, 2005.
5. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. DL-Lite: Tractable description logics for ontologies. In Proc. of AAAI, 2005.
6. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Data complexity of query answering in description logics. In Proc. of KR, 2006.
7. B. Cuenca-Grau, V. Honovar, A. Schlicht, and F. Wolter, editors. Second Workshop on Modular Ontologies, vol. 315. CEUR 2007.
8. B. Cuenca-Grau, B. Parsia, E. Sirin, and A. Kalyanpur. Modularity and web ontologies. In Proc. of KR, 2006.
9. B. Cuenca-Grau, I. Horrocks, Y. Kazakov, and U. Sattler. Modular reuse of ontologies: Theory and practice. JAIR, 31:2008.
10. S. Ghilardi, C. Lutz, and F. Wolter. Did I damage my ontology? A case for conservative extensions in description logic. In Proc. of KR, 2006.
11. E. Giunchiglia, M. Narizzano, and A. Tacchella. Clause-Term Resolution and Learning in Quantified Boolean Logic Satisfiability. JAIR, 2006.
12. P. Haase, V. Honavar, O. Kutz, Y. Sure, and A. Tamilin, editors. First Workshop on Modular Ontologies, vol. 232. CEUR 2006.
13. B. Konev, C. Lutz, D. Walther, and F. Wolter. Semantic modularity and module extraction in description logic. In Proc. of ECAI, 2008.
14. R. Kontchakov, F. Wolter, and M. Zakharyaschev. Can you tell the difference between DL-Lite ontologies? In Proc. of KR, 2008.
15. N. Noy and M. Musen. Specifying ontology views by traversal. In Proc. of ISWC, 2004.
16. C. Parent, S. Spaccapietra, and H. Stuckenschmidt, editors. Ontology Modularization. Springer Lecture Notes, 2009. (To appear)
17. L. Pulina and A. Tacchella. A self-adaptive multi-engine solver for quantified Boolean formulas. Constraints, 14:2009.
18. H. Samulowitz and F. Bacchus. Binary clause reasoning in QBF. In Proc. of SAT, vol. 4121 of LNCS, 2006.
19. J. Seidenberg and A. Rector. Web ontology segmentation analysis. In WWW, 2006.