Name Last modified Size DescriptionApache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80
Parent Directory - tests/ 2017-07-28 16:32 - lib/ 2017-07-28 16:32 - OWLLocality.jar 2017-07-28 16:32 3.3K Java Archive OWLFactProver.jar 2017-07-28 16:32 8.9K Java Archive OWLFact.jar 2017-07-28 16:32 2.3K Java Archive OWL2Parser.jar 2017-07-28 16:32 15K Java Archive