Sciweavers

3053 search results - page 83 / 611
» Structured Objects: Modeling and Reasoning
Sort
View
ECOWS
2007
Springer
15 years 9 months ago
Object-Oriented Similarity Measures for Semantic Web Service Matchmaking
The semantic annotation of Web services capabilities with ontological information aims at providing the necessary infrastructure for facilitating efficient and accurate service di...
Georgios Meditskos, Nick Bassiliades
IJCAI
1989
15 years 4 months ago
Reasoning about Kinematic Topology
t ion which is much more abstract than a place vocabulary, the kinematic topology. Kinematic topology does not define qualitative inference rules, but provides a characterization o...
Boi Faltings, Emmanuel Baechler, J. Primus
128
Voted
ATAL
2006
Springer
15 years 7 months ago
Formalizing typicality of objects and context-sensitivity in ontologies
In multiagent systems ontologies are essential because they facilitate tasks like communications and reasoning. In this paper, inspired by studies in cognitive psychology, we pres...
Ching-man Au Yeung, Ho-fung Leung
CSL
2008
Springer
15 years 5 months ago
Model Transformations in Decidability Proofs for Monadic Theories
We survey two basic techniques for showing that the monadic second-order theory of a structure is decidable. In the first approach, one deals with finite fragments of the theory (g...
Wolfgang Thomas
ILP
1999
Springer
15 years 7 months ago
Probabilistic Relational Models
Most real-world data is heterogeneous and richly interconnected. Examples include the Web, hypertext, bibliometric data and social networks. In contrast, most statistical learning...
Daphne Koller