@inproceedings{DBLP:conf/ijcai/KontchakovPSSSWZ09,
  author    = {Roman Kontchakov and
               Luca Pulina and
               Ulrike Sattler and
               Thomas Schneider and
               Petra Selmer and
               Frank Wolter and
               Michael Zakharyaschev},
  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}
}

{"_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"]}