Fundamentos lógicos de las ontologías Web

• Barber, Elsa E. ^[1] ; Pisano, Silvia ^[1] ; Romagnoli, Sandra ^[1] ; de Pedro, Gabriela ^[1] ; Gregui, Carolina ^[1] ; Blanco, Nancy ^[1]
  1. [1] Universidad de Buenos Aires. Facultad de Filosofía y Letras. Instituto de Investigaciones Bibliotecológicas. Ciudad Autónoma de Buenos Aires
• Localización: Información, cultura y sociedad, ISSN-e 1851-1740, ISSN 1514-8327, Nº. 41, 2019, págs. 81-100
• Idioma: español
• Títulos paralelos:
  • Logical foundations of Web ontologies
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    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.

     

  • English

    The article defines the ontologies in the Semantic Web, where they are described as representational artifacts, hierarchical devices constituted by entities and relationships, and are typified according to their degree of generality and functionality. It highlights the basic principles that govern them and good practices to be taken into account at the logical level for their design and implementation in accordance with the Basic Formal Ontology (BFO) oriented to support the logical issues of all types of ontologies. It defines the classes that BFO includes, its relationships and main axioms. It emphasizes the impact of the expressiveness of the languages used when designing ontologies in terms of the resolution of formal aspects that influence the ability of these to generate inferences automatically.