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.
42756636
Requirements for a Semantic Web Rule Language
The need for integrating rules within the Semantic Web framework was clear since the early developments. However, up to the last few years, the research community focused its efforts on the design of the so called Ontology Layer. Nowadays, this layer is fairly mature in the form of Description Logics based languages [1, 6] such as the OWL Web Ontology Language [2], which is now a W3C recommendation. In this paper, we argue for three characteristics that a Semantic Web rule langauge should have.
18117251
Multimedia annotations on the semantic Web
Multimedia in all forms (images, video, graphics, music, speech) is exploding on the Web. The content needs to be annotated and indexed to enable effective search and retrieval. However, recent standards and best practices for multimedia metadata don't provide semantically rich descriptions of multimedia content. On the other hand, the World Wide Web Consortium's (W3Cs) semantic Web effort has been making great progress in advancing techniques for annotating semantics of Web resources. To bridge this gap, a new W3C task force has been created to investigate multimedia annotations on the semantic Web. This article examines the problems of semantically annotating multimedia and describes the integration of multimedia metadata with the semantic Web.
18411364
Uncertainty and RuleML Rulebases: A Preliminary Report
Uncertainty, like imprecision and vagueness, has gained considerable attention the last decade. To this extend we present a preliminary report on extending the Rule Markup Language (RuleML) with fuzzy set theory, in order to be able to represent and handle vague knowledge. We also provide semantics for the case of fuzzy FOL RuleML.
2567867
The Fuzzy Description Logic f-SHIN
In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a high degree of uncertainty and imprecision. For example ontology alignment or information retrieval are rarely true or false procedures but usually involve confidence degrees or provide rankings. Furthermore, it is often the case that information itself is imprecise and vague like the concept of a "tall" person, a "hot" place and many more. In order to be able to represent and reason with such type of information in the Semantic Web (SW), as well as, enhance SW applications we present an extension of the Description Logic SHIN with fuzzy set theory. We present the semantics as well as detailed reasoning algorithms for the extended language.
11147015
A Fuzzy Extension of SWRL
Experience in using ontologies and rules in applications has shown that in many cases we would like to extend their representational and reasoning capabilities to deal with vague or imprecise knowledge. For example, multimedia applications have highlighted the need to extend representation languages with capabilities which allow for the treatment of the inherent imprecision in multimedia object representation, matching, detection and retrieval. Unfortunately, neither OWL nor SWRL provides such capabilities. In order to capture imprecision in rules, we propose fuzzy extensions of SWRL (SWRL is proposed by the Joint US/EU ad hoc Agent Markup Language Committee., the reader is referred to [HPSB04] for full details of the model-theoretic semantics and abstract syntax of SWRL.). In this extension OWL facts (axioms relating to individuals) can include a specification of the “degree” (a truth value between 0 and 1) of confidence with which we assert that an individual (resp. pair of individuals) is an instance of a given class (resp. property); and SWRL atoms can include a “weight” (a truth value between 0 and 1) that represents the “importance” of the atom in a rule.The syntax extends the existing abstract syntax for SWRL, while the semantics is based on the theory of fuzzy sets [Zad65]. For example, the following fuzzy rule asserts that if one has a parent that is happy, then one is likely (with the weight 0.8) to be happy:
7681917
ViVo: visual vocabulary construction for mining biomedical images
Given a large collection of medical images of several conditions and treatments, how can we succinctly describe the characteristics of each setting? For example, given a large collection of retinal images from several different experimental conditions (normal, detached, reattached, etc.), how can data mining help biologists focus on important regions in the images or on the differences between different experimental conditions? If the images were text documents, we could find the main terms and concepts for each condition by existing IR methods (e.g., tf/idf and LSI). We propose something analogous, but for the much more challenging case of an image collection: We propose to automatically develop a visual vocabulary by breaking images into n /spl times/ n tiles and deriving key tiles ("ViVos") for each image and condition. We experiment with numerous domain-independent ways of extracting features from tiles (color histograms, textures, etc.), and several ways of choosing characteristic tiles (PCA, ICA). We perform experiments on two disparate biomedical datasets. The quantitative measure of success is classification accuracy: Our "ViVos" achieve high classification accuracy (up to 83 %for a nine-class problem on feline retinal images). More importantly, qualitatively, our "ViVos" do an excellent job as "visual vocabulary terms": they have biological meaning, as corroborated by domain experts; they help spot characteristic regions of images, exactly like text vocabulary terms do for documents; and they highlight the differences between pairs of images.
40563613
Mixed binary integer programming formulations for the reentrant job shop scheduling problem
This paper describes the development of mixed binary integer programming (BIP) formulations for the reentrant job shop scheduling problem. Based on an earlier classical job shop model developed by Manne and improved by Liao and You, this paper presents two extended BIP optimization formulations for the problem under consideration. In order to improve the solution speed of the BIP formulations, two layer division procedures are developed and incorporated in the corresponding models. Results of computational experiments, in which an average performance of these formulations is investigated, are also reported.
16470845
Dynamic server selection using fuzzy inference in content distribution networks
To accommodate the exponential growth of Web traffic, Content Distribution Networks (CDN) have been designed and deployed to distribute content to different cache servers, and to transparently and dynamically redirect user requests to the cache servers according to the latest network and server status. Server selection therefore is vital and crucial to both the functionality and performance of any CDN systems. An appropriate server should be selected by taking estimated user location, measured round-trip time, and advertised server load into account. However, it is unlikely to obtain accurate and timely inputs of these parameters in practice, so that the effectiveness and efficiency of CDN cannot be fully achieved by traditional means. In this paper, a novel CDN server selection scheme using fuzzy inference is proposed. The scheme selects appropriate servers based on partial round-trip time measurements and historical server load information, and it can be implemented generically wherever the decision is made. It is shown that the fuzzy inference-based scheme is inherently capable of handling multiple decision inputs efficiently, tolerable to measurement noise and errors, and able to deal with network dynamics. Simulation results demonstrate that, compared with other server selection schemes, the proposed scheme can achieve higher resource utilization, provide better user-perceived Quality of Service (QoS), and efficiently deal with network dynamics.
34366886
AutoSplit: Fast and Scalable Discovery of Hidden Variables in Stream and Multimedia Databases
For discovering hidden (latent) variables in real-world, non-gaussian data streams or an n-dimensional cloud of data points, SVD suffers from its orthogonality constraint. Our proposed method, “AutoSplit”, finds features which are mutually independent and is able to discover non-orthogonal features. Thus, (a) finds more meaningful hidden variables and features, (b) it can easily lead to clustering and segmentation, (c) it surprisingly scales linearly with the database size and (d) it can also operate in on-line, single-pass mode. We also propose “Clustering-AutoSplit”, which extends the feature discovery to multiple feature/bases sets, and leads to clean clustering. Experiments on multiple, real-world data sets show that our method meets all the properties above, outperforming the state-of-the-art SVD.
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.