Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

A TRIPLE-oriented approach for integrating higher-order rules and external contexts

: Billig, A.


Calvanese, D.; Lausen, G.:
Web reasoning and rule systems : Second international conference, RR 2008, Karlsruhe, October 31 - November 1, 2008
Berlin: Springer, 2008 (Lecture Notes in Computer Science 5341)
ISBN: 3-540-88736-9 (print)
ISBN: 978-3-540-88737-9
ISSN: 0302-9743
International Conference on Web Reasoning and Rule Systems (RR) <2, 2008, Karlsruhe>
Conference Paper
Fraunhofer ISST ()

In recent years, many researchers in the area of reasoning have focussed on the adoption of rule languages for the Semantic Web that led to remarkable approaches offering various functionality. On one hand, this included language elements of the rule part itself like contexts, higher-orderness, and non-monotonic negation. On the other hand, the proper integration with ontology languages like RDF and OWL had to consider language-specific properties like disjunctivity as well as the demand for using existing external components. The paper proposes a Triple-oriented hybrid language that integrates the mentioned language elements of both aspects following the expressiveness of locally stratified datalog. It introduces fixpoint semantics as well as pragmatic extensions for defining transformations between fact bases. A partial implementation is based on stratified, semi-naive evaluation, and static filtering.