Treffer: 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
Authors:
Lizcano Bueno, Luis Ignacio, Ojeda Ch., Luis Roberto
Source:
Ingeniería e Investigación, Vol 0, Iss 49, Pp 65-68 (2002)
Publisher Information:
Universidad Nacional de Colombia, 2002.
Publication Year:
2002
Subject Terms:
Artificial intelligence, Rough Sets Theory and Applications, Logic terminology, Conceptos definidos, Mathematical analysis, 01 natural sciences, Description Logics, Lógica terminológica, Lenguaje de conceptos, Interpretación, Humanities, Axioms terminology and assertive, Lógica descriptiva, Artificial Intelligence, Logic Programming and Knowledge Representation, Primitive concepts, 0103 physical sciences, FOS: Mathematics, Subsumisión, 0101 mathematics, Rol, Axiomas terminológicos y aseverativos, Domain (mathematical analysis), Defined concepts, Concept, Role, Interpretation, Language concepts, FOS: Humanities, Conceptos primitivos, Engineering (General). Civil engineering (General), Inteligencia artificial, Descriptive logic, Expression concepts, FOS: Philosophy, ethics and religion, Subsumption, Philosophy, Computational Theory and Mathematics, Computer Science, Physical Sciences, Expresión de conceptos, Concepto, TA1-2040, Semantic Web and Ontology Development, Mathematics
Document Type:
Fachzeitschrift Article<br />Other literature type
File Description:
application/pdf
ISSN:
2248-8723
0120-5609
DOI:
10.15446/ing.investig.n49.21415
DOI:
10.60692/pfh03-6r304
DOI:
10.60692/r6pfe-7ns17
Access URL:
https://doaj.org/article/3d274b44b4d8423db507e5bb66181d48
https://dialnet.unirioja.es/servlet/articulo?codigo=4902475
https://dialnet.unirioja.es/descarga/articulo/4902475.pdf
https://revistas.unal.edu.co/index.php/ingeinv/article/download/21415/22377
https://www.revistas.unal.edu.co/index.php/ingeinv/article/view/21415
https://repositorio.unal.edu.co/handle/unal/34196
http://bdigital.unal.edu.co/24276/
Rights:
CC BY
CC BY NC
Accession Number:
edsair.doi.dedup.....bd834f45a2362fd6b7d0b8858247d2f4
Database:
OpenAIRE

Weitere Informationen

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.