(! Creacion de la ontologia bdi)

(reset-knowledge-base)


(new-tbox STRING-TBOX String)
(! current-tbox CADENAS-TBOX)
(new-tbox NUMERIC-TBOX Numeric)

(! Creo una tbox para la ontologia)

(new-tbox bib-BDI ALCF)

(current-tbox bib-BDI)

(! anado todos los conceptos y roles de BDI)

(define-primitive-concept BDI)

(! Definicion de las referencias)

(define-primitive-attribute-connector titulo-value STRING-TBOX)
(define-primitive-attribute-connector idbdi-value STRING-TBOX)
(define-primitive-attribute-connector anio-value STRING-TBOX)
(define-primitive-attribute-connector autores-value STRING-TBOX)
(define-primitive-attribute-connector nota-value STRING-TBOX)
(define-primitive-attribute-connector institucion-value STRING-TBOX)
(define-primitive-attribute-connector revista-value STRING-TBOX)
(define-primitive-attribute-connector editorial-value STRING-TBOX)
(define-primitive-attribute-connector universidad-value STRING-TBOX)
(define-primitive-attribute-connector titulo-libro-value STRING-TBOX)
(define-primitive-attribute-connector capitulo-value STRING-TBOX)
(define-primitive-attribute-connector formato-value STRING-TBOX)
(define-primitive-attribute-connector temas-value STRING-TBOX)

(define-primitive-attribute-connector titulo-count NUMERIC-TBOX)
(define-primitive-attribute-connector idbdi-count NUMERIC-TBOX)
(define-primitive-attribute-connector anio-count NUMERIC-TBOX)
(define-primitive-attribute-connector autores-count NUMERIC-TBOX)
(define-primitive-attribute-connector nota-count NUMERIC-TBOX)
(define-primitive-attribute-connector institucion-count NUMERIC-TBOX)
(define-primitive-attribute-connector revista-count NUMERIC-TBOX)
(define-primitive-attribute-connector editorial-count NUMERIC-TBOX)
(define-primitive-attribute-connector universidad-count NUMERIC-TBOX)
(define-primitive-attribute-connector titulo-libro-count NUMERIC-TBOX)
(define-primitive-attribute-connector capitulo-count NUMERIC-TBOX)
(define-primitive-attribute-connector formato-count NUMERIC-TBOX)
(define-primitive-attribute-connector temas-count NUMERIC-TBOX)

(define-concept REFERENCIAS (AND BDI (SOME formato-value (aset MANUAL MISC 
    ARTICLE BOOK BOOKLET CONFERENCE INBOOK INCOLLECTION INPROCEEDINGS 
    MASTERTHESIS PHDTHESIS PROCEEDINGS TECHREPORT UNPUBLISHED))
    ))

(define-concept AUTORES (NOT REFERENCIA))

(define-concept MANUAL (AND REFERENCIAS (SOME formato-value (aset MANUAL)) 
    (SOME titulo-count (>= 1))))
    
(define-concept PROPIAS (AND REFERENCIAS 
    (SOME idbdi-value (aset yes))))
    
(define-concept OTROS (AND REFERENCIAS (SOME formato-value (aset MISC))))

(define-concept EXTERNAS REFERENCIAS)

(define-concept CUADERNILLO MANUAL)

(define-concept PENDIENTES (AND PROPIAS (SOME titulo-count (<= 0))))

(define-concept PUBLICADAS (AND PROPIAS 
    (SOME formato-value (aset MANUAL MISC 
    ARTICLE BOOK BOOKLET CONFERENCE INBOOK INCOLLECTION INPROCEEDINGS 
    MASTERTHESIS PHDTHESIS PROCEEDINGS TECHREPORT))))

(define-concept EN-PROCEEDINGS (AND CUADERNILLO 
    (SOME anio-count (>= 1))))

(define-concept SIN-PUBLICAR (AND PENDIENTES CUADERNILLO
    (SOME autores-count (>= 1)) (SOME nota-count (>= 1))))

(define-concept INFORME-INTERNO	(AND PROCEEDINGS 
    (SOME autores-count (>= 1)) (SOME institucion-count (>= 1))))

(define-concept ARTICULO-REVISTA (AND PROCEEDINGS 
    (SOME autores-count (>= 1)) (SOME revista-count (>= 1))))

(define-concept LIBRO (AND PROCEEDINGS (SOME autores-count (>= 1)) 
    (SOME editorial-count (>= 1))))

(define-concept EN-PROCEEDINGS (AND PROCEEDINGS 
    (SOME autores-count (>= 1)) (SOME titulo-libro-count (>= 1))))

(define-concept TESIS-DOCTORAL (AND PROCEEDINGS 
   (SOME autores-count (>= 1)) (SOME universidad-count (>= 1))))

(define-concept CAPITULO-LIBRO (AND LIBRO (SOME capitulo-count (>= 1))))

(define-concept ARTICULO-LIBRO (AND LIBRO  EN-PROCEEDINGS))

(define-concept TESIS-MASTER TESIS-DOCTORAL)