El sentido filosófico del término ontología hace referencia a la esencia misma del ser, a su existencia (onto=ser). Para un sistema inteligente lo que existe es lo que puede representarse. En informática una ontología se ha definido como una conceptualización formal y compartida de un dominio. Actualmente las ontologías tienen un rol clave en el desarrollo de laWeb Semántica, pero también están siendo usadas en otros dominios como la biomedicina, agricultura, defensa, robótica y astronomía.En la investigación llevada a cabo en esta tesis nos hemos centrado en el diseño y desarrollo de métodos generales y técnicas basadas en la lógica para dar soporte y respaldar el desarrollo de ontologías en varias de sus fases. La biomedicina ha sido seleccionada como dominio de aplicación debido a la gran cantidad de recursos de conocimiento que hay disponibles. Sin embargo, nuestra tecnología puede ser extendida y aplicada en otros dominios.Cabe destacar que nuestros métodos y técnicas han sido diseñados para el lenguaje de definición de ontologías OWL (Ontology Web Language) y su lógica de descripción subyacente SROIQ; sin embargo, también pueden ser aplicados sobre otros formalismos de definición de ontologías (ej: OBO), siempre y cuando puedan ser expresados en OWL.Como prueba de concepto hemos implementado un conjunto de herramientas basadas en los métodos y técnicas diseñados en la tesis. Estas herramientas han sido desarrolladas sobre el interfaz OWL API y diseñadas para el editor de ontologías Protégé.No obstante podrían ser extendidas e integradas en otros marcos de trabajo como el toolkit de NeOn.