Buscar
Mostrando ítems 11-20 de 2999
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 ...
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 ...
Basic description logics
(2011)
Semantic Unlink Prediction in Evolving Social Networks through Probabilistic Description Logic
(Institute of Electrical and Electronics Engineers Inc., 2014)
Recently, prediction of new links between two individuals in social networks has gained a lot of attention. However, to fully understand and predict how the network evolves through time, ending relationships also need to ...
Generalized abstract argumentation: A first-order machinery towards ontology debugging
(Sociedad Iberoamericana de Inteligencia Artificial, 2010-03)
Same as Dung's abstract argumentation framework (AF), the notion of generalized abstract argumentation framework (GenAF) aims at reasoning about inconsistency disregarding any logic for arguments; thus both the knowledge ...