{"_id":"kE9eaK8JF3trA5DxC","bibbaseid":"kontchakov-pulina-sattler-schneider-selmer-wolter-zakharyaschev-minimalmoduleextractionfromdlliteontologiesusingqbfsolvers-2009","downloads":0,"creationDate":"2018-08-03T15:45:45.237Z","title":"Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers","author_short":["Kontchakov, R.","Pulina, L.","Sattler, U.","Schneider, T.","Selmer, P.","Wolter, F.","Zakharyaschev, M."],"year":2009,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/06/3872-2.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Roman"],"propositions":[],"lastnames":["Kontchakov"],"suffixes":[]},{"firstnames":["Luca"],"propositions":[],"lastnames":["Pulina"],"suffixes":[]},{"firstnames":["Ulrike"],"propositions":[],"lastnames":["Sattler"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Schneider"],"suffixes":[]},{"firstnames":["Petra"],"propositions":[],"lastnames":["Selmer"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Wolter"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Zakharyaschev"],"suffixes":[]}],"title":"Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers","booktitle":"IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009","pages":"836–841","year":"2009","crossref":"DBLP:conf/ijcai/2009","url":"http://ijcai.org/Proceedings/09/Papers/143.pdf","timestamp":"Wed, 20 Jul 2016 14:02:05 +0200","biburl":"https://dblp.org/rec/bib/conf/ijcai/KontchakovPSSSWZ09","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ijcai/KontchakovPSSSWZ09,\n author = {Roman Kontchakov and\n Luca Pulina and\n Ulrike Sattler and\n Thomas Schneider and\n Petra Selmer and\n Frank Wolter and\n Michael Zakharyaschev},\n title = {Minimal Module Extraction from DL-Lite Ontologies Using {QBF} Solvers},\n booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference\n on Artificial Intelligence, Pasadena, California, USA, July 11-17,\n 2009},\n pages = {836--841},\n year = {2009},\n crossref = {DBLP:conf/ijcai/2009},\n url = {http://ijcai.org/Proceedings/09/Papers/143.pdf},\n timestamp = {Wed, 20 Jul 2016 14:02:05 +0200},\n biburl = {https://dblp.org/rec/bib/conf/ijcai/KontchakovPSSSWZ09},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Kontchakov, R.","Pulina, L.","Sattler, U.","Schneider, T.","Selmer, P.","Wolter, F.","Zakharyaschev, M."],"key":"DBLP:conf/ijcai/KontchakovPSSSWZ09","id":"DBLP:conf/ijcai/KontchakovPSSSWZ09","bibbaseid":"kontchakov-pulina-sattler-schneider-selmer-wolter-zakharyaschev-minimalmoduleextractionfromdlliteontologiesusingqbfsolvers-2009","role":"author","urls":{"Paper":"http://ijcai.org/Proceedings/09/Papers/143.pdf"},"downloads":0},"search_terms":["minimal","module","extraction","lite","ontologies","using","qbf","solvers","kontchakov","pulina","sattler","schneider","selmer","wolter","zakharyaschev"],"keywords":[],"authorIDs":[],"dataSources":["hFysW8E5JHW8bNdoX"]}