@inproceedings{conf/isaim/EiterKSI08, added-at = {2012-02-09T00:00:00.000+0100}, author = {Eiter, Thomas and Krennwallner, Thomas and Schindlauer, Roman and Ianni, Giovambattista}, biburl = {http://www.bibsonomy.org/bibtex/2339d735f9aefcb47fc1e5444a0efc10c/dblp}, booktitle = {ISAIM}, crossref = {conf/isaim/2008}, ee = {http://isaim2008.unl.edu/PAPERS/SS1-AI+Logic/TEiter-ss1.pdf}, interhash = {7100813b32e39b8bdd41f30aaaea3d93}, intrahash = {339d735f9aefcb47fc1e5444a0efc10c}, keywords = {dblp}, title = {Exploiting Conjunctive Queries in Description Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/isaim/isaim2008.html#EiterKSI08}, year = 2008 } @inproceedings{conf/datalog/Dao-TranEFK10, added-at = {2012-01-31T00:00:00.000+0100}, author = {Dao-Tran, Minh and Eiter, Thomas and Fink, Michael and Krennwallner, Thomas}, biburl = {http://www.bibsonomy.org/bibtex/20ebdec2cd3de0896714ada1fce989644/dblp}, booktitle = {Datalog}, crossref = {conf/datalog/2010}, editor = {de Moor, Oege and Gottlob, Georg and Furche, Tim and Sellers, Andrew Jon}, ee = {http://dx.doi.org/10.1007/978-3-642-24206-9_4}, interhash = {74834378308cf616c476e1dd8fea410f}, intrahash = {0ebdec2cd3de0896714ada1fce989644}, isbn = {978-3-642-24205-2}, keywords = {dblp}, pages = {59-77}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {First-Order Encodings for Modular Nonmonotonic Datalog Programs.}, url = {http://dblp.uni-trier.de/db/conf/datalog/datalog2010.html#Dao-TranEFK10}, volume = 6702, year = 2010 } @article{journals/corr/abs-1108-5626, added-at = {2011-12-05T00:00:00.000+0100}, author = {Eiter, Thomas and Krennwallner, Thomas and Redl, Christoph}, biburl = {http://www.bibsonomy.org/bibtex/288bbe7aa0b59340181e4daddb82b65eb/dblp}, ee = {http://arxiv.org/abs/1108.5626}, interhash = {6c47fd7993a5e49fae2501ebf090772b}, intrahash = {88bbe7aa0b59340181e4daddb82b65eb}, journal = {CoRR}, keywords = {dblp}, title = {Nested HEX-Programs}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1108.html#abs-1108-5626}, volume = {abs/1108.5626}, year = 2011 } @article{journals/corr/abs-1104-3931, added-at = {2011-12-05T00:00:00.000+0100}, author = {Drescher, Christian and Eiter, Thomas and Fink, Michael and Krennwallner, Thomas and Walsh, Toby}, biburl = {http://www.bibsonomy.org/bibtex/26ef06049cafd8182b884354732e84512/dblp}, ee = {http://arxiv.org/abs/1104.3931}, interhash = {970ae20d3f040e326d7c7d62e7fb23ec}, intrahash = {6ef06049cafd8182b884354732e84512}, journal = {CoRR}, keywords = {dblp}, title = {Symmetry Breaking for Distributed Multi-Context Systems}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1104.html#abs-1104-3931}, volume = {abs/1104.3931}, year = 2011 } @incollection{DrabentEiterEtAl09p1, abstract = {The purpose of this chapter is to report on work that has been done in the REWERSE project concerning hybrid reasoning with rules and ontologies. Two major streams of work have been pursued within REWERSE. They start from the predominant semantics of non-monotonic rules in logic programming. The one stream was an extension of non-monotonic logic programs under answer set semantics, with query interfaces to external knowledge sources. The other stream, in the spirit of the AL-log approach of enhanced deductive databases, was an extension of Datalog (with the well-founded semantics, which is predominant in the database area). The former stream led to so-called non-monotonic dl-programs and hex-programs, and the latter stream to hybrid well-founded semantics. Further variants and derivations of the formalisms (like a well-founded semantics for dl-programs, respecting probabilistic knowledge, priorities, etc.) have been conceived.}, added-at = {2011-08-09T16:33:51.000+0200}, author = {Drabent, Wlodzimierz and Eiter, Thomas and Ianni, Giovambattista and Krennwallner, Thomas and Lukasiewicz, Thomas and Maluszynski, Jan}, biburl = {http://www.bibsonomy.org/bibtex/2988d4a6941aea8690cbf1dcabdfb6a83/reynares.e}, booktitle = {Semantic Techniques for the Web: The {REWERSE} Perspective}, chapter = 1, crossref = {BryMaluszynski2009}, doi = {10.1007/978-3-642-04581-3_1}, file = {SpringerLink:2009/DrabentEiterEtAl09p1.pdf:PDF}, interhash = {1f1786052010e1d54fc9ac5812ecc97f}, intrahash = {988d4a6941aea8690cbf1dcabdfb6a83}, keywords = {ai knowledge ontology paper processing rules semantic springer v1002 web}, owner = {emiliano}, pages = {1-49}, title = {Hybrid Reasoning with Rules and Ontologies }, year = 2009 } @inproceedings{conf/iclp/Krennwallner11, added-at = {2011-07-11T00:00:00.000+0200}, author = {Krennwallner, Thomas}, biburl = {http://www.bibsonomy.org/bibtex/2f61cf449c1b51a1b6278b404e6b76578/dblp}, booktitle = {ICLP (Technical Communications)}, crossref = {conf/iclp/2011}, editor = {Gallagher, John P. and Gelfond, Michael}, ee = {http://dx.doi.org/10.4230/LIPIcs.ICLP.2011.274}, interhash = {1636e0511a9ffba70106324d3167a0f3}, intrahash = {f61cf449c1b51a1b6278b404e6b76578}, isbn = {978-3-939897-31-6}, keywords = {dblp}, pages = {274-279}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, series = {LIPIcs}, title = {Promoting Modular Nonmonotonic Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2011.html#Krennwallner11}, volume = 11, year = 2011 } @inproceedings{conf/lpnmr/EiterFIKS11, added-at = {2011-05-02T00:00:00.000+0200}, author = {Eiter, Thomas and Fink, Michael and Ianni, Giovambattista and Krennwallner, Thomas and Schüller, Peter}, biburl = {http://www.bibsonomy.org/bibtex/23f0a3f27e9beed601d9d0e09a351141a/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2011}, editor = {Delgrande, James P. and Faber, Wolfgang}, ee = {http://dx.doi.org/10.1007/978-3-642-20895-9_10}, interhash = {695dc75abf703dc7bf0716e810b62d77}, intrahash = {3f0a3f27e9beed601d9d0e09a351141a}, isbn = {978-3-642-20894-2}, keywords = {dblp}, pages = {93-106}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Pushing Efficient Evaluation of HEX Programs by Modular Decomposition.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2011.html#EiterFIKS11}, volume = 6645, year = 2011 } @inproceedings{conf/lpnmr/DrescherEFKW11, added-at = {2011-05-02T00:00:00.000+0200}, author = {Drescher, Christian and Eiter, Thomas and Fink, Michael and Krennwallner, Thomas and Walsh, Toby}, biburl = {http://www.bibsonomy.org/bibtex/2bfacc27b4bf03cab1f846afaf0b5e87f/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2011}, editor = {Delgrande, James P. and Faber, Wolfgang}, ee = {http://dx.doi.org/10.1007/978-3-642-20895-9_5}, interhash = {970ae20d3f040e326d7c7d62e7fb23ec}, intrahash = {bfacc27b4bf03cab1f846afaf0b5e87f}, isbn = {978-3-642-20894-2}, keywords = {dblp}, pages = {26-39}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Symmetry Breaking for Distributed Multi-Context Systems.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2011.html#DrescherEFKW11}, volume = 6645, year = 2011 } @inproceedings{conf/padl/RedlEK11, added-at = {2011-02-15T00:00:00.000+0100}, author = {Redl, Christoph and Eiter, Thomas and Krennwallner, Thomas}, biburl = {http://www.bibsonomy.org/bibtex/2e3812a280d1479bce96b8688ec7a6799/dblp}, booktitle = {PADL}, crossref = {conf/padl/2011}, editor = {Rocha, Ricardo and Launchbury, John}, ee = {http://dx.doi.org/10.1007/978-3-642-18378-2_10}, interhash = {bf86088fc6e3fe20d7772526828ad5c7}, intrahash = {e3812a280d1479bce96b8688ec7a6799}, isbn = {978-3-642-18377-5}, keywords = {dblp}, pages = {99-114}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Declarative Belief Set Merging Using Merging Plans.}, url = {http://dblp.uni-trier.de/db/conf/padl/padl2011.html#RedlEK11}, volume = 6539, year = 2011 } @incollection{DrabentEiterEtAl09p1, abstract = {The purpose of this chapter is to report on work that has been done in the REWERSE project concerning hybrid reasoning with rules and ontologies. Two major streams of work have been pursued within REWERSE. They start from the predominant semantics of non-monotonic rules in logic programming. The one stream was an extension of non-monotonic logic programs under answer set semantics, with query interfaces to external knowledge sources. The other stream, in the spirit of the AL-log approach of enhanced deductive databases, was an extension of Datalog (with the well-founded semantics, which is predominant in the database area). The former stream led to so-called non-monotonic dl-programs and hex-programs, and the latter stream to hybrid well-founded semantics. Further variants and derivations of the formalisms (like a well-founded semantics for dl-programs, respecting probabilistic knowledge, priorities, etc.) have been conceived.}, added-at = {2010-10-31T22:39:10.000+0100}, author = {Drabent, Wlodzimierz and Eiter, Thomas and Ianni, Giovambattista and Krennwallner, Thomas and Lukasiewicz, Thomas and Maluszynski, Jan}, biburl = {http://www.bibsonomy.org/bibtex/2b4a8ee81fe0669c5f76a3218aa68bc7f/flint63}, booktitle = {Semantic Techniques for the Web: The REWERSE Perspective}, chapter = 1, crossref = {BryMaluszynski2009}, doi = {10.1007/978-3-642-04581-3_1}, file = {SpringerLink:2009/DrabentEiterEtAl09p1.pdf:PDF}, interhash = {1f1786052010e1d54fc9ac5812ecc97f}, intrahash = {b4a8ee81fe0669c5f76a3218aa68bc7f}, keywords = {ai knowledge springer v1010 paper processing semantic web ontology rules}, pages = {1-49}, title = {Hybrid Reasoning with Rules and Ontologies}, year = 2009 } @incollection{IanniKrennwallnerEtAl09ISWC, abstract = {RDF Schema (RDFS) as a lightweight ontology language is gaining popularity and, consequently, tools for scalable RDFS inference and querying are needed. SPARQL has become recently a W3C standard for querying RDF data, but it mostly provides means for querying simple RDF graphs only, whereas querying with respect to RDFS or other entailment regimes is left outside the current specification. In this paper, we show that SPARQL faces certain unwanted ramifications when querying ontologies in conjunction with RDF datasets that comprise multiple named graphs, and we provide an extension for SPARQL that remedies these effects. Moreover, since RDFS inference has a close relationship with logic rules, we generalize our approach to select a custom ruleset for specifying inferences to be taken into account in a SPARQL query. We show that our extensions are technically feasible by providing benchmark results for RDFS querying in our prototype system GiaBATA, which uses Datalog coupled with a persistent Relational Database as a back-end for implementing SPARQL with dynamic rule-based inference. By employing different optimization techniques like magic set rewriting our system remains competitive with state-of-the-art RDFS querying systems.}, added-at = {2010-10-31T09:37:52.000+0100}, author = {Ianni, Giovambattista and Krennwallner, Thomas and Martello, Alessandra and Polleres, Axel}, biburl = {http://www.bibsonomy.org/bibtex/2a3d3abed471cb41ae5ead185420e0140/flint63}, booktitle = {The Semantic Web -- ISWC 2009: 8th International Semantic Web Conference, Chantilly, VA, USA}, crossref = {ISWC2009}, doi = {10.1007/978-3-642-04930-9_20}, file = {SpringerLink:2009/IanniKrennwallnerEtAl09ISWC.pdf:PDF}, interhash = {8b3a4e3698d3cdd97e84255bbbe542af}, intrahash = {a3d3abed471cb41ae5ead185420e0140}, keywords = {zzz.th.c46 ai springer v1010 paper rdf semantic retrieval web ontology database rules}, pages = {310-327}, title = {Dynamic Querying of Mass-Storage {RDF} Data with Rule-Based Entailment Regimes}, year = 2009 } @inproceedings{conf/jelia/BairakdarDEFK10a, added-at = {2010-09-21T00:00:00.000+0200}, author = {Bairakdar, Seif El-Din and Dao-Tran, Minh and Eiter, Thomas and Fink, Michael and Krennwallner, Thomas}, biburl = {http://www.bibsonomy.org/bibtex/23cc68e9374c41420d6dce5e28082d8bb/dblp}, booktitle = {JELIA}, crossref = {conf/jelia/2010}, editor = {Janhunen, Tomi and Niemelä, Ilkka}, ee = {http://dx.doi.org/10.1007/978-3-642-15675-5_30}, interhash = {2637f93dac1c88e5a8f5ce998ce06c6a}, intrahash = {3cc68e9374c41420d6dce5e28082d8bb}, isbn = {978-3-642-15674-8}, keywords = {dblp}, pages = {352-355}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems.}, url = {http://dblp.uni-trier.de/db/conf/jelia/jelia2010.html#BairakdarDEFK10a}, volume = 6341, year = 2010 } @inproceedings{conf/jelia/BairakdarDEFK10, added-at = {2010-09-21T00:00:00.000+0200}, author = {Bairakdar, Seif El-Din and Dao-Tran, Minh and Eiter, Thomas and Fink, Michael and Krennwallner, Thomas}, biburl = {http://www.bibsonomy.org/bibtex/2edcf73d70c92692c4ed4633cc720478e/dblp}, booktitle = {JELIA}, crossref = {conf/jelia/2010}, editor = {Janhunen, Tomi and Niemelä, Ilkka}, ee = {http://dx.doi.org/10.1007/978-3-642-15675-5_5}, interhash = {6ff1b69fce4e1cf5e636637971afe555}, intrahash = {edcf73d70c92692c4ed4633cc720478e}, isbn = {978-3-642-15674-8}, keywords = {dblp}, pages = {24-37}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Decomposition of Distributed Nonmonotonic Multi-Context Systems.}, url = {http://dblp.uni-trier.de/db/conf/jelia/jelia2010.html#BairakdarDEFK10}, volume = 6341, year = 2010 } @inproceedings{conf/kr/Dao-TranEFK10, added-at = {2010-07-21T16:01:11.000+0200}, author = {Dao-Tran, Minh and Eiter, Thomas and Fink, Michael and Krennwallner, Thomas}, biburl = {http://www.bibsonomy.org/bibtex/22bfaf3744e957a2e95507bcf91454c57/dblp}, booktitle = {KR}, crossref = {conf/kr/2010}, date = {2010-06-23}, editor = {Lin, Fangzhen and Sattler, Ulrike and Truszczynski, Miroslaw}, ee = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1249}, interhash = {77f16f629fcfbff7bde297ebbe377d42}, intrahash = {2bfaf3744e957a2e95507bcf91454c57}, keywords = {dblp}, publisher = {AAAI Press}, title = {Distributed Nonmonotonic Multi-Context Systems.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2010.html#Dao-TranEFK10}, year = 2010 } @article{DrabentHybridJul2009, added-at = {2010-03-29T16:58:04.000+0200}, author = {Drabent, W. and Eiter, T. and Ianni, G. and Krennwallner, T. and Lukasiewicz, T. and Maluszynski., J.}, biburl = {http://www.bibsonomy.org/bibtex/2c10a5701aedf15144f92df3c412746b0/ontorule}, editor = {Bry, F. and Maluszynski, J.}, interhash = {f8446b6b7aa3f735148515fa3e45c9a7}, intrahash = {c10a5701aedf15144f92df3c412746b0}, journal = {Semantic Techniques for the Web}, keywords = {hybrid ontologies ontorule reasoning rules}, month = {July}, number = 5500, pages = {1-49}, title = {Hybrid reasoning with rules and ontologies}, url = {http://www.springerlink.com/content/f0l5n006n720q154/}, year = 2009 } @inproceedings{dek2009-ecsqaru, added-at = {2010-03-29T16:54:10.000+0200}, author = {{Dao-Tran}, Minh and Eiter, Thomas and Krennwallner, Thomas}, biburl = {http://www.bibsonomy.org/bibtex/2c8e09bdc4ac170e37b41116ff0622b02/ontorule}, booktitle = {{Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009), Verona, Italy, July 1--3, 2009}}, interhash = {22283604d9c68a6909d94921ae152bb4}, intrahash = {c8e09bdc4ac170e37b41116ff0622b02}, keywords = {ontorule}, note = {Forthcoming}, pages = {602-613}, publisher = {Springer}, series = {LNCS}, title = {{Realizing Default Logic over Description Logic Knowledge Bases}}, url = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2009/ecsqaru2009-presentation.pdf}, year = 2009 } @article{EiterIJCAI2009Decomposition, added-at = {2010-03-29T16:48:42.000+0200}, author = {Eiter, T. and Fink, M. and Krennwallner, T.}, biburl = {http://www.bibsonomy.org/bibtex/2478b6b15e7e209bd9fafb3d97d112e50/ontorule}, editor = {Boutilier, C.}, interhash = {719d7e588097a7b4dc6bff69cbd89b34}, intrahash = {478b6b15e7e209bd9fafb3d97d112e50}, journal = {Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009.}, keywords = {ontorule}, pages = {752-758}, title = {Decomposition of declarative knowledge bases with external functions}, url = {http://www.ijcai.org/papers09/Papers/IJCAI09-130.pdf}, year = 2009 } @inproceedings{conf/semweb/IanniKMP09, added-at = {2009-11-11T00:00:00.000+0100}, author = {Ianni, Giovambattista and Krennwallner, Thomas and Martello, Alessandra and Polleres, Axel}, biburl = {http://www.bibsonomy.org/bibtex/2fee2b1bba9d16bbf374f3aa462db21e5/dblp}, booktitle = {International Semantic Web Conference}, crossref = {conf/semweb/2009}, date = {2009-11-11}, description = {dblp}, editor = {Bernstein, Abraham and Karger, David R. and Heath, Tom and Feigenbaum, Lee and Maynard, Diana and Motta, Enrico and Thirunarayan, Krishnaprasad}, ee = {http://dx.doi.org/10.1007/978-3-642-04930-9_20}, interhash = {8b3a4e3698d3cdd97e84255bbbe542af}, intrahash = {fee2b1bba9d16bbf374f3aa462db21e5}, isbn = {978-3-642-04929-3}, keywords = {dblp}, pages = {310-327}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes.}, url = {http://dblp.uni-trier.de/db/conf/semweb/iswc2009.html#IanniKMP09}, volume = 5823, year = 2009 } @inproceedings{ianni2009, abstract = {RDF Schema (RDFS) as a lightweight ontology language is gaining popularity and, consequently, tools for scalable RDFS inference and querying are needed. SPARQL has become recently a W3C standard for querying RDF data, but it mostly provides means for querying simple RDF graphs only, whereas querying with respect to RDFS or other entailment regimes is left outside the current specification. In this paper, we show that SPARQL faces certain unwanted ramifications when querying ontologies in conjunction with RDF datasets that comprise multiple named graphs, and we provide an extension for SPARQL that remedies these effects. Moreover, since RDFS inference has a close relationship with logic rules, we generalize our approach to select a custom ruleset for specifying inferences to be taken into account in a SPARQL query. We show that our extensions are technically feasible by providing benchmark results for RDFS querying in our prototype system GiaBATA, which uses Datalog coupled with a persistent Relational Database as a back-end for implementing SPARQL with dynamic rule-based inference. By employing different optimization techniques like magic set rewriting our system remains competitive with state-of-the-art RDFS querying systems.}, added-at = {2009-11-03T13:41:58.000+0100}, author = {Ianni, Giovambattista and Krennwallner, Thomas and Martello, Alessandra and Polleres, Axel}, biburl = {http://www.bibsonomy.org/bibtex/21006e7ff526a40a5bb05978af90ae3e7/ivan_herman}, booktitle = {The Semantic Web - ISWC 2009}, editor = {Bernstein, Abraham and Karger, David R. and Heath, Tom and Feigenbaum, Lee and Maynard, Diana and Motta, Enrico and Thirunarayan, Krishnaprasad}, interhash = {8b3a4e3698d3cdd97e84255bbbe542af}, intrahash = {1006e7ff526a40a5bb05978af90ae3e7}, isbn = {978-3-642-04929-3}, keywords = {rdf rdfs rules semanticweb sparql}, location = {Heidelberg}, pages = {310--327}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes}, volume = 5823, year = 2009 } @inproceedings{dek2009-ecsqaru, added-at = {2009-10-22T15:47:30.000+0200}, author = {{DAO Tran}, Minh and Eiter, Thomas and Krennwallner, Thomas}, biburl = {http://www.bibsonomy.org/bibtex/2c41ab3bdcfef592382aac220301403bb/stijn.heymans}, booktitle = {{Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009), Verona, Italy, July 1--3, 2009}}, interhash = {ab305c0825f15f79d5b1a161ca49fdde}, intrahash = {c41ab3bdcfef592382aac220301403bb}, keywords = {ontorule}, note = {Forthcoming}, publisher = {Springer}, series = {LNCS}, title = {{Realizing Default Logic over Description Logic Knowledge Bases}}, year = 2009 }