RR
2009
Springer
13 years 11 months ago
2009
Springer
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...
RR
2009
Springer
13 years 11 months ago
2009
Springer
In this paper, we discuss the draft OWL 2 RL profile from the perspective of applying the constituent rules over Web data. In particular, borrowing from previous work, we discuss ...
RR
2009
Springer
13 years 11 months ago
2009
Springer
RR
2009
Springer
13 years 11 months ago
2009
Springer
RR
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. The Semantic Web is commonly perceived as a web of partially interlinked machine readable data. This data is inherently distributed and resembles the structure of the web...