publications2012.bib

@comment{{This file has been generated by bib2bib 1.96}}

@comment{{Command line: /usr/bin/bib2bib -c year=2012 publications.bib}}

@inproceedings{eksx2012-foiks,
  abstract = {Nonmonotonic description logic programs are a major formalism for a loose coupling of rules and ontologies, formalized in logic programming and description logics, respectively. While this approach is attractive for combining systems, the impedance mismatch between different reasoning engines and the API-style interfacing are an obstacle to efficient evaluation of dl-programs in general. Uniform evaluation circumvents this by transforming programs into a single formalism, which can be evaluated on a single reasoning engine. In this paper, we consider recent and ongoing work on this approach which uses relational first-order logic (and thus relational database engines) and datalog with negation as target formalisms. Experimental data show that significant performance gains are possible and suggest the potential of this approach.},
  author = {Thomas Eiter and Thomas Krennwallner and Patrik Schneider and Guohui Xiao},
  booktitle = {7th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012)},
  conference = {http://2012.foiks.org/},
  date = {March 5-9, 2012},
  date-added = {2011-12-24 09:27:27 +0100},
  date-modified = {2012-02-07 10:59:06 +0100},
  editor = {Thomas Lukasiewicz and Attila Sali},
  keywords = {Description Logics, Datalog, DL-Programs, Answer Set Programming, Modular Logic Programming},
  location = {Kiel, Germany},
  month = {March},
  pages = {1--22},
  projectref = {FWF-P20840, FWF-P20841, Ontorule},
  publisher = {Springer},
  series = {LNCS},
  title = {{Uniform Evaluation of Nonmonotonic DL-Programs}},
  url = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2012/foiks2012-uniform.pdf},
  volume = {7153},
  year = {2012},
  bdsk-url-1 = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2012/foiks2012-uniform.pdf},
  bdsk-url-2 = {http://2012.foiks.org/}
}