Documentos de Severi P. | REDI

Regresar

Mostrando 1 resultados de: 1

Filtros aplicados

Área de conocimiento: "Optimización matemática"

Subtipo de publicación

Conference Object(1)

Publisher

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)

Área temáticas

Área de conocimiento

Ciencias de la computación(1)

Año de Publicación

Origen

Palabras Claves

Decidability(1)

Description logic(1)

Meta-Modelling(1)

Meta-concepts(1)

Reasoning for ALCQ extended with a flexible meta-modelling hierarchy

Conference Object

Abstract: This works is motivated by a real-world case study where it is necessary to integrate and relate exi

Palabras claves:

Consistency, Decidability, Description logic, Meta-concepts, Meta-Modelling, Well founded sets

Regina Motz, Rohrer E., Severi P.