no code implementations • 14 Feb 2024 • Nina Pardal, Santiago Cifuentes, Edwin Pin, Maria Vanina Martinez, Sergio Abriola
The problem of repairing inconsistent knowledge bases has a long history within the communities of database theory and knowledge representation and reasoning, especially from the perspective of structured data.
no code implementations • 20 Apr 2023 • Diego Figueira, Santiago Figueira, Edwin Pin
We investigate the expressive power, characterization of bisimulation, satisfiability, and model checking for CPDL+.
no code implementations • 15 Jun 2022 • Sergio Abriola, Santiago Cifuentes, María Vanina Martínez, Nina Pardal, Edwin Pin
In the deeply interconnected world we live in, pieces of information link domains all around us.
no code implementations • 29 Sep 2021 • Sergio Abriola, Santiago Cifuentes, María Vanina Martínez, Nina Pardal, Edwin Pin
Graph databases are becoming widely successful as data models that allow to effectively represent and process complex relationships among various types of data.