Searched refs:Fact (Results 1 - 6 of 6) sorted by relevance

/hets/OWL2/java/de/unibremen/informatik/Fact/
H A DFact.java1 package de.unibremen.informatik.Fact;
12 class Fact { class
/hets/doc/
H A DUserGuide.tex1875 \subsection{Fact++}
1876 Fact++ is a \DL-reasoner for \SROIQ, which is the logic underlying OWL 2, written in
1877 C++. Fact++ is integrated into \Hets via the OWL-API, which is written in Java.
1878 A Java Runtime Environment (in version $>= 1.6$) has to be installed. To use Fact++,
1899 in a 64bits-Linux-system. Fact++ does not support options.
1901 Fact++ uses the same ATP GUI as the provers for SoftFOL (ref. to section
/hets/GMP/papers/conditional/
H A Dentcs.cls477 \newtheorem{fact}[thm]{Fact}
/hets/GMP/papers/heterogenous/
H A Dentcs.cls477 \newtheorem{fact}[thm]{Fact}
/hets/GMP/papers/optInWork/
H A Dentcs.cls477 \newtheorem{fact}[thm]{Fact}
/hets/GMP/papers/optimizing/
H A Dentcs.cls477 \newtheorem{fact}[thm]{Fact}

Completed in 26 milliseconds