5634 search results - page 747 / 1127 » About Abstract Classes |
166
click to vote
SEMWEB
2005
Springer
16 years 8 days ago
2005
Springer
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailstart from an abstract syntax that views a rule as a pa...
173
click to vote
SEMWEB
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In this paper we benchmark three popular database representations of RDF/S schemata and data: (a) a schema-aware (i.e., one table per RDF/S class or property) with explic...
155
click to vote
TACAS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
228
click to vote
TGC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
177
click to vote
UC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We study computational complexity of counting the fixed point configurations (FPs) in certain classes of graph automata viewed as discrete dynamical systems. We prove t...