Buscar
Mostrando ítems 1-10 de 135
Link prediction using a probabilistic description logic
(Netherlands, 2014-03-11)
Due to the growing interest in social networks,
link prediction has received significant attention. Link prediction
is mostly based on graph-based features, with some
recent approaches focusing on domain semantics. We ...
Base Revision for Ontology Debugging
(OXFORD UNIV PRESS, 2009)
Belief Revision deals with the problem of adding new information to a knowledge base in a consistent way. Ontology Debugging, on the other hand, aims to find the axioms in a terminological knowledge base which caused the ...
Ontology Reasoning and Evolution with Inconsistency Tolerance: An Argumentative Approach to Revision of Description Logics
(IOS Press, 2016-03-02)
Reasoning and change over inconsistent ontologies (i-ont(s)) is of utmost relevance in sciences like medicine and law. Argumentation may be an appropriate formalism to cope with both problems: (reasoning) through an ...
ONTOarg: A Decision Support Framework for Ontology Integration Based on Argumentation
(Elsevier, 2013-04)
Description Logic Programming (DLP) is a well-known approach to reason with Description Logic (DL) ontologies, translating them into the language of logic programming (LP). Even though DLP offers several advantages in terms ...
The discovery/justification context dichotomy within formal and computational models of scientific theories: a weakening of the distinction based on the perspective of non-monotonic logics
(2017-03-27)
The present paper analyses the topic of scientific discovery and the problem of the existence of a logical framework involved in such endeavour. We inquire how several non-monotonic logic frameworks and other formalisms ...
An approach for side scan sonar acoustic images segmentation using programmable logic
(Institute of Electrical and Electronics Engineers, 2015-05)
In applications related to maintenance of underwater infrastructure in harbour installations, cables and pipelines, it is necessary to separate the relevant objects of study from the rest of the acoustic image obtained by ...
A generalized abstract argumentation framework for inconsistency-tolerant ontology reasoning
(Pergamon-Elsevier Science Ltd, 2016-12-01)
We propose a new family of abstract argumentation frameworks which we refer to as generalized (identified through the acronym GenAF), due to its ability of adapting to different representation languages. GenAFs are formalized ...
Application of fuzzy logic and geostatistic in the analysis of the fertility of a soil under pasture
(Univ Federal Ceara, Dept GeolFortalezaBrasil, 2009)
Collective sports games teaching: essential competencies and game logic amid the systemic organizational process
(Univ Fed Rio Grande Do Sul, Escola Educ FisicaPorto AlegreBrasil, 2013)