1188 search results - page 23 / 238 » Testing Semantics: Connecting Processes and Process Logics |
112
click to vote
IS
2006
14 years 11 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Diagrammatic logics were introduced in 2002, with emphasis on the notions of specifications and models. In this paper we improve the description of the inference process, which i...
RANLP
2003
15 years 1 months ago
2003
This paper reports a research effort in scenario recognition task in information extraction. The presented approach uses partial semantic analysis based on logical form representa...
125
click to vote
DLOG
1998
15 years 1 months ago
1998
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...
118
click to vote
COLING
2010
14 years 6 months ago
2010
Semantic role labeling (SRL) and word sense disambiguation (WSD) are two fundamental tasks in natural language processing to find a sentence-level semantic representation. To date...