%0 Conference Paper %1 conf/ausai/BaaderBM12 %A Baader, Franz %A Borgwardt, Stefan %A Morawska, Barbara %B Australasian Conference on Artificial Intelligence %D 2012 %E Thielscher, Michael %E Zhang, Dongmo %I Springer %K dblp %P 493-504 %T A Goal-Oriented Algorithm for Unification in $ELH_R+$ w.r.t. Cycle-Restricted Ontologies. %U http://dblp.uni-trier.de/db/conf/ausai/ausai2012.html#BaaderBM12 %V 7691 %@ 978-3-642-35100-6

@inproceedings{conf/ausai/BaaderBM12, added-at = {2018-11-02T00:00:00.000+0100}, author = {Baader, Franz and Borgwardt, Stefan and Morawska, Barbara}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20c3c2f0458680ae4382be8e285345c0e/dblp}, booktitle = {Australasian Conference on Artificial Intelligence}, crossref = {conf/ausai/2012}, editor = {Thielscher, Michael and Zhang, Dongmo}, ee = {https://doi.org/10.1007/978-3-642-35101-3_42}, interhash = {75522c0e8f1de56378213238d0019444}, intrahash = {0c3c2f0458680ae4382be8e285345c0e}, isbn = {978-3-642-35100-6}, keywords = {dblp}, pages = {493-504}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T18:46:46.000+0200}, title = {A Goal-Oriented Algorithm for Unification in $\mathcal{ELH}_{R+}$ w.r.t. Cycle-Restricted Ontologies.}, url = {http://dblp.uni-trier.de/db/conf/ausai/ausai2012.html#BaaderBM12}, volume = 7691, year = 2012 }