15167056
Swoogle: Searching for Knowledge on the Semantic Web
Swoogle is an implemented system that discovers, analyzes and indexes knowledge encoded in semantic web documents on the Web. Swoogle reasons about these documents and their constituent parts (e.g., terms and triples) and records meaningful metadata about them. Swoogle provides webscale semantic web data access service, which helps human users and software systems to find relevant documents, terms and triples, via its search and navigation services. Swoogle also provides a customizable algorithm inspired by Google's PageRank algorithm but adapted to the semantics and use patterns found in semantic web documents.
1517191
Semantic resolution for e-commerce
We describe a research project on resolving semantic differences for multi-agent systems (MAS) in electronic commerce. The approach can be characterized as follows: (1) agents in a MAS may have their own specific ontologies defined on top of a shared base ontology; (2) concepts in these ontologies are represented as frame-like structures based on DAML+OIL language; (3) the semantic differences between agents are resolved at runtime through inter-agent communication; and (4) the resolution is viewed as an abductive inference process, and thus necessarily involves approximate reasoning.
183316
Modifying Bayesian Networks by Probability Constraints
This paper deals with the following problem: modify a Bayesian network to satisfy a given set of probability constraints by only change its conditional probability tables, and the probability distribution of the resulting network should be as close as possible to that of the original network. We propose to solve this problem by extending IPFP (iterative proportional fitting procedure) to probability distributions represented by Bayesian networks. The resulting algorithm E-IPFP is further developed to D-IPFP, which reduces the computational cost by decomposing a global E-IPFP into a set of smaller local E-IPFP problems. Limited analysis is provided, including the convergence proofs of the two algorithms. Computer experiments were conducted to validate the algorithms. The results are consistent with the theoretical analysis.
47142619
Semantic Resolution for E-commerce
We describe a research project on resolving semantic differences for multi-agent systems (MAS) in electronic commerce. The approach can be characterized as follows: (1) agents in a MAS may have their own specific ontologies defined on top of a shared base ontology; (2) concepts in these ontologies are represented as frame-like structures based on DAML+OIL language; (3) the semantic differences between agents are resolved at runtime through inter-agent communication; and (4) the resolution is viewed as an abductive inference process, and thus necessarily involves approximate reasoning.
723568
A Bayesian Network Approach to Ontology Mapping
This paper presents our ongoing effort on developing a principled methodology for automatic ontology mapping based on BayesOWL, a probabilistic framework we developed for modeling uncertainty in semantic web. In this approach, the source and target ontologies are first translated into Bayesian networks (BN); the concept mapping between the two ontologies are treated as evidential reasoning between the two translated BNs. Probabilities needed for constructing conditional probability tables (CPT) during translation and for measuring semantic similarity during mapping are learned using text classification techniques where each concept in an ontology is associated with a set of semantically relevant text documents, which are obtained by ontology guided web mining. The basic ideas of this approach are validated by positive results from computer experiments on two small real-world ontologies.
7138939
A probabilistic extension to ontology language OWL
To support uncertain ontology representation and ontology reasoning and mapping, we propose to incorporate Bayesian networks (BN), a widely used graphic model for knowledge representation under uncertainty and OWL, the de facto industry standard ontology language recommended by W3C. First, OWL is augmented to allow additional probabilistic markups, so probabilities can be attached with individual concepts and properties in an OWL ontology. Secondly, a set of translation rules is defined to convert this probabilistically annotated OWL ontology into the directed acyclic graph (DAG) of a BN. Finally, the BN is completed by constructing conditional probability tables (CPT) for each node in the DAG. Our probabilistic extension to OWL is consistent with OWL semantics, and the translated BN is associated with a joint probability distribution over the application domain. General Bayesian network inference procedures (e.g., belief propagation or junction tree) can be used to compute P(C/spl bsol/e): the degree of the overlap or inclusion between a concept C and a concept represented by a description e. We also provide a similarity measure that can be used to find the most similar concept that a given description belongs to.
14722098
TCS-Chord: An Improved Routing Algorithm to Chord Based on the Topology-aware Clustering in Self-organizing Mode
The study on semantic routing efficiency of DHTP2P networks is a key element to promote the development of P2P networks, it is critical for a P2P routing algorithm to be aware of the network physical topology, which leads to improvement of the routing efficiency. By analyzing the Hashing function's properties, some novel logical connections are presented among the destination node, the Chord semantic routing relay node sequence, and the ID of clustering neighbor nodes. This paper describes TCS-Chord (an improved routing algorithm to Chord based on the Topology-aware Clustering in Self-organizing mode) to improve the efficiency of Chord routing. Since the clustering nodes only have local views in the self-organizing mode, some rules are applied for a node to learn other nodes' physical topology-aware locations. The TCS-Chord's routing algorithm is described completely, and our experiments also indicate that TCS-Chord can improve the Chord semantic routing efficiently.
33972996
Chromatic equivalence classes of certain cycles with edges
Abstract Let P(G) denote the chromatic polynomial of a graph G . Two graphs G and H are chromatically equivalent, written G∼H , if P(G)=P(H) . A graph G is chromatically unique if for any graph H , G∼H implies that G is isomorphic with H . In this paper, we give the necessary and sufficient conditions for a family of generalized polygon trees to be chromatically unique.
5372255
Holes in Graphs
The celebrated Regularity Lemma of Szemeredi asserts that every sufficiently large graph $G$ can be partitioned in such a way that most pairs of the partition sets span $\epsilon$-regular subgraphs. In applications, however, the graph $G$ has to be dense and the partition sets are typically very small. If only one $\epsilon$-regular pair is needed, a much bigger one can be found, even if the original graph is sparse. In this paper we show that every graph with density $d$ contains a large, relatively dense $\epsilon$-regular pair. We mainly focus on a related concept of an $(\epsilon,\sigma)$-dense pair, for which our bound is, up to a constant, best possible.
42292049
Fitting semiparametric cure models
Survival data with a sizable cure fraction are commonly encountered in some cancer clinical researches and the semiparametric proportional hazards cure model has been recently investigated to analyze such data. However the estimation method of the model requires a special C program. The restrictive assumptions of the model also limit its application in broader settings. We present a new computational method for the cure model in this article. The method combines the computational methods for logistic regression and the Cox proportional hazards models and is easy to implement in many statistical packages. We also show how this method allows a number of useful extensions of the model to relax the restrictive assumptions. An illustrative example with survival times of lymphoma patients is provided.
18522080
Example of supersonic solutions to a steady state Euler-Poisson system
Abstract We give an example of supersonic solutions to a one-dimensional steady state Euler–Poisson system arising in the modeling of plasmas and semiconductors. The existence of the supersonic solutions which correspond to large current density is proved by Schauder’s fixed point theorem. We show also the uniqueness of solutions in the supersonic region.