Sciweavers

1096 search results - page 132 / 220
» Abstract Canonical Inference
Sort
View
PKDD
2009
Springer
170views Data Mining» more  PKDD 2009»
15 years 4 months ago
Statistical Relational Learning with Formal Ontologies
Abstract. We propose a learning approach for integrating formal knowledge into statistical inference by exploiting ontologies as a semantically rich and fully formal representation...
Achim Rettinger, Matthias Nickles, Volker Tresp
SEMWEB
2009
Springer
15 years 4 months ago
A Reasoning Broker Framework for OWL
Abstract. Semantic applications that utilise OWL ontologies can benefit from a broad range of OWL reasoning systems, which allow for the inference of implicit knowledge from expli...
Jürgen Bock, Tuvshintur Tserendorj, Yongchun ...
TLCA
2009
Springer
15 years 4 months ago
Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
Lutz Straßburger
UM
2009
Springer
15 years 4 months ago
Assessing the Impact of Measurement Uncertainty on User Models in Spatial Domains
Abstract. This paper examines the problem of uncertainty due to instrumentation in user modeling systems within spatial domains. We consider the uncertainty of inferring a user’s...
Daniel F. Schmidt, Ingrid Zukerman, David W. Albre...
DASFAA
2008
IEEE
90views Database» more  DASFAA 2008»
15 years 4 months ago
Even an Ant Can Create an XSD
Abstract. The XML has undoubtedly become a standard for data representation and manipulation. But most of XML documents are still created without the respective description of its ...
Ondrej Vosta, Irena Mlynkova, Jaroslav Pokorn&yacu...