Publicado

2002-01-01

Una propuesta de la lógica terminológica: El lenguaje de conceptos

DOI:

https://doi.org/10.15446/ing.investig.n49.21415

Palabras clave:

Inteligencia artificial, Concepto, Lógica terminológica, Lógica descriptiva, Lenguaje de conceptos, Subsumisión, Conceptos primitivos, Conceptos definidos, Expresión de conceptos, Rol, Interpretación, Axiomas terminológicos y aseverativos (es)
Artificial intelligence, Concept, Logic terminology, Descriptive logic, Language concepts, Subsumption, Primitive concepts, Defined concepts, Expression concepts, Role, Interpretation, Axioms terminology and assertive (en)

Descargas

Autores/as

  • Luis Ignacio Lizcano Bueno Universidad Nacional de Colombia
  • Luis Roberto Ojeda Ch. Universidad Nacional de Colombia

El presente artículo describe los lenguajes de conceptos o lógicas descriptivas (DLs: Description Logics) de la familia KLONE. Los lenguajes de conceptos permiten representar el conocimiento de un dominio por medio de conceptos y roles, donde los conceptos modelan clases de individuos y los roles especifican relaciones entre las clases. De la combinación de conceptos atómicos y roles atómicos con adecuados constructores se generan expresiones de conceptos. Los lenguajes de conceptos están dotados de la semántica declarativa al estilo de Tarski, donde los conceptos son interpretados como subconjuntos de un dominio, y los roles como relaciones binarias. La semántica de conceptos identifica los lenguajes de conceptos como fragmentos de la lógica de predicados de primer orden. El razonamiento sobre los conceptos está basado en la relación de subsumisión. Esta relación implícitamente define una taxonomía entre los conceptos.

This paper describes the concept languages or description logics (DLs) of the KL-ONE family. The concept languages allow to represent the knowledge of a domain by the concepts and roles, where the concepts model individual classes and roles determine relationships between the classes. Of the combination of atomic concepts and atomic roles with suitable constructors can be generated concept expressions. The concept languages are given a Tarski style declarative semantics where the concepts are interpreted as subsets of a domain and roles as binary relations. The semantics of concepts identifies concept languages as fragments of first order predicate logic. The reasoning over the concepts is based in the subsumption relationship. Which implicitly defines a taxonomic between the concepts.

Referencias

Baader, F Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, 1991.

Baader, F, Franconi, E., Hollunder B., Nebel B. and Profitlich H. "An empirical analysis of optimization techniques for terminological representation systems”. Applied Artificial Intelligence, 4:109-132, 1994. DOI: https://doi.org/10.1007/BF00872105

Brachman, R. A structural paradigm for representating knowledge. Ph. D. thesis, Harvard University, 1977.

Brachman, R. and Schmoize, G. “An overview of the KLONE knowledge representation system”, Cognitive Science 9(2}, 171-216, 1985. DOI: https://doi.org/10.1207/s15516709cog0902_1

Domini, F, Lenzerini, D., Nardi, D. and Nutt, W. “The Complexity of Concept Languages”. Information and Computation, 134, 1-58, 1997. DOI: https://doi.org/10.1006/inco.1997.2625

Hollunder, B and Nutt. W. Subsumption Algorithms for Concept Languages DFKI report, RR-90-04, 1990.

Horrocks, I., Optimizing Tableaux Decision Procedures for Description Logics. Ph. D. thesis, University of Manchester, 1997.

Mac Gregor, R. The evolving technology of classitication-based knowledge representation systems, Principles of semantic networks: Explorations in the representation knowledge. Morgan-Kaufman, San Mateo, 1991. DOI: https://doi.org/10.1016/B978-1-4832-0771-1.50021-7

Schild, K. A Correspondence Theory for Terminological Logics: Preliminary Report, In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, 466-471, 1991.

Schmidt-Schaub, M. and Smolka, G., “Attributive concept descriptions with union and complements". Artificial Intelligence, 47, 1991. DOI: https://doi.org/10.1016/0004-3702(91)90078-X

Woods, W., and Schmolze, J. “The KL-ONE Family”. Computers and Mathematics with Aplications, Vol. 23, No. 2-5:133-177, 1992. DOI: https://doi.org/10.1016/0898-1221(92)90139-9

Cómo citar

APA

Lizcano Bueno, L. I. y Ojeda Ch., L. R. (2002). Una propuesta de la lógica terminológica: El lenguaje de conceptos. Ingeniería e Investigación, (49), 65–68. https://doi.org/10.15446/ing.investig.n49.21415

ACM

