Structured Knowledge Representation for Image Retrieval

We propose a structured approach to the problem of retrieval of images by content and present a description logic that has been devised for the semantic indexing and retrieval of images containing complex objects. As other approaches do, we start from low-level features extracted with image analysis to detect and characterize regions in an image. However, in contrast with feature-based approaches, we provide a syntax to describe segmented regions as basic objects and complex objects as compositions of basic ones. Then we introduce a companion extensional semantics for defining reasoning services, such as retrieval, classification, and subsumption. These services can be used for both exact and approximate matching, using similarity measures. Using our logical approach as a formal specification, we implemented a complete client-server image retrieval system, which allows a user to pose both queries by sketch and queries by example. A set of experiments has been carried out on a testbed of images to assess the retrieval capabilities of the system in comparison with expert users ranking. Results are presented adopting a well-established measure of quality borrowed from textual information retrieval

A pragmatic approach to semantic repositories benchmarking

The aim of this paper is to benchmark various semantic repositories in order to evaluate their deployment in a commercial image retrieval and browsing application. We adopt a two-phase approach for evaluating the target semantic repositories: analytical parameters such as query language and reasoning support are used to select the pool of the target repositories, and practical parameters such as load and query response times are used to select the best match to application requirements. In addition to utilising a widely accepted benchmark for OWL repositories (UOBM), we also use a real-life dataset from the target application, which provides us with the opportunity of consolidating our findings. A distinctive advantage of this benchmarking study is that the essential requirements for the target system such as the semantic expressivity and data scalability are clearly defined, which allows us to claim contribution to the benchmarking methodology for this class of applications

Automatic Support for Verification of Secure Transactions in Distributed Environment using Symbolic Model Checking

Electronic commerce needs the aid of software tools to check the validity of business processes in order to fully automate the exchange of information through the network. Symbolic model checking has been used to formally verify specifications of secure transactions in a system for business-to-business applications. The fundamental principles behind symbolic model checking are presented along with techniques used to model mutual exclusion of processes and atomic transactions. The computational resources required to check the example process are presented, and the faults are detected through symbolic verification

Plasma-arc-flow technology for sustainable treatment of high-impact fluid waste. A graphene-based material for industrial-wastewater purification

The research presented aimed to address the treatment of fluid waste with significant environmental impact by utilizing plasma technology, specifically plasma arc flow (PAF). The goal was to develop a novel purification material based on graphene for industrial applications and to optimize the treatment process. Analysis and monitoring of a submerged arc plasma reactor were the main goals of this research. This entailed a careful examination of the incoming wastewater that needed to be treated with the goal of identifying its precise composition characteristics with the relative tolerances needed for the reactions that were to follow in the reactor. The focus of the analysis was on input-parameter optimization, production of characteristic curves, and analysis of the factors affecting hydrogen evolution in syngas. Additionally, the study investigated how to determine the best viscosity for a particular input matrix by carrying out an evaluation study. The effects of this parameter were thought to be reduced by preheating the incoming wastewater through heat recovery. The long-term objective of the research is to create filters that can purify the water used and produced in gasification processes as well as to characterize the fixed reside from the gasifier for potential conversion into graphene-based material. In addition, this work acknowledges that additional experiments are required to validate its purifying capacity on wastewater produced by various industrial processes. Moreover, the inclusion of plans to model the evolution of hydrogen in PAF using the CHEMCAD software® and defining guidelines for optimizing parameters for enhanced energy efficiency showcased the research’s ambition to expand and refine its scope. Finding the best plant solutions that can significantly reduce electricity consumption is the ultimate goal. In summary, the study demonstrated significant advancement in the analysis and optimization of fluid-waste treatment with high environmental impact through the use of plasma technology, specifically PAF. A thorough and forward-looking approach was demonstrated by the use of modeling software, experimental studies, and plans for future research. The potential creation of graphene-based filters and the use of the fixed residue as a useful material further highlight the innovativeness of this research

Description Logics Approach to Semantic Matching of Web Services

As more resources and services become available on the Web, there is a growing need for infrastructures that, based on advertised descriptions, semantically match in a peer-to-peer way providers with requesters of web services. We address the problem of matchmaking of web services from a knowledge representation perspective. Based on our approach we propose match categorization in terms of exact match, potential match – when request and offer though not identical are compatible – and partial match – when one or more inconsistency is present – and rank of matches within categories. Then we report on our implementation of the proposed matchmaking framework in a prototype system

An Agency for Semantic-Based Automatic Discovery of Web-Services

n/