Keywords: description logic, logic programming, resolution, large data sets ... engine DLog, which is available at http://dlog-reasoner.sourceforge.net. ...... the benchmark we have used publicly available benchmark ontologies (LUBM.
Programming includes [7,8,9]. The Prolog Technology ..... The tests were performed on a Fujitsu-Siemens S7020 laptop with 1.25GB memory. A sample of the ...
data set â the so called ABox â is bigger than the available computer memory. We ...... Technically, we have to deal with top predicates because of a subtle difference ...... The tests were performed on a Fujitsu-Siemens S7020 laptop with a ...
Hein, Prolog Experiments in Discrete Mathematics, Logic, and Computability.pdf. Hein, Prolog Experiments in Discrete Mathematics, Logic, and Computability.
shop on Logic and Databases was ..... database system, databases store positive data only ...... directly by telephone, fax, email or simply mail your request to:.