Fundamentos lógicos de las ontologías Web

El articulo define las ontologias en el ambito de la Web semantica, donde se las describe como artefactos representacionales, dispositivos jerarquicos constituidos por entidades y relaciones, y se las tipifica de acuerdo con su grado de generalidad y su funcionalidad. Se destacan los principios basicos que las rigen y las buenas practicas a tener en cuenta a nivel logico para su diseno e implementacion. Presenta las caracteristicas de la Basic Formal Ontology (BFO) orientada a sustentar las cuestiones logicas de todo tipo de ontologias, define las clases que incluye, sus relaciones y principales axiomas. Subraya el impacto de la expresividad de los lenguajes utilizados al disenar ontologias en cuanto a la resolucion de los aspectos formales que influyen en la capacidad de estas para generar inferencias automaticamente.