log OPPL/test-data/ontology/single/inference_test.owl @ 11:6ca67b155e32

age author description
Fri, 09 Mar 2012 16:15:27 +0100 Mikel EgaƱa Aranguren Imports simplified, new tool for inference added