%0 Conference Paper %1 conf/rr/MartinezWH13 %A Carral, David %A Wang, Cong %A Hitzler, Pascal %B RR %D 2013 %E Faber, Wolfgang %E Lembo, Domenico %I Springer %K dblp %P 65-79 %T Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas. %U http://dblp.uni-trier.de/db/conf/rr/rr2013.html#MartinezWH13 %V 7994 %@ 978-3-642-39665-6

@inproceedings{conf/rr/MartinezWH13, added-at = {2019-11-05T00:00:00.000+0100}, author = {Carral, David and Wang, Cong and Hitzler, Pascal}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2561e1bc047b09aa7f7c0ff27557e7c34/dblp}, booktitle = {RR}, crossref = {conf/rr/2013}, editor = {Faber, Wolfgang and Lembo, Domenico}, ee = {https://doi.org/10.1007/978-3-642-39666-3_6}, interhash = {95102f96ddcf771dc9f806a635323297}, intrahash = {561e1bc047b09aa7f7c0ff27557e7c34}, isbn = {978-3-642-39665-6}, keywords = {dblp}, pages = {65-79}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-26T08:21:40.000+0100}, title = {Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas.}, url = {http://dblp.uni-trier.de/db/conf/rr/rr2013.html#MartinezWH13}, volume = 7994, year = 2013 }