HStar is implemented to support large scale OWL documents management. Physical storage model is designed on file system based on semantic model of OWL data. Inference and query are implemented on such physical storage model. Now HStar supports characters of OWL Lite and we try to adopt strategy of partial materializing inference data, which is different from most of existing semantic repository...

When designing any type of fuzzy rule based system, considerable effort is placed in identifying the correct number of fuzzy sets and the fine tuning of the corresponding membership functions. Once a rule base has been formulated a fuzzy inference strategy must be applied in order to combine grades of membership. Considerable time and effort is spent trying to determine the number of fuzzy sets...

We present a non parametric bayesian inference strategy to automatically infer the number of classes during the clustering process of a discrete valued random network. Our methodology is related to the Dirichlet process mixture models and inference is performed using a Blocked Gibbs sampling procedure. Using simulated data, we show that our approach improves over competitive variational inferen...

Adaptor grammars are a flexible, powerful formalism for defining nonparametric, unsupervised models of grammar productions. This flexibility comes at the cost of expensive inference. We address the difficulty of inference through an online algorithm which uses a hybrid of Markov chain Monte Carlo and variational inference. We show that this inference strategy improves scalability without sacrif...

The system we have developed, SYCOJET, automatically builds test cases making use of specific expert knowledge. In our first version, it uses the internal structure of the knowledge base to be tested, and implicitly assumes that the inference engine derives all that can be derived from the knowledge base and the problem data. Here we are concerned with how to take into account, in a second vers...

Statistical learning has been proposed as one of the earliest strategies infants could use to segment words out of their native language because it does not rely on language-specific cues that must be derived from existing knowledge of the words in the language. Statistical word segmentation strategies using Bayesian inference have been shown to be quite successful for English (Goldwater et al....

This chapter focuses on rst-order polynomial based theorem proving. We present the notion of well-behaved inference rules and two concrete such inference rules termed superposition I and superposition II. The SOS-strategy and the L-strategy for well-behaved inference rules are developed, and both of them are proved to be complete. We introduce the LM-strategy, the connuent LM-strategy, the MM-s...