Sciweavers

1544 search results - page 225 / 309
» Automated Evaluation of Description Logic Reasoning Systems
Sort
View
99
Voted
WWW
2003
ACM
16 years 16 days ago
A software framework for matchmaking based on semantic web technology
An important objective of the Semantic Web is to make Electronic Commerce interactions more flexible and automated. To achieve this, standardization of ontologies, message content...
Lei Li, Ian Horrocks
ICCBR
1999
Springer
15 years 4 months ago
Case Representation, Acquisition, and Retrieval in SIROCCO
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...
Bruce M. McLaren, Kevin D. Ashley
JOLLI
2006
86views more  JOLLI 2006»
14 years 11 months ago
Types as Graphs: Continuations in Type Logical Grammar
Applying the programming-language concept of continuations, we propose a new multimodal analysis of quantification in Type Logical Grammar. Our approach naturally gives rise to a n...
Chris Barker, Chung-chieh Shan
CSL
2004
Springer
14 years 11 months ago
Lexical knowledge and human disagreement on a WSD task
This paper explores factors correlating with lack of inter-annotator agreement on a word sense disambiguation (WSD) task taken from SENSEVAL-2. Twenty-seven subjects were given a ...
G. Craig Murray, Rebecca Green
PLILP
1992
Springer
15 years 3 months ago
Unfold/fold Transformations Preserving Termination Properties
The unfold/fold framework constitutes the spine of many program transformation strategies. However, by unrestricted use of folding the target program may terminate less often than...
Torben Amtoft