5675255
RDFS(FA): Connecting RDF(S) and OWL DL
Semantic Web (SW) languages are supposed to be compatible with each other in a meaningful way, so as to facilitate machine understanding. Recent research, however, shows that the semantics of the standard SW annotation language RDF (as well as its ontological extension RDFS) and that of the standard SW ontology language OWL DL are not compatible with each other. This paper investigates some issues behind this incompatibility and proposes a novel modification of RDF(S) as a firm semantic foundation for many of the latest description logics-based SW ontology languages, including OWL DL. Furthermore, the bidirectional one-to-one mapping between RDFS(FA) axioms in strata 0-2 and OWL DL axioms has been established, which enables RDFS(FA)-agents and OWL DL-agents to communicate with each other more easily. As a result, the introduction of RDFS(FA) clarifies the vision of the semantic Web and solidifies RDF(S)'s proposed role as the base of the semantic Web
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.
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.
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.
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
2042793
Peer Collaboration in Wireless Ad Hoc Networks
Voluntary peer collaboration is often assumed in media access, route discovery, packet forwarding, and upper-layer protocols for wireless ad hoc networks. This assumption is seriously challenged when some peers are autonomous, selfish, or malicious in large-scale, heterogeneous networks. In this paper, based on the latest advances in identity-based cryptography, we design a lightweight and cheat-resistant micropayment scheme to stimulate and compensate collaborative peers that sacrifice their resources to relay packets for other peers. We also demonstrate that when security and collaboration measures are properly enforced, profitable collaboration is a preferable strategy for all peers.
7020261
Improved partial distance search for k nearest-neighbor classification
An important method in pattern recognition is k nearest-neighbor classification. However, its computational complexity limits its real-time applications. The partial distance search is a solution to this problem. Although it is not very effective, it can be combined with other algorithms to reduce the complexity. The paper proposes an indexing method that uses the variance vector of feature vectors of a design set to improve the efficiency of the partial distance search. Experimental results indicate the effectiveness of this indexing preprocessing
7197213
A Manifold Regularization Approach to Calibration Reduction for Sensor-Network Based Tracking
The ability to accurately detect the location of a mobile node in a sensor network is important for many artificial intelligence (AI) tasks that range from robotics to context-aware computing. Many previous approaches to the location-estimation problem assume the availability of calibrated data. However, to obtain such data requires great effort. In this paper, we present a manifold regularization approach known as LeMan to calibration-effort reduction for tracking a mobile node in a wireless sensor network. We compute a subspace mapping function between the signal space and the physical space by using a small amount of labeled data and a large amount of unlabeled data. This mapping function can be used online to determine the location of mobile nodes in a sensor network based on the signals received. We use Crossbow MICA2 to setup the network and USB camera array to obtain the ground truth. Experimental results show that we can achieve a higher accuracy with much less calibration effort as compared to several previous systems.
12032696
TCP Performance and Behaviors with Local Retransmissions
TCP has been the dominant transport protocol over the global Internet, and its performance over a hybrid wireless/wireline network has attracted much attention in recent years. This paper investigates the end-to-end TCP performance, in terms of normalized throughput, effective goodput, and packet delay, over wireless lossy links with local retransmissions. The results reveal that local retransmissions can increase the normalized TCP throughput in different wireless bandwidth, delay, and error settings, at the cost of a decrease in effective goodput and an increased packet delay. The performance observation is explained by the explored TCP endpoint behaviors, including the spurious timeout and duplicated acknowledgment. Analysis shows that spurious timeouts with local retransmissions are rare due to the conservative TCP timeout algorithm. However, spurious duplicated acknowledgments have negative impact and a further improvement with the D-SACK proposal is evaluated.
45038628
Fast clustering algorithms for vector quantization
Abstract Some fast clustering algorithms for vector quantization (VQ) based on the LBG recursive algorithm are presented and compared. Experimental results in comparison to the conventional vector-quantization (VQ) clustering algorithm with speech data demonstrate that the best approach will save more than 99% in the number of multiplications, as well as considerable saving in the number of additions. The increase in the number of comparisons is moderate. An improve absolute error inequality (AEI) criterion for Euclidean distortion measure is also proposed and utilized in the VQ clustering algorithm.