Sciweavers

79 search results - page 14 / 16
» Experiments in Passage Selection and Answer Identification f...
Sort
View
FOIKS
2006
Springer
13 years 11 months ago
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
Ian Horrocks, Andrei Voronkov
ESE
2000
102views Database» more  ESE 2000»
13 years 7 months ago
Picking the Right Problem Frame-An Empirical Study
Problem frames are a relatively new approach to requirements engineering, promising benefits not only in elicitation but also in subsequent design, by allowing their users to selec...
Keith Phalp, Karl Cox
IFL
2004
Springer
122views Formal Methods» more  IFL 2004»
14 years 25 days ago
Source-Based Trace Exploration
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
Olaf Chitil
LWA
2004
13 years 8 months ago
An Assessment Framework for eLearning in the Semantic Web
In this paper we present a flexible assessment framework for eLearning based on semantic web technologies. The assessment techniques are formalized as reasoning rules. These rules...
Lilia Cheniti-Belcadhi, Nicola Henze, Rafik Braham
ISDA
2009
IEEE
14 years 2 months ago
A Combined Query Expansion Technique for Retrieving Opinions from Blogs
In this paper, we discuss the the role of the retrieval component in an TREC style opinion question answering system. Since blog retrieval differs from traditional ad-hoc document...
Saeedeh Momtazi, Stefan Kazalski, Dietrich Klakow