%0 Conference Paper %1 conf/iwost/YeOS15 %A Ye, Yuxin %A Ouyang, Dantong %A Su, Jing %B IWOST-1 %D 2015 %E Hölldobler, Steffen %E Liang, Yanchun %I CEUR-WS.org %K dblp %P 105-115 %T Entailment-based Axiom Pinpointing in Debugging Incoherent Terminologies. %U http://dblp.uni-trier.de/db/conf/iwost/iwost2015.html#YeOS15 %V 1339

@inproceedings{conf/iwost/YeOS15, added-at = {2023-03-10T00:00:00.000+0100}, author = {Ye, Yuxin and Ouyang, Dantong and Su, Jing}, biburl = {https://www.bibsonomy.org/bibtex/2363747241c8aed84ade7ef39ff195ed8/dblp}, booktitle = {IWOST-1}, crossref = {conf/iwost/2015}, editor = {Hölldobler, Steffen and Liang, Yanchun}, ee = {https://ceur-ws.org/Vol-1339/paper10.pdf}, interhash = {0ee340b6caecfb41a6dc1958556d908e}, intrahash = {363747241c8aed84ade7ef39ff195ed8}, keywords = {dblp}, pages = {105-115}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T01:51:03.000+0200}, title = {Entailment-based Axiom Pinpointing in Debugging Incoherent Terminologies.}, url = {http://dblp.uni-trier.de/db/conf/iwost/iwost2015.html#YeOS15}, volume = 1339, year = 2015 }