Logical foundations of Web ontologies

Authors

  • B 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

Keywords:

Logic, Web, BFO, Basic Formal Ontology, Ontology, Design

Abstract

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.

Downloads

Download data is not yet available.

References

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].

Downloads

Published

2019-11-14

Issue

No. 41 (2019): December

Section

Articles

License

Authors publishing in this journal acknowledge the conditions below:

  1. Authors retain the copyright of their work while they transfer the right of the first publishing to the journal, under the Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) Licence, which allows third parties to reproduce them under the condition that express mention is given to the author and to its original publication in the journal.
  2. Authors may enter into other contractual and independent arrangements for the non-exclusive distribution of the version of the article published in this journal (for instance, it can be published in an institutional repository or in a book). In any case, an express mention should be given to its first publication in the journal.
  3. It is permitted and encouraged to publish online the articles (for example, on institutional or personal pages).

How to Cite

Logical foundations of Web ontologies. (2019). Información, Cultura Y Sociedad, 41, 81-100. https://doi.org/10.34096/ics.i41.6196

Most read articles by the same author(s)

1 2 3 > >>