[1]
Lizcano Bueno, L.I. y Ojeda Ch., L.R. 2002. Una propuesta de la lógica terminológica: El lenguaje de conceptos. Ingeniería e Investigación. 49 (ene. 2002), 65–68. DOI:https://doi.org/10.15446/ing.investig.n49.21415.

ACS

(1)
Lizcano Bueno, L. I.; Ojeda Ch., L. R. Una propuesta de la lógica terminológica: El lenguaje de conceptos. Ing. Inv. 2002, 65-68.

ABNT

LIZCANO BUENO, L. I.; OJEDA CH., L. R. Una propuesta de la lógica terminológica: El lenguaje de conceptos. Ingeniería e Investigación, [S. l.], n. 49, p. 65–68, 2002. DOI: 10.15446/ing.investig.n49.21415. Disponível em: https://revistas.unal.edu.co/index.php/ingeinv/article/view/21415. Acesso em: 19 ene. 2025.

Chicago

Lizcano Bueno, Luis Ignacio, y Luis Roberto Ojeda Ch. 2002. «Una propuesta de la lógica terminológica: El lenguaje de conceptos». Ingeniería E Investigación, n.º 49 (enero):65-68. https://doi.org/10.15446/ing.investig.n49.21415.

Harvard

Lizcano Bueno, L. I. y Ojeda Ch., L. R. (2002) «Una propuesta de la lógica terminológica: El lenguaje de conceptos», Ingeniería e Investigación, (49), pp. 65–68. doi: 10.15446/ing.investig.n49.21415.

IEEE

[1]
L. I. Lizcano Bueno y L. R. Ojeda Ch., «Una propuesta de la lógica terminológica: El lenguaje de conceptos», Ing. Inv., n.º 49, pp. 65–68, ene. 2002.

MLA

Lizcano Bueno, L. I., y L. R. Ojeda Ch. «Una propuesta de la lógica terminológica: El lenguaje de conceptos». Ingeniería e Investigación, n.º 49, enero de 2002, pp. 65-68, doi:10.15446/ing.investig.n49.21415.

Turabian

Lizcano Bueno, Luis Ignacio, y Luis Roberto Ojeda Ch. «Una propuesta de la lógica terminológica: El lenguaje de conceptos». Ingeniería e Investigación, no. 49 (enero 1, 2002): 65–68. Accedido enero 19, 2025. https://revistas.unal.edu.co/index.php/ingeinv/article/view/21415.

Vancouver

1.
Lizcano Bueno LI, Ojeda Ch. LR. Una propuesta de la lógica terminológica: El lenguaje de conceptos. Ing. Inv. [Internet]. 1 de enero de 2002 [citado 19 de enero de 2025];(49):65-8. Disponible en: https://revistas.unal.edu.co/index.php/ingeinv/article/view/21415

Descargar cita

CrossRef Cited-by

CrossRef citations0

Dimensions

PlumX

Visitas a la página del resumen del artículo

518

Descargas

Los datos de descargas todavía no están disponibles.
Crossref
Scopus
Google Scholar
Europe PMC

Licencia

Derechos de autor 2002 Luis Ignacio Lizcano Bueno, Luis Roberto Ojeda Ch.

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.

Los autores o titulares del derecho de autor de cada artículo confieren a la revista Ingeniería e Investigación de la Universidad Nacional de Colombia una autorización no exclusiva, limitada y gratuita sobre el artículo que una vez evaluado y aprobado se envía para su posterior publicación ajustándose a las siguientes características:

1.    Se remite la versión corregida de acuerdo con las sugerencias de los evaluadores y se aclara que el artículo mencionado se trata de un documento inédito sobre el que se tienen los derechos que se autorizan y se asume total responsabilidad por el contenido de su obra ante la revista Ingeniería e Investigación, la Universidad Nacional de Colombia y ante terceros.

2.    La autorización conferida a la revista estará vigente a partir de la fecha en que se incluye en el volumen y número respectivo de la revista Ingeniería e Investigación en el Sistema Open Journal Systems y en la página principal de la revista (https://revistas.unal.edu.co/index.php/ingeinv), así como en las diferentes bases e índices de datos en que se encuentra indexada la publicación.

3.    Los autores autorizan a la revista Ingeniería e Investigación de la Universidad Nacional de Colombia para publicar el documento en el formato en que sea requerido (impreso, digital, electrónico o cualquier otro conocido o por conocer) y autorizan a la revista Ingeniería e Investigación para incluir la obra en los índices y buscadores que estimen necesarios para promover su difusión.

4.    Los autores aceptan que la autorización se hace a título gratuito, por lo tanto renuncian a recibir emolumento alguno por la publicación, distribución, comunicación pública y cualquier otro uso que se haga en los términos de la presente autorización.