15823770
Supporting Semi-Automatic Semantic Annotation of Multimedia Resources
Ontologies provide an attractive basis for the representation of semantic information to be attached to multimedia information. However, the flexibility available to develop one’s own ontology or partially reuse an existing ontology means that human input is unavoidable in the process of creating the annotations. We address the issue of how to use ontology reasoning services and natural language generation to provide presentations of relevant ontology structures for human use.
6604472
A Fine-Grained Approach to Resolving Unsatisfiable Ontologies
In the semantic Web, inconsistencies in OWL ontologies may easily occur. Existing approaches either identify the minimally unsatisfiable sub-ontologies or calculate the maximally satisfiable sub-ontologies. However practical problems remain; it is not clear which axioms or which parts of axioms should be selected for repair, and how to repair those axioms. In this paper, we address this limitation by proposing a fine-grained approach to resolving unsatisfiable ontologies. We revise the axiom tracing technique first proposed by Baader and Hollunder, so as to track which parts of the problematic axioms cause the unsatisfiability. Moreover, we support ontology users in rewriting problematic axioms. In order to minimise the impact of changes and prevent unintended entailment loss, harmful and helpful changes are identified and provided as guidelines. Based on the methods described we present a preliminary version of an interactive debugging tool and demonstrate its applicability in practice
171830
Inconsistencies, Negations and Changes in Ontologies
Ontology management and maintenance are considered cornerstone issues in current Semantic Web applications in which semantic integration and ontological reasoning play a fundamental role. The ability to deal with inconsistency and to accommodate change is of utmost importance in real-world applications of ontological reasoning and management, wherein the need for expressing negated assertions also arises naturally. For this purpose, precise, formal definitions of the the different types of inconsistency and negation in ontologies are required. Unfortunately, ontology languages based on Description Logics (DLs) do not provide enough expressive power to represent axiom negations. Furthermore, there is no single, well-accepted notion of inconsistency and negation in the Semantic Web community, due to the lack of a common and solid foundational framework. In this paper, we propose a general framework accounting for inconsistency, negation and change in ontologies. Different levels of negation and inconsistency in DL-based ontologies are distinguished. We demonstrate how this framework can provide a foundation for reasoning with and management of dynamic ontologies.
9877562
RDFS(FA): A DL-ised Sub-language of RDFS
Description Logics (DLs), as a field of research, form a formal foundation of first-order semantic Web ontology languages, such as DAML+OIL and OWL. The Semantic Web will build on XML’s ability to define customized tagging schemes and RDF(S)’s flexible approach to representing data. RDF Schema (RDFS), however, has a non-standard metamodeling architecture, which makes some elements in the model have dual roles in the RDFS specification. As a result, the specification of its semantics requires a non-standard model theory, RDF MT. This leads to semantic problems when trying to layer DL-based and other conventional firstorder Web ontology languages on top of RDFS. In this paper we suggest layering Web ontology languages on top of RDFS(FA), a sub-language of RDFS, which is based on a (relatively) standard model-theoretic semantics. We will also compare this approach with the existing RDF Model Theory and show how their semantics relate to the semantics of OWL, a newly developed Web ontology language by W3C.
14220183
Web Ontology Reasoning with Datatype Groups
When providing reasoning services for ontology languages such as DAML+OIL and OWL, it is necessary for description logics to deal with "concrete" datatypes (strings, integers, etc.) as well as "abstract" concepts and relationships. In this paper, we present a new approach, the datatype group approach, to integrating DLs with multiple datatypes. We discuss the advantages of such approach over the existing ones and show how a tableaux algorithm for the description logic SHOQ(Dn) can be modified in order to reason with datatype groups.
17950526
RDFS(FA) and RDF MT: Two Semantics for RDFS
RDF Schema (RDFS) has a non-standard metamodeling architecture, which makes some elements in the model have dual roles in the RDFS specification. As a result, this can be confusing and difficult to understand and, more importantly, the specification of its semantics requires a non-standard model theory. This leads to semantic problems when trying to layer conventional first order languages, like DAML+OIL, on top of RDFS. In this paper we will first demonstrate how this problem with RDFS can be solved in a sub-language of RDFS - RDFS(FA), which introduces a Fixed layer metamodeling Architecture to RDFS, based on a (relatively) standard model-theoretic semantics. Logical layer Semantic Web languages such as DAML+OIL and OWL can, therefore, be built on top of both the syntax and semantics of RDFS(FA). We will also compare this approach with the existing RDF Model Theory and discuss the advantages and disadvantages of the two approaches.
2109911
Serialized optimal relay schedules in two-tiered wireless sensor networks
In two-tiered wireless sensor networks (WSNs), sensor nodes (SNs) are scattered in clusters, and are responsible for collecting relevant information from designated areas and transmitting to an application node (AN) in the cluster. The AN then constructs a local-view for the cluster by exploring correlations among information received from nearby SNs, and sends the local-view toward a base-station that creates a global-view for the entire WSN. ANs can also relay local-views for other ANs, if the resultant network lifetime is longer. In this paper, we want to arrange inter-AN relaying optimally, which is an important process in topology control for maximizing the topological lifetime of a WSN with regard to a certain amount of initial energy provisioning. We first propose some criteria on relay candidates preselection, which can considerably reduce the overhead of obtaining an optimal relaying. We then design an algorithm to serialize the parallel relay allocation, so that each AN only needs to have one relaying AN at any time. Finally, we demonstrate the equivalency in network lifetime of the serialized inter-AN relay schedules.
2316797
MMSS: multi-modal story-oriented video summarization
We propose multi-modal story-oriented video summarization (MMSS) which, unlike previous works that use fine-tuned, domain-specific heuristics, provides a domain-independent, graph-based framework. MMSS uncovers correlation between information of different modalities which gives meaningful story-oriented news video summaries. MMSS can also be applied for video retrieval, giving performance that matches the best traditional retrieval techniques (OKAPI and LSI), with no fine-tuned heuristics such as tf/idf.
768133
Performance analysis of TCP-friendly AIMD algorithms for multimedia applications
In this paper, the performance of TCP-friendly generic AIMD (Additive Increase and Multiplicative Decrease) algorithms for Web-based playback and multirate multimedia applications is investigated. The necessary and sufficient TCP-friendly condition is derived, and the effectiveness and responsiveness of AIMD are studied. Due to practical implications, a Dynamic TCP-friendly AIMD (DTAIMD) algorithm is proposed. Extensive simulation results are given to verify the derived necessary and sufficient condition, and to demonstrate the performance of the proposed DTAIMD algorithm.
44484805
Parallel Ant Colony Systems
In this paper a Parallel Ant Colony System (PACS) is developed. Three communication methods for updating the pheromone level between groups in PACS are proposed and work on the traveling salesman problem using our system is presented. Experimental results based on three well-known traveling salesman data sets demonstrate the proposed PACS is superior to the existing Ant Colony System (ACS) and Ant System (AS) with similar or better running times.
42459861
Vq-Based Gray Watermark Embedding Scheme With Genetic Index Assignment
A digital watermarking scheme based on vector quantisation (VQ) for gray watermark is proposed. It begins with the procedure of encoding the gray watermark, and embeds the encoded indices into the cover image in VQ domain then. To improve the performance of the watermarking scheme, a genetic index assignment (GIA) procedure, which modifies the signal of the watermark to suit the signal of the cover image, is proposed. The proposed gray watermark embedding scheme is easy to implement, requires no original cover image to be presented during extraction, expands the size of the used watermark, and provides better watermarked results. Experimental results will show the novelty and effectiveness of it.