Jakob Henriksson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
7EEWlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski: HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners. ALPSWS 2007
6EEUwe Aßmann, Sacha Berger, François Bry, Tim Furche, Jakob Henriksson, Jendrik Johannes: Modular Web Queries - From Rules to Stores. OTM Workshops (2) 2007: 1165-1175
5EEWlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski: Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics. RR 2007: 348-357
4EEUwe Aßmann, Sacha Berger, François Bry, Tim Furche, Jakob Henriksson, Paula-Lavinia Patranjan: A Generic Module System for Web Rule Languages: Divide and Rule. RuleML 2007: 63-77
2006
3EEUwe Aßmann, Jakob Henriksson, Jan Maluszynski: Combining Safe Rules and Ontologies by Interfacing of Reasoners. PPSWR 2006: 33-47
2EEUwe Aßmann, Jendrik Johannes, Jakob Henriksson, Ilie Savga: Composition of Rule Sets and Ontologies. Reasoning Web 2006: 68-92
2004
1EEJakob Henriksson, Jan Maluszynski: Static Type-Checking of Datalog with Ontologies. PPSWR 2004: 76-89

Coauthor Index

1Uwe Aßmann [2] [3] [4] [6]
2Sacha Berger [4] [6]
3François Bry (François Bry-Haußer) [4] [6]
4Wlodzimierz Drabent (Wlodek Drabent) [5] [7]
5Tim Furche [4] [6]
6Jendrik Johannes [2] [6]
7Jan Maluszynski [1] [3] [5] [7]
8Paula-Lavinia Patranjan [4]
9Ilie Savga [2]

Copyright © Fri Sep 5 16:23:00 2008 by Michael Ley (ley@uni-trier.de)