Now showing items 1-10 of 117
Link prediction using a probabilistic description logic
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
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 ...
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 ...
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
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 ...
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 ...
A knowledge-driven approach for process supervision in chemical plants
(Pergamon-elsevier Science Ltd, 2013-06)
In this work, an ontology-based framework for process supervision in chemical plants is presented. A conceptualization of equipment, control systems and hazards has been developed. This conceptual model includes the semantic ...
Application of fuzzy logic and geostatistic in the analysis of the fertility of a soil under pasture
(Univ Federal Ceara, Dept GeolFortalezaBrasil, 2009)