FaCT++ Description Logic Reasoner: System Description
FaCT++ Description Logic Reasoner: System Description is a scholarly work, published in 2006 in ''Lecture Notes in Computer Science''. The main subjects of the publication include Semantic Web, theoretical computer science, programming language, stream processing, ontology, semantic reasoner, computer science, FaCT++, description logic, range, and heuristic. This is a system description of the Description Logic reasoner FaCT++.