Search

Your search keyword '"Freitas, Fred"' showing total 200 results
Start Over Author "Freitas, Fred"
200 results on '"Freitas, Fred"'

2. A connection method for a defeasible extension of $\mathcal{ALCH}$

Author

Fernandes, Renan, Freitas, Fred, Varzinczak, Ivan, and Farias, Pedro PM

Subjects
Computer Science - Logic in Computer Science
Abstract

This paper proposes a connection method \`a la Bibel for an exception-tolerant family of description logics (DLs). As for the language, we assume the DL $\mathcal{ALCH}$ extended with two typicality operators: one on (complex) concepts and one on role names. The language is a variant of defeasible DLs, as broadly studied in the literature over the past decade, in which most of these can be embedded. We revisit the definition of the matrix representation of a knowledge base and establish the conditions for a given axiom to be provable. We show that the calculus terminates and is sound and complete w.r.t. a DL version of the preferential semantics widely adopted in non-monotonic reasoning.

Published
2023

3. A logic-based relational learning approach to relation extraction: The OntoILPER system

Author

Lima, Rinaldo, Espinasse, Bernard, and Freitas, Fred

Subjects
Computer Science - Artificial Intelligence, Computer Science - Computation and Language
Abstract

Relation Extraction (RE), the task of detecting and characterizing semantic relations between entities in text, has gained much importance in the last two decades, mainly in the biomedical domain. Many papers have been published on Relation Extraction using supervised machine learning techniques. Most of these techniques rely on statistical methods, such as feature-based and tree-kernels-based methods. Such statistical learning techniques are usually based on a propositional hypothesis space for representing examples, i.e., they employ an attribute-value representation of features. This kind of representation has some drawbacks, particularly in the extraction of complex relations which demand more contextual information about the involving instances, i.e., it is not able to effectively capture structural information from parse trees without loss of information. In this work, we present OntoILPER, a logic-based relational learning approach to Relation Extraction that uses Inductive Logic Programming for generating extraction models in the form of symbolic extraction rules. OntoILPER takes profit of a rich relational representation of examples, which can alleviate the aforementioned drawbacks. The proposed relational approach seems to be more suitable for Relation Extraction than statistical ones for several reasons that we argue. Moreover, OntoILPER uses a domain ontology that guides the background knowledge generation process and is used for storing the extracted relation instances. The induced extraction rules were evaluated on three protein-protein interaction datasets from the biomedical domain. The performance of OntoILPER extraction models was compared with other state-of-the-art RE systems. The encouraging results seem to demonstrate the effectiveness of the proposed solution.

Published
2020
Full Text
View/download PDF

4. Converting ALC Connection Proofs into ALC Sequents

Author

Palmeira, Eunice, Freitas, Fred, and Otten, Jens

Subjects
Computer Science - Symbolic Computation, Computer Science - Logic in Computer Science
Abstract

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 Personnel

Published
2019
Full Text
View/download PDF

6. Cardinality Restrictions Within Description Logic Connection Calculi

Author

Freitas, Fred, Varzinczak, Ivan, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Benzmüller, Christoph, editor, Ricca, Francesco, editor, Parent, Xavier, editor, and Roman, Dumitru, editor

Published
2018
Full Text
View/download PDF

10. A Connection Calculus for the Description Logic

Author

Freitas, Fred, Otten, Jens, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Khoury, Richard, editor, and Drummond, Christopher, editor

Published
2016
Full Text
View/download PDF

14. An Approach for Automatic Expressive Ontology Construction from Natural Language

Author

de Azevedo, Ryan Ribeiro, Freitas, Fred, Rocha, Rodrigo, Menezes, José Antônio Alves, Pereira, Luis F. Alves, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Murgante, Beniamino, editor, Misra, Sanjay, editor, Rocha, Ana Maria A. C., editor, Torre, Carmelo, editor, Rocha, Jorge Gustavo, editor, Falcão, Maria Irene, editor, Taniar, David, editor, Apduhan, Bernady O., editor, and Gervasi, Osvaldo, editor

Published
2014
Full Text
View/download PDF

15. Generating Description Logic from Text in Natural Language

Author

de Azevedo, Ryan Ribeiro, Freitas, Fred, Rocha, Rodrigo, de Menezes, José Antônio Alves, Pereira, Luis F. Alves, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Tanaka, Yuzuru, editor, Wahlster, Wolfgang, editor, Siekmann, Jörg, editor, Andreasen, Troels, editor, Christiansen, Henning, editor, Cubero, Juan-Carlos, editor, and Raś, Zbigniew W., editor

Published
2014
Full Text
View/download PDF

16. An Inductive Logic Programming-Based Approach for Ontology Population from the Web

Author

Lima, Rinaldo, Espinasse, Bernard, Oliveira, Hilário, Ferreira, Rafael, Cabral, Luciano, Filho, Dimas, Freitas, Fred, Gadelha, Renê, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Decker, Hendrik, editor, Lhotská, Lenka, editor, Link, Sebastian, editor, Basl, Josef, editor, and Tjoa, A Min, editor

Published
2013
Full Text
View/download PDF

17. An Unsupervised Method for Ontology Population from the Web

Author

Tomaz, Hilário, Lima, Rinaldo, Emanoel, João, Freitas, Fred, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Sudan, Madhu, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Vardi, Moshe Y., Editorial Board Member, Weikum, Gerhard, Editorial Board Member, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Pavón, Juan, editor, Duque-Méndez, Néstor D., editor, and Fuentes-Fernández, Rubén, editor

Published
2012
Full Text
View/download PDF

18. A Confidence–Weighted Metric for Unsupervised Ontology Population from Web Texts

Author

Oliveira, Hilário, Lima, Rinaldo, Gomes, João, Ferreira, Rafael, Freitas, Fred, Costa, Evandro, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Liddle, Stephen W., editor, Schewe, Klaus-Dieter, editor, Tjoa, A Min, editor, and Zhou, Xiaofang, editor

Published
2012
Full Text
View/download PDF

24. A Web-Based Method for Ontology Population

Author

Oliveira, Hilário, primary, Lima, Rinaldo, additional, Gomes, João, additional, Freitas, Fred, additional, Lins, Rafael Dueire, additional, Simske, Steven J., additional, and Riss, Marcelo, additional

Published
2016
Full Text
View/download PDF

26. A Web-Based Method for Ontology Population

Author

Oliveira, Hilário, primary, Lima, Rinaldo, additional, Gomes, João, additional, Freitas, Fred, additional, Lins, Rafael Dueire, additional, Simske, Steven J., additional, and Riss, Marcelo, additional

Published
2015
Full Text
View/download PDF

28. Preface to MOST-ONISW 2009

Author

Doerr, Martin, Freitas, Fred, Guizzardi, Giancarlo, Han, Hyoil, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Heuser, Carlos Alberto, editor, and Pernul, Günther, editor

Published
2009
Full Text
View/download PDF

37. Introduction

Author

Pinto, H. Sofia, primary, Malucelli, Andreia, additional, Freitas, Fred, additional, and Tempich, Christoph, additional

Published
2005
Full Text
View/download PDF

38. Introduction

Author

Pinto, H. Sofia, Malucelli, Andreia, Freitas, Fred, Tempich, Christoph, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Bento, Carlos, editor, Cardoso, Amílcar, editor, and Dias, Gaël, editor

Published
2005
Full Text
View/download PDF

40. DKD-S: An Ontology-based Tool for Global Software Development.

Author

Rocha, Rodrigo, Leandro, Renan, Silva, Israel, Araujo, Jean, Bion, Danillo, Freitas, Fred, Cordeiro, Diogo, Gomes, Arthur, and Azevedo, Ryan

Subjects
COMPUTER software development, ONTOLOGIES (Information retrieval), MARKET share, PROJECT management, COMPUTATIONAL complexity
Abstract

The Global Software Development has brought an opportunity to software companies to expand the business and market share, also given them the possibility of work with geographically dispersed teams, capitalizing on the advantages of this approach. However, this manner of developing software creates some new challenges, for instance, there is a lack of a formal and normalized model of a software project's data, and artifacts available in a coherent and easy access way for all members involved. The lack of this model makes it difficult for the project members to communicate, understand each other and what is specified on the project's artifacts. Then, this paper proposes a knowledge management tool that utilizes a domainspecific ontology for distributed development environments, intending to help distributed teams to overcome the challenges delivered by the distributed software development model, proposing techniques and best practices. The main result of this research is an ontology-based system to support the software development process with distributed teams. [ABSTRACT FROM AUTHOR]

Published
2021

41. How good is my feedback?

Author

Cavalcanti, Anderson Pinheiro, primary, Diego, Arthur, additional, Mello, Rafael Ferreira, additional, Mangaroska, Katerina, additional, Nascimento, André, additional, Freitas, Fred, additional, and Gašević, Dragan, additional

Published
2020
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results