Reasoner Performance on Ontologies for Operations Topics: Applications and Case-Studies; Human-Machine Cooperation; Knowledge Acquisition; Ontology Engineering In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 0IC3K, 304-311, 2014 , Rome, Italy