Converting ALC Connection Proofs into ALC Sequents

The connection method has earned good reputation in the area of automated theorem proving, due to its simplicity, efficiency and rational use of memory. This method has been applied recently in automatic provers that reason over ontologies written in the description logic ALC. However, proofs generated by connection calculi are difficult to understand. Proof readability is largely lost by the transformations to disjunctive normal form applied over the formulae to be proven. Such a proof model, albeit efficient, prevents inference systems based on it from effectively providing justifications and/or descriptions of the steps used in inferences. To address this problem, in this paper we propose a method for converting matricial proofs generated by the ALC connection method to ALC sequent proofs, which are much easier to understand, and whose translation to natural language is more straightforward. We also describe a calculus that accepts the input formula in a non-clausal ALC format, what simplifies the translation.Comment: In Proceedings PxTP 2019, arXiv:1908.08639. Thanks to CAPES: Coordination for the Improvement of Higher Level Personne

LEGIS: A Proposal to Handle Legal Normative Exceptions and Leverage Inference Proofs Readability

International audienc

From MASTER-Web to AGATHE: the evolution of an architecture for manipulating information over the Web using ontologies - DOI: 10.3395/reciis.v2i1.137en

This article presents two architectures for information gathering systems on restricted Web domains, for example the academic or the biologic domain. This text processing is based on the use of domain-related ontologies employing them as a well-defined and understandable semantic model for the software. If, on one hand, the solution here presented cannot be scaled to the entire Web, on the other hand, the offered services are more versatile and precise and able to combine information with well-defined relationships distributed over the Web. The presented systems are still able to draw inferences about the information present in the Web about these domains. As a proof of concept, we present experiments with good results in two distinct domains, showing the feasibility and portability between domains of the presented solution besides presenting a high degree of reuse during the portability

Do MASTER-Web ao AGATHE: a evolução de uma arquitetura de manipulação de informações para a web usando ontologias

This article presents two architectures for information gathering systems on restricted Web domains, for example the academic or the biologic domain. This text processing is based on the use of domain-related ontologies employing them as a well-defined and understandable semantic model for the software. If, on one hand, the solution here presented cannot be scaled to the entire Web, on the other hand, the offered services are more versatile and precise and able to combine information with well-defined relationships distributed over the Web. The presented systems are still able to draw inferences about the information present in the Web about these domains. As a proof of concept, we present experiments with good results in two distinct domains, showing the feasibility and portability between domains of the presented solution besides presenting a high degree of reuse during the portability.Este artigo apresenta duas arquiteturas para sistemas de manipulação de informações que se propõem a tratar domínios específicos da Web, como o domínio acadêmico ou o domínio biológico. Este tratamento de texto baseia-se no uso de ontologias sobre o domínio tratado, empregando-a como modelo semântico bem definido e compreensível para o software. Se a solução apresentada aqui não é escalável para toda a Web, por outro lado, os serviços oferecidos têm maior versatilidade e precisão, podendo combinar informações que estão distribuídas na web e que possuam relacionamentos bem definidos. Os sistemas apresentados conseguem ainda realizar inferências sobre as informações presentes na Web sobre estes domínios. Como prova de conceito, são apresentados experimentos com bons resultados em dois domínios distintos, mostrando que a solução é factível e portável entre domínios, além de apresentar um alto grau de reuso durante a portabilidade

From MASTER-Web to AGATHE: the evolution of an architecture for manipulating information over the Web using ontologies

Made available in DSpace on 2017-01-30T11:45:34Z (GMT). No. of bitstreams: 2 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) 19.pdf: 667992 bytes, checksum: 6e5359e638f8550c18bbe825ce8c768c (MD5) Previous issue date: 2008Universidade Federal de Pernambuco. Centro de Informática. Recife, PE, Brasil.Universidade Federal de Pernambuco. Centro de Informática. Recife, PE, Brasil.Universidade Federal de Pernambuco. Centro de Informática. Recife, PE, Brasil.Domaine Universitaire de St Jerôme. Laboratoire des Sciences de l’Information et des Systèmes. Marselha, França.Centro Federal de Educação Tecnológica de Alagoas. Coordenação de Informática. Maceió, AL, Brasil.Domaine Universitaire de St Jerôme. Laboratoire des Sciences de l’Information et des Systèmes. Marselha, França.Universidade Federal de Santa Catarina. Departamento de Automação e Sistemas. Florianópolis, SC. Brasil.Este artigo apresenta duas arquiteturas para sistemas de manipulação de informações que se propõem a tratar domínios específicos da Web, como o domínio acadêmico ou o domínio biológico. Este tratamento de texto baseia-se no uso de ontologias sobre o domínio tratado, empregando-a como modelo semântico bem definido e compreensível para o software. Se a solução apresentada aqui não é escalável para toda a Web, por outro lado, os serviços oferecidos têm maior versatilidade e precisão, podendo combinar informações que estão distribuídas na web e que possuam relacionamentos bem definidos. Os sistemas apresentados conseguem ainda realizar inferências sobre as informações presentes na Web sobre estes domínios. Como prova de conceito, são apresentados experimentos com bons resultados em dois domínios distintos, mostrando que a solução é factível e portável entre domínios, além de apresentar um alto grau de reuso durante a portabilidade.This article presents two architectures for information gathering systems on restricted Web domains, for example the academic or the biologic domain. This text processing is based on the use of domain-related ontologies employing them as a well-defined and understandable semantic model for the software. If, on one hand, the solution here presented cannot be scaled to the entire Web, on the other hand, the offered services are more versatile and precise and able to combine information with well-defined relationships distributed over the Web. The presented systems are still able to draw inferences about the information present in the Web about these domains. As a proof of concept, we present experiments with good results in two distinct domains, showing the feasibility and portability between domains of the presented solution besides presenting a high degree of reuse during the portability

UM SISTEMA DE GERENCIAMENTO ACADÊMICO GEOGRAFICAMENTE DISTRIBUÍDO COM SUPORTE A UM ÚNICO PONTO DE AUTENTICAÇÃO doi: http://dx.doi.org/10.5892/RUVRV.91.211219

Este artigo apresenta uma proposta para autenticação em aplicação pertencentes a domínios distintos, através de um único ponto de acesso. A solução está sendo implementada para um sistema open-source de gerenciamento acadêmico (SIGA-EPCT). No contexto deste projeto, com uso do Shibboleth e do SAML, será possível racionalizar os recursos oferecidos pelos Institutos Federais, Integrar os diferentes módulos do SIGA-EPCT e compartilhar a base de dados com o Ministério da Educação

Um sistema de gerenciamento acadêmico geograficamente distribuído com suporte a um único ponto de autenticação

This paper presents a proposal for application's authenticaton, allowing different domains to authenticate in a single access point. This solution is being implemented into an peon-source Academic Management System called SIGA-EPCT. By using Shibboleth and SAML, it will be possible to share computational resources between Federal Institutes, integrating the different modules of SIGA-EPCT and, also, share information with the Ministry of Education.Este artigo apresenta uma proposta para autenticação em aplicação pertencentes a domínios distintos, através de um único ponto de acesso. A solução está sendo implementada para um sistema open-source de gerenciamento acadêmico (SIGA-EPCT). No contexto deste projeto, com uso do Shibboleth e do SAML, será possível racionalizar os recursos oferecidos pelos Institutos Federais, Integrar os diferentes módulos do SIGA-EPCT e compartilhar a base de dados com o Ministério da Educação