Fundamentos lógicos de las ontologías Web

Abstract

El artículo define las ontologías en el ámbito de la Web semántica, donde se las describe como artefactos representacionales, dispositivos jerárquicos constituidos por entidades y relaciones, y se las tipifica de acuerdo con su grado de generalidad y su funcionalidad. Se destacan los principios básicos que las rigen y las buenas prácticas a tener en cuenta a nivel lógico para su diseño e implementación. Presenta las características de la Basic Formal Ontology (BFO) orientada a sustentar las cuestiones lógicas de todo tipo de ontologías, define las clases que incluye, sus relaciones y principales axiomas. Subraya el impacto de la expresividad de los lenguajes utilizados al diseñar ontologías en cuanto a la resolución de los aspectos formales que influyen en la capacidad de éstas para generar inferencias automáticamente.