Now showing items 11-20 of 674
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 ...
Basic description logics
Reasoning in description logic
(School of Information and Electrical Engineering. The University of Queensland, 2011)
Conceptual modelling in description logic
(School of Information Technology and Electric Engineering. The University of Queensland, 2011)