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...
- 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
Summary: | 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 |
---|