Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
ChurchSimpleTypeTheory | 2014-10-10 11:27 | 1.7K | ||
CommonLogic/ | 2014-10-10 11:27 | - | ||
DDLOWL | 2014-10-10 11:27 | 2.3K | ||
DLLiteR | 2014-10-10 11:27 | 2.5K | ||
ECoFOLeq | 2014-10-10 11:27 | 3.0K | ||
ECoOWL | 2014-10-10 11:27 | 3.5K | ||
ELplusplus | 2014-10-10 11:27 | 3.8K | ||
F-logic | 2014-10-10 11:27 | 2.5K | ||
FOL | 2014-10-10 11:27 | 1.2K | ||
FOLeq | 2014-10-10 11:27 | 9.2K | ||
FOLeqms | 2014-10-10 11:27 | 5.1K | ||
OBOOWL | 2014-10-10 11:27 | 2.3K | ||
OWL2/ | 2014-10-10 10:38 | - | ||
Propositional | 2014-10-10 11:27 | 5.8K | ||
RDF/ | 2014-10-10 11:27 | - | ||
RDFS | 2014-10-10 11:27 | 4.7K | ||
RelationalSchema | 2014-10-10 11:27 | 1.7K | ||
SROIQ | 2014-10-10 11:27 | 11K | ||
SubPCFOLeq | 2014-10-10 11:27 | 3.5K | ||