Sciweavers

482 search results - page 59 / 97
» Expressive probabilistic description logics
Sort
View
SEMWEB
2005
Springer
14 years 1 months ago
Statistical Reasoning - A Foundation for Semantic Web Reasoning
There has been considerable debate as to the merits and the applicability of probabilistic or statistical reasoning to Semantic Web. Much of this debate seems to have centered on ...
Shashi Kant, Evangelos Mamas
EDBT
1998
ACM
114views Database» more  EDBT 1998»
13 years 12 months ago
HySpirit - A Probabilistic Inference Engine for Hypermedia Retrieval in Large Databases
Abstract. HySpirit is a retrieval engine for hypermedia retrieval integrating concepts from information retrieval (IR) and deductive databases. The logical view on IR models retrie...
Norbert Fuhr, Thomas Rölleke
RTA
2000
Springer
13 years 11 months ago
Parallelism Constraints
Parallelism constraints are logical descriptions of trees. Parallelism constraints subsume dominance constraints and are equal in expressive power to context unification. Paralleli...
Katrin Erk, Joachim Niehren
CSL
1999
Springer
13 years 12 months ago
A Road-Map on Complexity for Hybrid Logics
Hybrid languages are extended modal languages which can refer to (or even quantify over) states. Such languages are better behaved proof theoretically than ordinary modal languages...
Carlos Areces, Patrick Blackburn, Maarten Marx
DLOG
2004
13 years 9 months ago
Using Non-Primitive Concept Definitions for Improving DL-based Knowledge Bases
Medical Terminological Knowledge Bases contain a large number of primitive concept definitions. This is due to the large number of natural kinds that are represented, and due to t...
Ronald Cornet, Ameen Abu-Hanna