Fundamentos lógicos de las ontologías Web

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 de acuerdo con la Basic Formal Ontology (BFO), orientada a sustentar las cuestiones lógicas de todo tipo de ontologías. Esquematiza las clases que incluye BFO, 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.