publications2010.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -c year=2010 publications.bib}}
@inproceedings{krennwallner2010-buro,
  abstract = {The developments in information technology during the last decade have been rapidly changing the possibilities for data and knowledge access. To respect this, several declarative knowledge representation formalisms have been extended with the capability to access data and knowledge sources that are external to a knowledge base. Such knowledge sources can come in various forms and may be as simple as a query interface to a database up to a full-fledged knowledge base.

In this talk we present two formalisms that that are centered around Answer Set Programming and have been designed with multiple knowledge bases in mind. One is modular nonmonotonic logic programs (MLP), which take up the issue of combining modules of logic programs into a coherent framework. The other formalism is multi-context systems (MCS), which are concerned with integrating knowledge from heterogeneous and possibly nonmonotonic knowledge bases (the contexts) using bridge rules, and combine them to a system with a semantics for contextual reasoning. We will argue that MLPs have the potential to host other formalisms that are relevant for the Semantic Web, like hybrid languages that combine ontologies and rules. MCS on the other hand are well-suited for distributed scenarios, where we can only assume an interface to contextualized knowledge bases---e.g., description logic or default theories---and do not get access to the actual content of the individual context. Heterogeneous nonmonotonic multi-context systems and modular nonmonotonic logic programs provide a basis for advanced knowledge-based information systems, which are targeted in ongoing research projects. They have been developed by the KBS group of the Vienna University of Technology in cooperation with external colleagues.

This work has been supported by the Austrian Science Fund (FWF) projects P20840 & P20841, the EC ICT Integrated Project Ontorule (FP7 231875), and the Vienna Science and Technology Fund (WWTF) project ICT08-020. },
  author = {Thomas Krennwallner},
  crossref = {eefhkl2010-buro},
  date-added = {2011-01-24 12:51:24 +0100},
  date-modified = {2011-08-13 07:43:29 +0200},
  pages = {41--41},
  title = {{Combining Nonmonotonic Knowledge Bases for Modular and Distributed Knowledge-Based Information Systems}}
}
@proceedings{eefhkl2010-buro,
  booktitle = {1st International Workshop on Business Models (BuRO 2010), Business Rules and Ontologies, Brixen, Italy, 21 September 2010},
  conference = {http://ontorule-project.eu/dissemination/events/buro2010},
  date = {September 21, 2010},
  date-added = {2010-12-22 09:43:34 +0100},
  date-modified = {2011-08-13 09:43:07 +0200},
  editor = {Thomas Eiter and Adil El Ghali and Sergio Fern{\`a}ndez and Stijn Heymans and Thomas Krennwallner and Fran{\c c}ois L{\`e}vy},
  keywords = {Answer Set Programming, Hybrid Reasoning, Description Logics, SBVR, BPMN, R2ML},
  location = {Brixen/Bressanone, Italy},
  month = {September},
  organization = {Ontorule Project},
  projectref = {FWF-P20840, FWF-P20841, WWTF-ICT08-020, Ontorule},
  title = {{BuRO 2010: 1st International Workshop on Business Models, Business Rules and Ontologies, Brixen, Italy, 21 September 2010}},
  url = {http://ontorule-project.eu/attachments/075_buro2010-proceedings.pdf},
  year = {2010},
  bdsk-url-1 = {http://ontorule-project.eu/attachments/075_buro2010-proceedings.pdf},
  bdsk-url-2 = {http://ontorule-project.eu/dissemination/events/buro2010}
}
@inproceedings{bdefk2010-jelia,
  abstract = {Multi-Context Systems (MCS) are formalisms that enable the interlinkage of single knowledge bases, called contexts, via bridge rules. Recently, the evaluation of heterogeneous, nonmonotonic MCS was considered in Dao-Tran et al. (2010), where a fully distributed algorithm was described. In this paper, we continue this line of work and present a decomposition technique for MCS which analyzes the topology of an MCS. It applies pruning techniques to get economically small representations of context dependencies. Orthogonal to this, we characterize minimal interfaces for information exchange between contexts, such that data transmissions can be minimized. We then present a novel evaluation algorithm that operates on a query plan which is compiled with topology pruning and interface minimization. The effectiveness of the optimization techniques is demonstrated by a prototype implementation, which uses an off-the-shelf SAT solver and shows encouraging experimental results.},
  author = {{Seif El-Din} Bairakdar and Minh Dao-Tran and Thomas Eiter and Michael Fink and Thomas Krennwallner},
  booktitle = {{12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland, September 13-15, 2010}},
  conference = {http://jelia2010.tkk.fi/},
  date = {September 13-15, 2010},
  date-added = {2010-06-11 16:26:49 +0200},
  date-modified = {2011-08-13 09:43:34 +0200},
  doi = {10.1007/978-3-642-15675-5_5},
  editor = {Tomi Janhunen and Ilkka Niemel{\"a}},
  keywords = {Decentralized Model Computation, Hybrid Knowledge Base, Nonmonotonic Reasoning, Answer Set Programming, Multi-Context Systems},
  location = {Helsinki, Finland},
  month = {September},
  pages = {24--37},
  projectref = {FWF-P20841, WWTF-ICT08-020},
  publisher = {Springer},
  series = {LNAI},
  slides = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2010/jelia2010-talk.pdf},
  title = {{Decomposition of Distributed Nonmonotonic Multi-Context Systems}},
  url = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2010/jelia2010-decompmcs.pdf},
  volume = {6341},
  year = {2010},
  bdsk-url-1 = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2010/jelia2010-decompmcs.pdf},
  bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-15675-5_5},
  bdsk-url-3 = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2010/jelia2010-talk.pdf},
  bdsk-url-4 = {http://jelia2010.tkk.fi/}
}
@inproceedings{bdefk2010-jelia-dmcs-system,
  author = {Seif El-Din Bairakdar and Minh Dao-Tran and Thomas Eiter and Michael Fink and Thomas Krennwallner},
  booktitle = {12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland, September 13-15, 2010},
  conference = {http://jelia2010.tkk.fi/},
  date = {September 13-15, 2010},
  date-added = {2010-06-11 16:26:12 +0200},
  date-modified = {2011-08-13 09:43:51 +0200},
  doi = {10.1007/978-3-642-15675-5_30},
  editor = {Tomi Janhunen and Ilkka Niemel{\"a}},
  keywords = {Decentralized Model Computation, Hybrid Knowledge Base, Nonmonotonic Reasoning, Answer Set Programming, Multi-Context Systems},
  location = {Helsinki, Finland},
  month = {September},
  pages = {352--355},
  poster = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2010/jelia2010-dmcs-system-poster.pdf},
  projectref = {FWF-P20841, WWTF-ICT08-020},
  publisher = {Springer},
  series = {LNAI},
  slides = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2010/jelia2010-dmcs-system-talk.pdf},
  title = {{The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems}},
  url = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2010/jelia2010-dmcs-system.pdf},
  volume = {6341},
  year = {2010},
  bdsk-url-1 = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2010/jelia2010-dmcs-system.pdf},
  bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-15675-5_30},
  bdsk-url-3 = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2010/jelia2010-dmcs-system-talk.pdf},
  bdsk-url-4 = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2010/jelia2010-dmcs-system-poster.pdf},
  bdsk-url-5 = {http://jelia2010.tkk.fi/}
}
@inproceedings{lbeppbceidckskpz2010-rdfws,
  abstract = {One of the requirements of current Semantic Web applications is to deal with heterogeneous data. The Resource Description Framework (RDF) is the W3C recommended standard for data representation, yet data represented and stored using the Extensible Markup Language (XML) is almost ubiquitous and remains the standard for data exchange. While RDF has a standard XML representation, XML Query languages are of limited use for transformations between natively stored RDF data and XML. Being able to work with both XML and RDF data using a common framework would be a great advantage and eliminate unnecessary intermediate steps that are currently used when handling both formats.},
  author = {Nuno Lopes and Stefan Bischof and Orri Erling and Axel Polleres and Alexandre Passant and Diego Berrueta and Antonio Campos and Jerome Euzenat and Kingsley Idehen and Stefan Decker and Stephane Corlosquet and Jacek Kopecky and Janne Saarela and Thomas Krennwallner and Davide Palmisano and Michal Zaremba},
  booktitle = {W3C Workshop --- RDF Next Steps, Stanford, California, U.S.A., June 26-27, 2010},
  conference = {http://www.w3.org/2009/12/rdf-ws/},
  date = {June 26-27, 2010},
  date-added = {2010-06-05 19:21:53 +0200},
  date-modified = {2011-08-13 09:44:20 +0200},
  editor = {David Wood and Stefan Decker and Ivan Herman},
  keywords = {RDF, SPARQL, XML, XQuery},
  location = {Stanford, California, U.S.A.},
  month = {June},
  organization = {World Wide Web Consortium},
  projectref = {FWF-P20841},
  publisher = {World Wide Web Consortium},
  title = {{RDF and XML: Towards a Unified Query Layer}},
  url = {http://www.w3.org/2009/12/rdf-ws/papers/ws10},
  year = {2010},
  bdsk-url-1 = {http://www.w3.org/2009/12/rdf-ws/},
  bdsk-url-2 = {http://www.w3.org/2009/12/rdf-ws/papers/ws10}
}
@inproceedings{bdefk2010-nmr,
  abstract = {Multi-Context Systems (MCS) are formalisms that enable the interlinkage of single knowledge bases, called contexts, via bridge rules. Recently, the evaluation of heterogeneous, nonmonotonic MCS was considered in Dao-Tran et al. (2010), where a fully distributed algorithm was described. In this paper, we continue this line of work and present a decomposition technique for MCS which analyzes the topology of an MCS. It applies pruning techniques to get economically small representations of context dependencies. Orthogonal to this, we characterize minimal interfaces for information exchange between contexts, such that data transmissions can be minimized. We then present a novel evaluation algorithm that operates on a query plan which is compiled with topology pruning and interface minimization. The effectiveness of the optimization techniques is demonstrated by a prototype implementation, which uses an off-the-shelf SAT solver and shows encouraging experimental results.},
  author = {{Seif El-Din} Bairakdar and Minh Dao-Tran and Thomas Eiter and Michael Fink and Thomas Krennwallner},
  booktitle = {{13th International Workshop on Non-Monotonic Reasoning (NMR 2010), Toronto, Ontario, Canada, May 14-16, 2010}},
  conference = {http://www.cs.sfu.ca/NMR2010/NMR_2010/NMR10.html},
  date = {May 14-16, 2010},
  date-added = {2010-03-05 16:35:38 +0100},
  date-modified = {2011-08-13 09:45:15 +0200},
  editor = {Tommie Meyer and Eugenia Ternovska},
  keywords = {Answer Set Programming, Decentralized Model Computation, Multi-Context Systems, Nonmonotonic Reasoning},
  location = {Toronto, Ontario, Canada},
  month = {May},
  projectref = {FWF-P20841, WWTF-ICT08-020},
  slides = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2010/nmr2010-talk.pdf},
  title = {{Decomposition of Distributed Nonmonotonic Multi-Context Systems}},
  url = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2010/nmr2010-decompmcs.pdf},
  year = {2010},
  bdsk-url-1 = {http://www.cs.sfu.ca/NMR2010/NMR_2010/Programme_and_Dates_files/NMR2010.zip},
  bdsk-url-2 = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2010/nmr2010-decompmcs.pdf},
  bdsk-url-3 = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2010/nmr2010-talk.pdf},
  bdsk-url-4 = {http://www.cs.sfu.ca/NMR2010/NMR_2010/NMR10.html}
}
@inproceedings{defk2010-kr,
  abstract = {We present a distributed algorithm for computing equilibria of heterogeneous nonmonotonic multi-context systems (MCS). The algorithm can be parametrized to compute only partial equilibria, which can be used for reasoning tasks like query answering or satisfiability checking that need only partial information and not whole belief states. Furthermore, caching is employed to cut redundant solver calls. As a showcase, we instantiate the MCS framework with answer set program contexts. To characterize equilibria of such MCS, we develop notions of loop formulas that enable reductions to the classical satisfiability problem (SAT). Notably, loop formulas for bridge rules between contexts and for the local contexts can be combined to a uniform encoding of an MCS into a (distributed) SAT instance. As a consequence, we can use SAT solvers for belief set building. We demonstrate this approach by an experimental prototype implementation, which uses an off-the-shelf SAT solver.},
  author = {Minh Dao-Tran and Thomas Eiter and Michael Fink and Thomas Krennwallner},
  booktitle = {{12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), Toronto, Ontario, Canada, May 9-13, 2010}},
  conference = {http://www.kr.org/KR2010/},
  date = {May 9-13, 2010},
  date-added = {2010-01-18 06:42:28 +0100},
  date-modified = {2011-08-13 09:45:44 +0200},
  editor = {Fangzhen Lin and Ulrike Sattler},
  keywords = {Answer Set Programming, Nonmonotonic Reasoning, Multi-Context Systems, Decentralized Model Computation},
  location = {Toronto, Ontario, Canada},
  month = {May},
  pages = {60--70},
  projectref = {FWF-P20841, WWTF-ICT08-020},
  publisher = {AAAI Press},
  slides = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2010/kr2010-talk.pdf},
  title = {{Distributed Nonmonotonic Multi-Context Systems}},
  url = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2010/kr2010-dmcs.pdf},
  year = {2010},
  bdsk-url-1 = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2010/kr2010-dmcs.pdf},
  bdsk-url-2 = {http://www.kr.tuwien.ac.at/staff/tkren/pub/2010/kr2010-talk.pdf},
  bdsk-url-3 = {http://www.kr.org/KR2010/}
}