%0 Conference Paper %1 FactPlus %A Tsarkov, D. %A Horrocks, I. %B Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006) %D 2006 %I Springer %K DLs reasoner %P 292--297 %T FaCT++ Description Logic Reasoner: System Description %V 4130

@inproceedings{FactPlus, added-at = {2008-11-17T23:59:04.000+0100}, author = {Tsarkov, D. and Horrocks, I.}, biburl = {https://www.bibsonomy.org/bibtex/20fc460cfaeded3696821f8a515c29bcd/marciomr}, booktitle = {Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006)}, interhash = {cad0ee02a1674720e1077c9df58f9a7b}, intrahash = {0fc460cfaeded3696821f8a515c29bcd}, keywords = {DLs reasoner}, pages = {292--297}, publisher = {Springer}, series = {Lecture Notes in Artificial Intelligence}, timestamp = {2008-11-17T23:59:04.000+0100}, title = {FaCT++ Description Logic Reasoner: System Description}, volume = 4130, year = 2006 }