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

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

Full description

Autores:
Lizcano Bueno, Luis Ignacio
Ojeda Ch., Luis Roberto
Tipo de recurso:
Article of journal
Fecha de publicación:
2002
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/34196
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/34196
http://bdigital.unal.edu.co/24276/
Palabra clave:
Artificial intelligence
Concept
Logic terminology
Descriptive logic
Language concepts
Subsumption
Primitive concepts
Defined concepts
Expression concepts
Role
Interpretation
Axioms terminology and assertive
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
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
id UNACIONAL2_549d96ba19fecb60df6d886e9ba2b6e8
oai_identifier_str oai:repositorio.unal.edu.co:unal/34196
network_acronym_str UNACIONAL2
network_name_str Universidad Nacional de Colombia
repository_id_str
spelling Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Lizcano Bueno, Luis Ignacio5a124f46-314a-47f6-b8f7-da7f8fb596d1300Ojeda Ch., Luis Roberto2f7479ec-4d79-475c-8bcc-5046a101fb813002019-06-27T23:16:14Z2019-06-27T23:16:14Z2002https://repositorio.unal.edu.co/handle/unal/34196http://bdigital.unal.edu.co/24276/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 conceptosThis paper describes the concept languages or description logics (DLs) ofthe KLONE 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 overthe concepts is based in the subsumption relationship. Which implicitly defines a taxonomic between the concepts.application/pdfspaUniversidad Nacional de Colombia - Facultad de Ingenieríahttp://revistas.unal.edu.co/index.php/ingeinv/article/view/21415Universidad Nacional de Colombia Revistas electrónicas UN Ingeniería e InvestigaciónIngeniería e InvestigaciónIngeniería e Investigación; núm. 49 (2002); 65-68 Ingeniería e Investigación; núm. 49 (2002); 65-68 2248-8723 0120-5609Lizcano Bueno, Luis Ignacio and Ojeda Ch., Luis Roberto (2002) Una propuesta de la lógica terminológica: el lenguaje de conceptos. Ingeniería e Investigación; núm. 49 (2002); 65-68 Ingeniería e Investigación; núm. 49 (2002); 65-68 2248-8723 0120-5609 .Una propuesta de la lógica terminológica: el lenguaje de conceptosArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTArtificial intelligenceConceptLogic terminologyDescriptive logicLanguage conceptsSubsumptionPrimitive conceptsDefined conceptsExpression conceptsRoleInterpretationAxioms terminology and assertiveInteligencia artificialConceptoLógica terminológicaLógica descriptivaLenguaje de conceptosSubsumisiónConceptos primitivosConceptos definidosExpresión de conceptosRolInterpretaciónAxiomas terminológicos y aseverativosORIGINAL21415-72934-1-PB.pdfapplication/pdf264174https://repositorio.unal.edu.co/bitstream/unal/34196/1/21415-72934-1-PB.pdf21e734a263861777a91ff463cd7802f2MD51THUMBNAIL21415-72934-1-PB.pdf.jpg21415-72934-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg8241https://repositorio.unal.edu.co/bitstream/unal/34196/2/21415-72934-1-PB.pdf.jpg28441e53c306f06296fd25e9384e5092MD52unal/34196oai:repositorio.unal.edu.co:unal/341962023-12-25 23:05:35.041Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Una propuesta de la lógica terminológica: el lenguaje de conceptos
title Una propuesta de la lógica terminológica: el lenguaje de conceptos
spellingShingle Una propuesta de la lógica terminológica: el lenguaje de conceptos
Artificial intelligence
Concept
Logic terminology
Descriptive logic
Language concepts
Subsumption
Primitive concepts
Defined concepts
Expression concepts
Role
Interpretation
Axioms terminology and assertive
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
title_short Una propuesta de la lógica terminológica: el lenguaje de conceptos
title_full Una propuesta de la lógica terminológica: el lenguaje de conceptos
title_fullStr Una propuesta de la lógica terminológica: el lenguaje de conceptos
title_full_unstemmed Una propuesta de la lógica terminológica: el lenguaje de conceptos
title_sort Una propuesta de la lógica terminológica: el lenguaje de conceptos
dc.creator.fl_str_mv Lizcano Bueno, Luis Ignacio
Ojeda Ch., Luis Roberto
dc.contributor.author.spa.fl_str_mv Lizcano Bueno, Luis Ignacio
Ojeda Ch., Luis Roberto
dc.subject.proposal.spa.fl_str_mv Artificial intelligence
Concept
Logic terminology
Descriptive logic
Language concepts
Subsumption
Primitive concepts
Defined concepts
Expression concepts
Role
Interpretation
Axioms terminology and assertive
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
topic Artificial intelligence
Concept
Logic terminology
Descriptive logic
Language concepts
Subsumption
Primitive concepts
Defined concepts
Expression concepts
Role
Interpretation
Axioms terminology and assertive
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
description 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
publishDate 2002
dc.date.issued.spa.fl_str_mv 2002
dc.date.accessioned.spa.fl_str_mv 2019-06-27T23:16:14Z
dc.date.available.spa.fl_str_mv 2019-06-27T23:16:14Z
dc.type.spa.fl_str_mv Artículo de revista
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/article
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_6501
dc.type.coarversion.spa.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/ART
format http://purl.org/coar/resource_type/c_6501
status_str publishedVersion
dc.identifier.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/34196
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/24276/
url https://repositorio.unal.edu.co/handle/unal/34196
http://bdigital.unal.edu.co/24276/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.spa.fl_str_mv http://revistas.unal.edu.co/index.php/ingeinv/article/view/21415
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Revistas electrónicas UN Ingeniería e Investigación
Ingeniería e Investigación
dc.relation.ispartofseries.none.fl_str_mv Ingeniería e Investigación; núm. 49 (2002); 65-68 Ingeniería e Investigación; núm. 49 (2002); 65-68 2248-8723 0120-5609
dc.relation.references.spa.fl_str_mv Lizcano Bueno, Luis Ignacio and Ojeda Ch., Luis Roberto (2002) Una propuesta de la lógica terminológica: el lenguaje de conceptos. Ingeniería e Investigación; núm. 49 (2002); 65-68 Ingeniería e Investigación; núm. 49 (2002); 65-68 2248-8723 0120-5609 .
dc.rights.spa.fl_str_mv Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribución-NoComercial 4.0 Internacional
Derechos reservados - Universidad Nacional de Colombia
http://creativecommons.org/licenses/by-nc/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.spa.fl_str_mv Universidad Nacional de Colombia - Facultad de Ingeniería
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/34196/1/21415-72934-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/34196/2/21415-72934-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv 21e734a263861777a91ff463cd7802f2
28441e53c306f06296fd25e9384e5092
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv repositorio_nal@unal.edu.co
_version_ 1814089499721859072

Publicaciones similares