Lògica de descripció
From Wikipedia, the free encyclopedia
Les lògiques de descripció també anomenades lògiques descriptives (DL per description logics) són una família de llenguatges de representació del coneixement que poden ser usats per a representar coneixement terminològic d'un domini d'aplicació d'una forma estructurada i formalment ben compresa. El nom lògica de descripció es refereix, d'una banda, a descripcions de conceptes usades per descriure un domini i, d'altra banda, a la semàntica que estableix una equivalència entre les fórmules de lògiques de descripció i expressions en lògica de predicats de primer ordre. DL es va dissenyar com una extensió de frames (marcs) i xarxes semàntiques, els quals no estaven equipats amb semàntica basada en la lògica. A diferència dels altres sistemes de representació (xarxes semàntiques i frames), aquestes lògiques estan dotades amb una semàntica formal basada en lògica i tenen característiques molt importants com són:
- Un formalisme descriptiu: conceptes, rols, individus i constructors.
- Un formalisme terminològic: axiomes terminològics que introdueixen descripcions complexes i propietats de la terminologia descriptiva .
- Un formalisme assertiu: que introdueix propietats d'individus.
- Són capaços d'inferir nou coneixement a partir de coneixement donat; tenen per tant, algoritmes de raonament que són decidibles.
Els elements centrals de l'alfabet del llenguatge de les lògiques de descripció són:
- Noms de concepte (concept name): assignen un nom a un grup d'objectes.
- Noms de rol (role name): assigna un nom a una relació entre objectes.
- Noms d'individus (o objectes): els individus són instàncies dels conceptes i també es poden relacionar per mitjà d'un rol.
- Constructors (constructor): relaciona noms de conceptes i noms de rols, i també crea conceptes complexos a partir dels atòmics (complex concepts).
- Definicions de conceptes complexos: usa els símbols
per declarar conjunt d'igualtats i conjunts d'inclusions.
El nom de lògica de descripció és dels anys 1980. Abans d'això es deia (cronològicament): sistemes terminològics , i llenguatges de conceptes . Les lògiques de descripció d'avui en dia s'han convertit en una pedra fonamental de la web semàntica per al seu ús en el disseny d'ontologies.
El primer sistema basat en DL va ser KL-ONE (per Brachman and Schmolze, 1985). Després van venir d'altres terminals de DL. Estan Loom (1987), BACK (1988), Kris (1991), CLASSIC (1991), FACT (1998), RACER (2001), CEL (2005) i kaon 2 (2005).
El desenvolupament d'OIL va ser inspirat en DL.