Formal Ontology Ontological Engineering Logic and Knowledge Representation Knowledge and Information Management Applications in Health Care Applications in Life Sciences