@inproceedings{DBLP:conf/ijcai/CateFS11,
  author    = {Balder ten Cate and
               Enrico Franconi and
               Inan{\c{c}} Seylan},
  title     = {Beth Definability in Expressive Description Logics},
  booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
               on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
               2011},
  pages     = {1099--1106},
  year      = {2011},
  crossref  = {DBLP:conf/ijcai/2011},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-188},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-188},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/CateFS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"6tKnfthfLcQWrEp6M","bibbaseid":"tencate-franconi-seylan-bethdefinabilityinexpressivedescriptionlogics-2011","downloads":0,"creationDate":"2018-04-18T07:27:23.752Z","title":"Beth Definability in Expressive Description Logics","author_short":["ten Cate, B.","Franconi, E.","Seylan, I."],"year":2011,"bibtype":"inproceedings","biburl":"http://dblp.org/pid/f/EnricoFranconi.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Balder"],"propositions":["ten"],"lastnames":["Cate"],"suffixes":[]},{"firstnames":["Enrico"],"propositions":[],"lastnames":["Franconi"],"suffixes":[]},{"firstnames":["Inanç"],"propositions":[],"lastnames":["Seylan"],"suffixes":[]}],"title":"Beth Definability in Expressive Description Logics","booktitle":"IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011","pages":"1099--1106","year":"2011","crossref":"DBLP:conf/ijcai/2011","url":"https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-188","doi":"10.5591/978-1-57735-516-8/IJCAI11-188","timestamp":"Tue, 23 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/conf/ijcai/CateFS11","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ijcai/CateFS11,\n author = {Balder ten Cate and\n Enrico Franconi and\n Inan{\\c{c}} Seylan},\n title = {Beth Definability in Expressive Description Logics},\n booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference\n on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,\n 2011},\n pages = {1099--1106},\n year = {2011},\n crossref = {DBLP:conf/ijcai/2011},\n url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-188},\n doi = {10.5591/978-1-57735-516-8/IJCAI11-188},\n timestamp = {Tue, 23 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/conf/ijcai/CateFS11},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["ten Cate, B.","Franconi, E.","Seylan, I."],"key":"DBLP:conf/ijcai/CateFS11","id":"DBLP:conf/ijcai/CateFS11","bibbaseid":"tencate-franconi-seylan-bethdefinabilityinexpressivedescriptionlogics-2011","role":"author","urls":{"Paper":"https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-188"},"downloads":0},"search_terms":["beth","definability","expressive","description","logics","ten cate","franconi","seylan"],"keywords":[],"authorIDs":[],"dataSources":["EP6fb9MDGtmLXKt7F"]}