Sciweavers

1404 search results - page 137 / 281
» Complexity of admissible rules
Sort
View
PPSWR
2005
Springer
14 years 2 months ago
A General Language for Evolution and Reactivity in the Semantic Web
Abstract. In this paper we define the basic concepts for a general language for evolution and reactivity in the Semantic Web. We do this by exposing an UML model that specifies a...
José Júlio Alferes, Ricardo Amador, ...
RULEML
2005
Springer
14 years 2 months ago
Enabling Semantic Web Inferencing with Oracle Technology: Applications in Life Sciences
The Semantic Web has reached a level of maturity that allows RDF and OWL to be adopted by commercial software vendors. Products that incorporate these standards are being used to h...
Susie Stephens
STACS
2004
Springer
14 years 2 months ago
Active Context-Free Games
An Active Context-Free Game is a game with two players (Romeo and Juliet) on strings over a finite alphabet. In each move, Juliet selects a position of the current word and Romeo ...
Anca Muscholl, Thomas Schwentick, Luc Segoufin
WLP
2004
Springer
14 years 2 months ago
Declaratively Querying and Visualizing Knowledge Bases in Xml
Abstract. The maintenance of large knowledge systems usually is a rather complex task. In this paper we will show that extensions or modifications of a knowledge base can be suppo...
Dietmar Seipel, Joachim Baumeister, Marbod Hopfner
GCC
2003
Springer
14 years 2 months ago
A Formal Data Model and Algebra for Resource Sharing in Grid
Management of various complex resources is an important issue to be well done, in order to fulfill the potential of Grid. In this paper, we propose a formal data model and algebra ...
Qiujian Sheng, Zhongzhi Shi