Heymans, Stijn ; Korf, Roman ; Erdmann, Michael ; Puehrer, Joerg ; Eiter, Thomas:
F-Logic\#: Loosely Coupling F-Logic Rules and Ontologies.
In: Proc. of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence,
2010. -
Accepted for Publication
Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans:
Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning..
In: ESWC,
2006,
S. 273-287
Eiter, Thomas ; Gottlob, Georg:
Identifying the Minimal Transversals of a Hypergraph and Related Problems.
In: SIAM J. Comput.,
24
(1995),
Nr. 6,
S. 1278--1304