Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}