ParentFull threadudp·OWL2 does a good job of formalising these things. What they call concepts and categories would be Classes in OWL. What they call data would be Individuals.View on HN