Fundamentos lógicos de las ontologías Web

Barber, Elsa E., Pisano, Silvia, Romagnoli, Sandra, De Pedro, Gabriela, Gregui, Carolina and Blanco, Nancy Fundamentos lógicos de las ontologías Web. Información, cultura y sociedad, 2019, n. 41, pp. 81-100. [Journal article (Paginated)]

[thumbnail of ICS41Barber.pdf]
Preview
 Text
ICS41Barber.pdf - Published version
Available under License Creative Commons Attribution Share Alike.
Download (284kB) | Preview

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

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

Item type: Journal article (Paginated)
Keywords: Lógica, Diseño, Ontologia, Web, BFO, Basic Formal Ontology, Logic, Design
Subjects: I. Information treatment for information services > IL. Semantic web
Depositing user: Graciela Giunti
Date deposited: 05 Aug 2020 00:49
Last modified: 05 Aug 2020 00:49
URI: http://hdl.handle.net/10760/40212

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

Downloads per month over past year

Actions (login required)

View Item View Item
Contact us
Send email Sponsors
Sponsor: AIMS Sponsor: D&P Sponsor: UniNa CAB Get connected
Facebook Facebook Twitter Twitter Linkedin LinkedIn RSS RSS