Lab Projects

GISONT: Global Inference Systems Ontology

OQ: Ontology of Questions

ABSOS: Agent-Based Source Ontology for Social Sciences

OMEC: Ontology for Measures of Economics

ABSOS: Create a Source Ontology for agent-based models that can be used in social simulations.

OMEC: Classification of economic indexes and indicators. Representing these indexes and indicators on a topological graph-based network in which certain analysis can be improved for specific economic problems such as the middle income trap.

GISONT: Constructing a formal axiological Source Ontology in which hybrid computational methods are developed.

ONTOLOGY OF QUESTIONS: 

Research Report 1a

IN PURSUIT OF THE MISSING PREMISE IN FIRST ORDER LOGIC:

 Research Report 2a

 DESCRIPTION LOGICS:

 Research Report 3a