%0 Conference Paper %1 conf/semweb/SchmidtT07 %A Schmidt, Renate A. %A Tishkovsky, Dmitry %B ISWC/ASWC %D 2007 %E Aberer, Karl %E Choi, Key-Sun %E Noy, Natasha Fridman %E Allemang, Dean %E Lee, Kyung-Il %E Nixon, Lyndon J. B. %E Golbeck, Jennifer %E Mika, Peter %E Maynard, Diana %E Mizoguchi, Riichiro %E Schreiber, Guus %E Cudré-Mauroux, Philippe %I Springer %K dblp %P 438-451 %T Using Tableau to Decide Expressive Description Logics with Role Negation. %U http://dblp.uni-trier.de/db/conf/semweb/iswc2007.html#SchmidtT07 %V 4825 %@ 978-3-540-76297-3

@inproceedings{conf/semweb/SchmidtT07, added-at = {2019-09-25T00:00:00.000+0200}, author = {Schmidt, Renate A. and Tishkovsky, Dmitry}, biburl = {https://www.bibsonomy.org/bibtex/2d457bab3e59f94a7238df1472f7d91d0/dblp}, booktitle = {ISWC/ASWC}, crossref = {conf/semweb/2007}, editor = {Aberer, Karl and Choi, Key-Sun and Noy, Natasha Fridman and Allemang, Dean and Lee, Kyung-Il and Nixon, Lyndon J. B. and Golbeck, Jennifer and Mika, Peter and Maynard, Diana and Mizoguchi, Riichiro and Schreiber, Guus and Cudré-Mauroux, Philippe}, ee = {https://doi.org/10.1007/978-3-540-76298-0_32}, interhash = {e74efa71b2a3da90ce5fa275aca9461a}, intrahash = {d457bab3e59f94a7238df1472f7d91d0}, isbn = {978-3-540-76297-3}, keywords = {dblp}, pages = {438-451}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T13:28:14.000+0200}, title = {Using Tableau to Decide Expressive Description Logics with Role Negation.}, url = {http://dblp.uni-trier.de/db/conf/semweb/iswc2007.html#SchmidtT07}, volume = 4825, year = 2007 }