%0 Conference Paper %1 conf/cade/BenderPS13 %A Bender, Markus %A Pelzer, Björn %A Schon, Claudia %B CADE %D 2013 %E Bonacina, Maria Paola %I Springer %K %P 126-134 %T System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic. %U http://dblp.uni-trier.de/db/conf/cade/cade2013.html#BenderPS13 %V 7898 %@ 978-3-642-38573-5

@inproceedings{conf/cade/BenderPS13, added-at = {2023-12-13T00:00:48.000+0100}, author = {Bender, Markus and Pelzer, Björn and Schon, Claudia}, biburl = {https://www.bibsonomy.org/bibtex/2e58a08bbdfb157be69351bfd9677b097/admin}, booktitle = {CADE}, crossref = {conf/cade/2013}, editor = {Bonacina, Maria Paola}, ee = {https://doi.org/10.1007/978-3-642-38574-2_8}, interhash = {5d8ad2d57f5049e00bcc5c0367a44af6}, intrahash = {e58a08bbdfb157be69351bfd9677b097}, isbn = {978-3-642-38573-5}, keywords = {}, pages = {126-134}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T00:00:48.000+0100}, title = {System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2013.html#BenderPS13}, volume = 7898, year = 2013 }