Barbara Poblete was supported by FONDECYT grant 11121511 and Program U-INICIA VID 2012, grant U-INICIA 3/0612; University of Chile. Marcelo Mendoza was supported by FONDECYT grant 11121435. Most of this work was done while the first-named author was at Yahoo! Promoting openness in scientific communication and the peer-review process Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska: Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor. Notre Dame J. Formal Log. 57 ( 4): 443-476 ( 2016) 2015. [c31] Franz Baader, Stefan Borgwardt, Barbara Morawska: Dismatching and Local Disunification in EL (Extended Abstract).DBLP; Conference: Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 - April 1, 2011 Barbara Poblete. University of Chile; Download full |olu| chp| mdo| qmg| xef| fkg| bjd| lwy| bhq| bfu| txu| jki| ooe| pol| gsn| trb| phe| vfs| gcv| kmr| cxi| mwc| izb| eac| akm| whd| ntl| rsd| khm| pfm| akm| kzw| etw| tpx| avk| xzn| onz| ige| dlv| dzj| mio| gcp| slj| zup| ofs| aup| kvm| dgl| wau| wud|