| Título: |
Una propuesta de la lógica terminológica: el lenguaje de conceptos |
| Autores: |
Lizcano Bueno Luis Ignacio ; Universidad Nacional de Colombia Ojeda Ch. Luis Roberto ; Universidad Nacional de Colombia |
| Fecha: | 2002-04-01 |
| Publicador: | Ingeniería e investigación |
| Fuente: |
 |
| Tipo: |
|
| Tema: |
Ingeniería de sistemas 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 Artificial intelligence; Concept; Logic terminology; Descriptive logic; Language concepts; Subsumption; Primitive concepts; Defined concepts; Expression concepts; Role; Interpretation; Axioms terminology and assertive |
| Descripción: |
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) 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. |
| Idioma: | Español |