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/esws/ZhangXL09
%A Zhang, Xiaowang
%A Xiao, Guohui
%A Lin, Zuoquan
%B ESWC
%D 2009
%E Aroyo, Lora
%E Traverso, Paolo
%E Ciravegna, Fabio
%E Cimiano, Philipp
%E Heath, Tom
%E Hyvönen, Eero
%E Mizoguchi, Riichiro
%E Oren, Eyal
%E Sabou, Marta
%E Simperl, Elena
%I Springer
%K dblp
%P 399-413
%T A Tableau Algorithm for Handling Inconsistency in OWL.
%U http://dblp.uni-trier.de/db/conf/esws/eswc2009.html#ZhangXL09
%V 5554
%@ 978-3-642-02120-6
@inproceedings{conf/esws/ZhangXL09,
added-at = {2022-10-02T00:00:00.000+0200},
author = {Zhang, Xiaowang and Xiao, Guohui and Lin, Zuoquan},
biburl = {https://www.bibsonomy.org/bibtex/20a41b0cb11eb951a83d6744913ef701e/dblp},
booktitle = {ESWC},
crossref = {conf/esws/2009},
editor = {Aroyo, Lora and Traverso, Paolo and Ciravegna, Fabio and Cimiano, Philipp and Heath, Tom and Hyvönen, Eero and Mizoguchi, Riichiro and Oren, Eyal and Sabou, Marta and Simperl, Elena},
ee = {https://doi.org/10.1007/978-3-642-02121-3_31},
interhash = {cb3c2adc27f3f1036c1f0db2402ede2b},
intrahash = {0a41b0cb11eb951a83d6744913ef701e},
isbn = {978-3-642-02120-6},
keywords = {dblp},
pages = {399-413},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T16:21:44.000+0200},
title = {A Tableau Algorithm for Handling Inconsistency in OWL.},
url = {http://dblp.uni-trier.de/db/conf/esws/eswc2009.html#ZhangXL09},
volume = 5554,
year = 2009
}