Sciweavers

1470 search results - page 118 / 294
» An Introduction to Description Logics
Sort
View
CORR
1998
Springer
103views Education» more  CORR 1998»
15 years 6 months ago
The descriptive complexity approach to LOGCFL
Building upon the known generalized-quantifier-based first-order characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclass...
Clemens Lautemann, Pierre McKenzie, Thomas Schwent...
ILP
2005
Springer
15 years 12 months ago
Logical Bayesian Networks and Their Relation to Other Probabilistic Logical Models
Abstract. Logical Bayesian Networks (LBNs) have recently been introduced as another language for knowledge based model construction of Bayesian networks, besides existing languages...
Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe...
CORR
2004
Springer
119views Education» more  CORR 2004»
15 years 6 months ago
On Role Logic
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
Viktor Kuncak, Martin C. Rinard
ESWS
2010
Springer
15 years 11 months ago
iSeM: Approximated Reasoning for Adaptive Hybrid Selection of Semantic Services
—We present an intelligent service matchmaker, called iSeM, for adaptive and hybrid semantic service selection that exploits the full semantic profile in terms of signature anno...
Matthias Klusch, Patrick Kapahnke
WWW
2008
ACM
16 years 7 months ago
Tagpedia: a Semantic Reference to Describe and Search for Web Resources
Nowadays the Web represents a growing collection of an enormous amount of contents where the need for better ways to find and organize the available data is becoming a fundamental...
Francesco Ronzano, Andrea Marchetti, Maurizio Tesc...