Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
SubPCFOLeqToFOLeqms | 2014-10-10 11:27 | 1.6K | ||
SROIQtoOWL2RL | 2014-10-10 11:27 | 1.5K | ||
SROIQtoELplusplus | 2014-10-10 11:27 | 1.5K | ||
SROIQtoDLLiteR | 2014-10-10 11:27 | 1.5K | ||
RDFtoSimpleRDF | 2014-10-10 11:27 | 1.5K | ||
RDFStoRDF | 2014-10-10 11:27 | 1.5K | ||
OWL2FullToRDFS | 2014-10-10 11:27 | 1.5K | ||
FOLeqmsToPropositional | 2014-10-10 11:27 | 1.6K | ||
FOLeqToSROIQ | 2014-10-10 11:27 | 1.5K | ||
ECoFOLeqToECoOWL | 2014-10-10 11:27 | 1.6K | ||
ChurchSimpleTypeTheo..> | 2014-10-10 11:27 | 1.6K | ||