Sciweavers

2688 search results - page 73 / 538
» A formal semantics for P3P
Sort
View
WWW
2004
ACM
14 years 8 months ago
A method for modeling uncertainty in semantic web taxonomies
We present a method for representing and reasoning with uncertainty in RDF(S) and OWL ontologies based on Bayesian networks. Categories and Subject Descriptors: I.2.4 Artificial I...
Eero Hyvönen, Markus Holi
PKDD
2009
Springer
170views Data Mining» more  PKDD 2009»
14 years 2 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
ICECCS
2007
IEEE
95views Hardware» more  ICECCS 2007»
14 years 2 months ago
A Formal Contract Language for Plugin-based Software Engineering
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
Jens Dietrich, John G. Hosking, Jonathan Giles
SPATIALCOGNITION
2004
Springer
14 years 1 months ago
Modelling Models of Robot Navigation Using Formal Spatial Ontology
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
John A. Bateman, Scott Farrar
KCAP
2003
ACM
14 years 28 days ago
Modularisation of domain ontologies implemented in description logics and related formalisms including OWL
Modularity is a key requirement for large ontologies in order to achieve re-use, maintainability, and evolution. Mechanisms for ‘normalisation’ to achieve analogous aims are s...
Alan L. Rector