A Two-tiered Approach for Knowledge Reasoning

• Fernando Antonio Dantas Gomes Pinto Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio) http://orcid.org/0000-0002-2585-1296
• Jefferson de Barros Santos Fundação Getúlio Vargas (FGV)
• Sergio Lifschitz Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio) https://orcid.org/0000-0003-3073-3734
• Edward Hermann Haeusler Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio)

DOI: https://doi.org/10.5753/sbbd.2024.243649

Resumo

This article proposes an explicit two-tier approach for reasoning and querying on Knowledge Bases. It separates the conceptual fraction from the model elements, enabling clear connections between the components. This method may be more effective than known one-tier solutions. Besides a theoretical view, we explore a case study on actual data about legal knowledge to illustrate how well our strategy may work in practice.

Palavras-chave: Logical Models, Knowledge Graphs, Knowledge Representation and Reasoning

Referências

Alkmim, B., Haeusler, E. H., and Nalon, C. (2022). A labelled natural deduction system for an intuitionistic description logic with nominals. In Arieli, O., Homola, M., Jung, J. C., and Mugnier, M., editors, Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, volume 3263 of CEUR Workshop Proceedings. [link].

Baader, F., Calvanese, D., Mcguinness, D., Nardi, D., and Patel-Schneider, P. (2007). The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press; 2nd Edition.

Bezerra, C., Freitas, F., and Santana, F. (2013). Evaluating ontologies with competency questions. In 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), volume 3, pages 284–285.

Craig, W. (1957). Three uses of the herbrand-gentzen theorem in relating model theory and proof theory. Journal of Symbolic Logic, 22(3):269285.

Fitting, M. C. (1969). Intuitionistic logic model theory and forcing. North-Holland Publishing, Amsterdam, Netherlands.

Haeusler, E. H., d. Paiva, V., and Rademaker, A. (2010). Intuitionistic logic and legal ontologies. Conference: Legal Knowledge and Information Systems - JURIX 2010.

Keith D. Cooper, L. T. (2011). Engineering a Compiler . Elsevier, 2nd edition.