FaCT++ Description Logic Reasoner: System Description
D. Tsarkov, и I. Horrocks. Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), том 4130 из Lecture Notes in Artificial Intelligence, стр. 292--297. Springer, (2006)
%0 Conference Paper
%1 Tsarkov2006
%A Tsarkov, D.
%A Horrocks, I.
%B Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006)
%D 2006
%I Springer
%K English FaCT++ OWL Reasoning Semantic Tableau Web _Diplomathesis
%P 292--297
%T FaCT++ Description Logic Reasoner: System Description
%V 4130
@inproceedings{Tsarkov2006,
added-at = {2008-01-26T07:18:56.000+0100},
author = {Tsarkov, D. and Horrocks, I.},
biburl = {https://www.bibsonomy.org/bibtex/20fc460cfaeded3696821f8a515c29bcd/haschek},
booktitle = {Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006)},
interhash = {cad0ee02a1674720e1077c9df58f9a7b},
intrahash = {0fc460cfaeded3696821f8a515c29bcd},
keywords = {English FaCT++ OWL Reasoning Semantic Tableau Web _Diplomathesis},
pages = {292--297},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
timestamp = {2008-01-26T07:18:56.000+0100},
title = {FaCT++ Description Logic Reasoner: System Description},
volume = 4130,
year = 2006
}