log OPPL/test-data/ontology/single/inference_test.owl @ 13:7e6604a5ee55

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