Fundamentos lógicos de las ontologías Web

Elsa E. Barber; Silvia Pisano; Sandra Romagnoli; Gabriela de Pedro; Carolina Gregui; Nancy Blanco

doi:10.34096/ics.i41.6196

Elsa E. Barber Universidad de Buenos Aires. Facultad de Filosofía y Letras. Instituto de Investigaciones Bibliotecológicas. Ciudad Autónoma de Buenos Aires https://orcid.org/0000-0003-2970-1356
Silvia Pisano Universidad de Buenos Aires. Facultad de Filosofía y Letras. Instituto de Investigaciones Bibliotecológicas. Ciudad Autónoma de Buenos Aires https://orcid.org/0000-0003-1408-907X
Sandra Romagnoli Universidad de Buenos Aires. Facultad de Filosofía y Letras. Instituto de Investigaciones Bibliotecológicas. Ciudad Autónoma de Buenos Aires https://orcid.org/0000-0003-4479-3172
Gabriela de Pedro Universidad de Buenos Aires. Facultad de Filosofía y Letras. Instituto de Investigaciones Bibliotecológicas. Ciudad Autónoma de Buenos Aires https://orcid.org/0000-0001-9409-2644
Carolina Gregui Universidad de Buenos Aires. Facultad de Filosofía y Letras. Instituto de Investigaciones Bibliotecológicas. Ciudad Autónoma de Buenos Aires https://orcid.org/0000-0003-2916-3543
Nancy Blanco Universidad de Buenos Aires. Facultad de Filosofía y Letras. Instituto de Investigaciones Bibliotecológicas. Ciudad Autónoma de Buenos Aires https://orcid.org/0000-0002-4218-6187

DOI: https://doi.org/10.34096/ics.i41.6196

Palabras clave: Lógica, Diseño, Ontologia, Web, BFO, Basic Formal Ontology

Resumen

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.

Descargas

La descarga de datos todavía no está disponible.

Citas

Arp, Robert y Barry Smith. 2008. Function, Role, and Disposition in Basic Formal Ontology [preprint]. <http://precedings.nature.com/documents/1941/version/1> [Consulta: 19 enero 2018].

Arp, Robert y Barry Smith. 2011. Realizable Entities in Basic Formal Ontology (revised version). <http://ontology.buffalo.edu/smith/articles/realizables.pdf> [Consulta: 15 enero 2018].

Arp, Robert y Barry Smith y Andrew D. Spear. 2015. Building Ontologies with Basic Formal Ontology. Cambridge, MA: The MIT Press.

Gruber, Thomas R. 1993. A translation approach to portable ontology specifications. En Knowledge Acquisition. Vol. 5, no. 2, 199-220. < http://tomgruber.org/writing/ontolingua-kaj-1993.pdf> [Consulta: 15 enero 2018].

Guarino, Nicola. 1995. Formal ontology, conceptual analysis and knowledge representation. En International Journal of Human-Computer Studies. Vol. 43, nos., 5-6, 625-640. <https://www.sciencedirect.com/journal/international-journal-of-human-computer-studies/vol/43/issue/5> [Consulta: 15 enero 2018].

Guarino, Nicola. 1998. Formal Ontology and Information Systems. Versión modificada del artículo publicado en Guarino, N., ed. Formal Ontology in Information Systems. Proceedings of FOIS’98 (6-8 June 1998: Trento, Italy). Amsterdam: IOS Press, p. 3-15. <https://www.academia.edu/516497/Formal_ontology_in_information_systems> [Consulta: 9 enero 2018].

Guarino, Nicola y Christopher Welty. 2000. A Formal Ontology of Properties. En Dieng, Rose y Olivier Corby, eds. Knowledge Engineering and Knowledge Management: Methods, Models, and Tools: 12th International Conference, EKAW 2000. Proceedings (2-6 October 2000: Juan-les-Pins, France). Berlin: Springer, p. 97-112. <https://archive.org/stream/springer_10.1007-3-540-39967-4/10.1007-3-540-39967-4_djvu.txt> [Consulta: 9 enero 2018].

