http://purl.net/dol/entityKinds/CL/Name
http://purl.net/dol/entityKinds/CL/SequenceMarker
http://purl.net/dol/entityKinds/OWL2/AnnotationProperty
http://purl.net/dol/entityKinds/OWL2/Class
http://purl.net/dol/entityKinds/OWL2/DataProperty
http://purl.net/dol/entityKinds/OWL2/Datatype
http://purl.net/dol/entityKinds/OWL2/NamedIndividual
http://purl.net/dol/entityKinds/OWL2/ObjectProperty
http://purl.net/dol/languages/CASL
http://purl.net/dol/languages/CommonLogic
http://purl.net/dol/languages/F-logic
http://purl.net/dol/languages/OBO/1.3
http://purl.net/dol/languages/OBO/1.4
http://purl.net/dol/languages/OWL2/DL
http://purl.net/dol/languages/OWL2/EL
http://purl.net/dol/languages/OWL2/Full
http://purl.net/dol/languages/OWL2/QL
http://purl.net/dol/languages/OWL2/RL
http://purl.net/dol/languages/RDF
http://purl.net/dol/languages/SATLIB
http://purl.net/dol/languages/THF0
http://purl.net/dol/languages/TPTP
http://purl.net/dol/logics/ChurchSimpleTypeTheory
http://purl.net/dol/logics/CommonLogic
http://purl.net/dol/logics/CommonLogic/WithoutSequences
http://purl.net/dol/logics/DDLOWL
http://purl.net/dol/logics/DLLiteR
http://purl.net/dol/logics/ECoFOLeq
http://purl.net/dol/logics/ECoOWL
http://purl.net/dol/logics/ELplusplus
http://purl.net/dol/logics/F-logic
http://purl.net/dol/logics/FOL
http://purl.net/dol/logics/FOLeq
http://purl.net/dol/logics/FOLeqms
http://purl.net/dol/logics/OBOOWL
http://purl.net/dol/logics/OWL2/Full
http://purl.net/dol/logics/OWL2/RL
http://purl.net/dol/logics/Propositional
http://purl.net/dol/logics/RDF
http://purl.net/dol/logics/RDFS
http://purl.net/dol/logics/RDF/Simple
http://purl.net/dol/logics/RelationalSchema
http://purl.net/dol/logics/SROIQ
http://purl.net/dol/logics/SubPCFOLeq
http://purl.net/dol/projections/ChurchSimpleTypeTheoryToSubPCFOLeq
http://purl.net/dol/projections/ECoFOLeqToECoOWL
http://purl.net/dol/projections/FOLeqmsToPropositional
http://purl.net/dol/projections/FOLeqToSROIQ
http://purl.net/dol/projections/OWL2FullToRDFS
http://purl.net/dol/projections/RDFStoRDF
http://purl.net/dol/projections/RDFtoSimpleRDF
http://purl.net/dol/projections/SROIQtoDLLiteR
http://purl.net/dol/projections/SROIQtoELplusplus
http://purl.net/dol/projections/SROIQtoOWL2RL
http://purl.net/dol/projections/SubPCFOLeqToFOLeqms
http://purl.net/dol/registry
http://purl.net/dol/serializations/CommonLogic/CGIF
http://purl.net/dol/serializations/CommonLogic/CLIF
http://purl.net/dol/serializations/CommonLogic/XCL
http://purl.net/dol/serializations/OWL2/Manchester
http://purl.net/dol/serializations/OWL2/XML
http://purl.net/dol/serializations/RDF/Turtle
http://purl.net/dol/serializations/RDF/XML
http://purl.net/dol/translations/CLWithoutSequencesToCommonLogic
http://purl.net/dol/translations/CLWithoutSequencesToFOLeq
http://purl.net/dol/translations/CommonLogicToCASL
http://purl.net/dol/translations/CommonLogicToSubPCFOLeq
http://purl.net/dol/translations/DDLOWLtoECoOWL
http://purl.net/dol/translations/DLLiteRtoSROIQ
http://purl.net/dol/translations/ECoFOLeqToFOLeqms
http://purl.net/dol/translations/ECoOWLtoECoFOLeq
http://purl.net/dol/translations/ECoOWLtoSROIQ
http://purl.net/dol/translations/ELplusplusToOBOOWL
http://purl.net/dol/translations/ELplusplusToSROIQ
http://purl.net/dol/translations/F-logicToFOLeq
http://purl.net/dol/translations/FOLeqmsToFOLeq
http://purl.net/dol/translations/FOLeqmsToSubPCFOLeq
http://purl.net/dol/translations/FOLeqToCLWithoutSequences
http://purl.net/dol/translations/FOLeqToCommonLogic
http://purl.net/dol/translations/FOLeqToECoFOLeq
http://purl.net/dol/translations/FOLeqToF-logic
http://purl.net/dol/translations/FOLeqToFOLeqms
http://purl.net/dol/translations/OBOOWLtoSROIQ
http://purl.net/dol/translations/OWL2FullToFOLeq
http://purl.net/dol/translations/OWL2RLtoSROIQ
http://purl.net/dol/translations/PropositionalToCommonLogic
http://purl.net/dol/translations/PropositionalToFOLeq
http://purl.net/dol/translations/PropositionalToFOLeqms
http://purl.net/dol/translations/PropositionalToPropositionalCNF
http://purl.net/dol/translations/PropositionalToSROIQ
http://purl.net/dol/translations/RDFStoFOLeq
http://purl.net/dol/translations/RDFStoOWL2Full
http://purl.net/dol/translations/RDFtoFOLeq
http://purl.net/dol/translations/RDFtoRDFS
http://purl.net/dol/translations/RDFtoSROIQ
http://purl.net/dol/translations/RelationalSchemaToFOLeqms
http://purl.net/dol/translations/SATLIBtoCASL
http://purl.net/dol/translations/SimpleRDFtoFOLeq
http://purl.net/dol/translations/SimpleRDFtoRDF
http://purl.net/dol/translations/SimpleRDFtoSROIQ
http://purl.net/dol/translations/SROIQtoCommonLogic
http://purl.net/dol/translations/SROIQtoDDLOWL
http://purl.net/dol/translations/SROIQtoF-logic
http://purl.net/dol/translations/SROIQtoFOLeq
http://purl.net/dol/translations/SROIQtoOWL2Full
http://purl.net/dol/translations/SubPCFOLeqToChurchSimpleTypeTheory