Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
CLWithoutSequencesTo..> | 2014-10-10 11:27 | 1.7K | ||
CLWithoutSequencesTo..> | 2014-10-10 11:27 | 1.6K | ||
CommonLogicToCASL | 2014-10-10 11:27 | 962 | ||
CommonLogicToSubPCFOLeq | 2014-10-10 11:27 | 1.7K | ||
DDLOWLtoECoOWL | 2014-10-10 11:27 | 1.7K | ||
DLLiteRtoSROIQ | 2014-10-10 11:27 | 1.8K | ||
ECoFOLeqToFOLeqms | 2014-10-10 11:27 | 1.7K | ||
ECoOWLtoECoFOLeq | 2014-10-10 11:27 | 1.8K | ||
ECoOWLtoSROIQ | 2014-10-10 11:27 | 1.7K | ||
ELplusplusToOBOOWL | 2014-10-10 11:27 | 1.2K | ||
ELplusplusToSROIQ | 2014-10-10 11:27 | 1.8K | ||
F-logicToFOLeq | 2014-10-10 11:27 | 1.7K | ||
FOLeqToCLWithoutSequ..> | 2014-10-10 11:27 | 1.5K | ||
FOLeqToCommonLogic | 2014-10-10 11:27 | 1.5K | ||
FOLeqToECoFOLeq | 2014-10-10 11:27 | 1.7K | ||
FOLeqToF-logic | 2014-10-10 11:27 | 1.7K | ||
FOLeqToFOLeqms | 2014-10-10 11:27 | 1.7K | ||
FOLeqmsToFOLeq | 2014-10-10 11:27 | 1.6K | ||
FOLeqmsToSubPCFOLeq | 2014-10-10 11:27 | 1.8K | ||
OBOOWLtoSROIQ | 2014-10-10 11:27 | 1.7K | ||
OWL2FullToFOLeq | 2014-10-10 11:27 | 1.7K | ||
OWL2RLtoSROIQ | 2014-10-10 11:27 | 1.8K | ||
PropositionalToCommo..> | 2014-10-10 11:27 | 1.5K | ||
PropositionalToFOLeq | 2014-10-10 11:27 | 1.5K | ||
PropositionalToFOLeqms | 2014-10-10 11:27 | 1.8K | ||
PropositionalToPropo..> | 2014-10-10 11:27 | 1.3K | ||
PropositionalToSROIQ | 2014-10-10 11:27 | 1.9K | ||
RDFStoFOLeq | 2014-10-10 11:27 | 1.7K | ||
RDFStoOWL2Full | 2014-10-10 11:27 | 1.8K | ||
RDFtoFOLeq | 2014-10-10 11:27 | 1.7K | ||
RDFtoRDFS | 2014-10-10 11:27 | 1.7K | ||
RDFtoSROIQ | 2014-10-10 11:27 | 1.4K | ||
RelationalSchemaToFO..> | 2014-10-10 11:27 | 1.8K | ||
SATLIBtoCASL | 2014-10-10 11:27 | 940 | ||
SROIQtoCommonLogic | 2014-10-10 11:27 | 1.6K | ||
SROIQtoDDLOWL | 2014-10-10 11:27 | 1.7K | ||
SROIQtoF-logic | 2014-10-10 11:27 | 1.3K | ||
SROIQtoFOLeq | 2014-10-10 11:27 | 1.6K | ||
SROIQtoOWL2Full | 2014-10-10 11:27 | 1.5K | ||
SimpleRDFtoFOLeq | 2014-10-10 11:27 | 1.7K | ||
SimpleRDFtoRDF | 2014-10-10 11:27 | 1.8K | ||
SimpleRDFtoSROIQ | 2014-10-10 11:27 | 1.5K | ||
SubPCFOLeqToChurchSi..> | 2014-10-10 11:27 | 1.9K | ||