log OPPL/test-data/ontology/single/inference_test.owl @ 16:6c25e717c896 draft

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