I would recommend using protégé-owl, so indeed, some version of Description Logic.
Bear in mind that some language restrictions of DL are tractable depending on what problem you want to solve with them.
You could also use good'ol first-order logic to represent the knowledge, and do reasoning with a state-of-the-art FOL prover. Also, PROLOG.
http://protege.stanford.edu/products.php is an ontology editor (open source). Probably not very suited to your needs, but I think that any good knowledge management should at least have some support for binding to a proper ontology.
This is an area where much research have and is being done, so seems like a good idea to piggyback on it.
The backside is that ontology technology is a bit rigid (the foundation is logic). How to make it fit with a more human way of thinking (ie. less logical :)) is not obvious.
I think that a cool project would be to allow org to easily refer to and define ontology concepts, and automatically keep the org files in sync with an underlying rdf database
I previously installed Protege, but as can be seen from this screenshot, it's way too complicated and requires deep knowledge of the standards.
http://protege.stanford.edu/assets/img/screenshots/desktopprotege-screenshot-1.jpg