Sciweavers

73 search results - page 6 / 15
» Towards Types for Web Rule Languages
Sort
View
LREC
2008
138views Education» more  LREC 2008»
13 years 8 months ago
Language Resources for Semantic Document Annotation and Crosslingual Retrieval
This paper describes the interaction among language resources for an adequate concept annotation of domain texts in several languages. The architecture includes domain ontology, d...
Petya Osenova, Kiril Ivanov Simov, Eelco Mossel
POPL
2003
ACM
14 years 7 months ago
Pure patterns type systems
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...
Gilles Barthe, Horatiu Cirstea, Claude Kirchner, L...
KBS
2008
198views more  KBS 2008»
13 years 7 months ago
Clinical practice guidelines: A case study of combining OWL-S, OWL, and SWRL
As the number of available Web services increases there is a growing demand to realise complex business processes by combining and reusing available Web services. In this context,...
Mercedes Argüello Casteleiro, Jose Julio Des ...
WWW
2008
ACM
14 years 8 months ago
Towards a programming language for services computing
Services Computing is emerging as a new discipline. The acceptance of web services technology stems from the fact that services enable easy integration and interoperation of enter...
Arun Kumar, D. Janakiram
RR
2007
Springer
14 years 1 months ago
A Framework for Combining Rules and Geo-ontologies
Geo-ontologies have a key role to play in the development of the geospatial-semantic web, with regard to facilitating the search for geographical information and resources. They no...
Philip D. Smart, Alia I. Abdelmoty, Baher A. El-Ge...