Guarino, Nicola y Christopher Welty. 2009. An Overview of OntoClean. En Staab, S. y Studer, R. eds. Handbook on ontologies. Berlin: Springer, p. 201-220. <https://www.researchgate.net/publication/226934944_An_Overview_of_OntoClean> [Consulta: 3 febrero 2018].

Guarino, Nicola, Daniel Oberle y Steffen Staab. 2009. What is an Ontology? En Staab, Steffen. y Studer, R. eds. Handbook on ontologies. Berlin: Springer, p. 1-17. <http://www.iaoa.org/isc2012/docs/Guarino2009_What_is_an_Ontology.pdf> [Consulta: 3 febrero 2018].

Mascardi, Viviana., Valentina Cordì y Paolo Rosso. 2007. A Comparison of Upper Ontologies. <https://www.researchgate.net/publication/220866366_A_Comparison_of_Upper_Ontologies> [Consulta: 3 febrero 2018].

Poli, Roberto, Michael Healy y Achilles. D. Kameas. eds. 2010. Theory and Applications of Ontology: Computer Applications, Berlin: Springer Science+Business Media B.V. <http://marte.aslab.upm.es/redmine/files/dmsf/p_oasys/160623124554_195_Poli_-_Theory_and_Applications_of_Ontology.pdf> [Consulta: 15 de noviembre de 2018].

Shaw, Marianne, Landon T. Detwiler, James M. Brinkley y Dan Suciu. 2008. Generating Application Ontologies from Reference Ontologies. En AMIA 2008 Symposium Proceedings. Bethesda, Maryland, p. 672-676. <http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.500.4289&rep=rep1&type=pdf> [Consulta: 9 enero 2018].

Smith, Barry. 1998. Basic Concepts of Formal Ontology. En Guarino, Nicola, ed. Formal Ontology in Information Systems. Amsterdam: IOS Press, p. 19-28. <https://philarchive.org/archive/SMITBT> [Consulta: 30 agosto 2016].

Smith, Barry. 2015. Basic Formal Ontology 2.0: Specification and user’s guide. <https://raw.githubusercontent.com/BFO-ontology/BFO/v2.0/BFO2-Reference.docx> [Consulta: 3 febrero 2018].

Smith, Barry, Werner Ceusters, Bert Klagges, Jakob Köhler, Anand Kumar, Jane Lomax, Chris Mungall, Fabian Neuhaus, Alan L. Rector y Cornelius Rosse. 2005. Relations in Biomedical Ontologies. En Genome Biology. Vol. 6, no. 5 R46, 1-15. <https://doi.org/10.1186/gb-2005-6-5-r46> [Consulta: 7 febrero 2018].

Smith, Barry, Waclaw Kusnierczyk, Daniel Schober y Werner Ceusters. 2006. Towards a Reference Terminology for Ontology Research and Development in the Biomedical Domain. En Bodenreider, O., ed. Proceedings of the 2nd International Workshop on Formal Biomedical Knowledge Representation (2nd; 2006). Trabajos presentados. Baltimore, MD: KR-MED Publications. Vol. 222, p. 57-66. <http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.142.9278&rep=rep1&type=pdf> [Consulta: 10 agosto 2016].

Vitturini, Mercedes y Pablo Rubén Fillottrani. 2012. Ontologies Models Cohesiveness: A First Assessment of Integration. En Journal of Computer Science & Technology. Vol. 12, no. 3, 104-109. <http://hdl.handle.net/10915/22053> [Consulta: 5 enero 2018].

Wache, Holger, Thomas Vögele, Ubbo Visser, Heiner Stuckenschmidt, G. Schuster, H. Neumann y Sebastian Hübner. 2001. Ontology-based Integration of Information - A Survey of Existing Approaches, En Proceedings of IJCAI-01 Workshop: Ontologies and Information Sharing. Seattle, WA, p. 108-117. <http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.142.4390&rep=rep1&type=pdf> [Consulta: 5 enero 2018].