Skip to Content

TU Wien Fakultät für Informatik Knowledge-Based Systems Group
Top-level Navigation: Current-level Navigation:

Path: KBS > research > projects > Inconsistency Management

Tools: Drucken

Inconsistency Management
for Knowledge Integration Systems


WWTF (Wiener Wissenschafts-, Forschungs- und Technologiefonds)
Project Grant ICT08-020

Project Team at TU Wien

Project Partners

Goals and objectives

For several reasons, the growing use of knowledge from the Internet poses new challenges for information and communication technologies. First, it becomes increasingly difficult to guarantee homogenous data formats of knowledge sources. Second, the higher degree of interconnection yields to a loss of a global view of data and rather turning to a pairwise exchange of information. Third, the consistency of collective information can no longer be maintained. Multi-context systems provide a promising possibility to deal with the first two challenges in a formal way. However, for a practical realization, methods for adequately dealing with inconsistent information are missing. The main goal of this project is to develop such methods for multi-context systems.

Software

Publications 2012:


Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl.
Conflict-driven ASP solving with external sources.
Theory and Practive of Logic Programming 12(4-5): 659-679. 2012.
[ paper ]

Minh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger, and Antonius Weinzierl.
OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver.
In L.F. del Cerro, A. Herzig, and J. Mengin, editors, Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), volume 7519 of LNCS, pp. 480-483. Springer, 2012.
[ paper ]

Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, and Peter Schüller.
Eliminating Unfounded Set Checking for HEX-Programs.
In M. Fink and Y. Lierler, editors, Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, pp. 83-97, volume abs/1301.2215. CoRR, 2012.
[ paper ]

Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, and Peter Schüller.
Exploiting Unfounded Sets for HEX-Program Evaluation.
In L.F. del Cerro, A. Herzig, and J. Mengin, editors, Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), volume 7519 of LNCS, pp. 160-175. Springer, 2012.
[ paper ]

Michael Fink.
Paraconsistent Hybrid Theories.
In G. Brewka, T. Eiter, and S.A. McIlraith, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference (KR 2012), pp. 391-401. AAAI Press, 2012.
[ paper ]

Michael Fink, Martin Humola, Alessandra Mileo, and Ivan Varzinczak, editors.
Workshop Notes of the 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge (ARCOE-12). 2012.
[ paper ]

Peter Schüller.
Inconsistency in Multi-Context Systems: Analysis and Efficient Evaluation.
PhD Thesis, TU Wien, Institut für Informationssysteme, 2012.
[ paper ]

Publications 2011:


Yuliya Lierler and Peter Schüller.
Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary report.
In Proceedings of the 25th Workshop on Logic Programming (WLP), September 2011.
(CoRR 1108.5567).
[ paper | slides ]

Antonius Weinzierl.
Advancing multi-context systems by inconsistency management.
In 5th International Symposium on Rules (RuleML 2011@IJCAI), Proceedings of the Doctoral Consortium and Poster Session, July 2011.

Gerhard Brewka, Thomas Eiter, Michael Fink, and Antonius Weinzierl.
Managed multi-context systems.
In Toby Walsh, editor, International Joint Conference on Artificial Intelligence (IJCAI), pages 786-791, July 2011.

Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, and Peter Schüller.
Pushing efficient evaluation of HEX programs by modular decomposition, July 2011.
(Poster+Talk representing LPNMR 2011 at IJCAI 2011 Best Papers Track).
[ poster | slides ]

Peter Schüller and Antonius Weinzierl.
Semantic reasoning with SPARQL in heterogeneous multi-context systems.
In Camille Salinesi and Oscar Pastor, editors, Advanced Information Systems Engineering Workshops (CAiSE), volume 83 of Lecture Notes in Business Information Processing, pages 575-585. Springer, June 2011.
(1st International Workshop on Semantic Search (SSW)).
[ DOI | paper ]

Thomas Eiter, Michael Fink, and Peter Schüller.
Approximations for explanations of inconsistency in partially known multi-context systems.
In James Delgrande and Wolfgang Faber, editors, Logic Programming and Nonmonotonic Reasoning, 11th International Conference (LPNMR 2011), pages 107-119, May 2011.
[ paper ]

Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, and Peter Schüller.
Pushing efficient evaluation of HEX programs by modular decomposition.
In James Delgrande and Wolfgang Faber, editors, Logic Programming and Nonmonotonic Reasoning, 11th International Conference (LPNMR 2011), pages 93-106, May 2011.
(selected for “Best Papers Track” of IJCAI 2011).
[ paper | slides ]

Michael Fink, Lucantonio Ghionna, and Antonius Weinzierl.
Relational information exchange and aggregation in multi-context systems.
In James Delgrande and Wolfgang Faber, editors, Logic Programming and Nonmonotonic Reasoning, 11th International Conference (LPNMR 2011), pages 120-133, May 2011.

Thomas Eiter, Michael Fink, Giovambattista Ianni, and Peter Schüller.
Towards a policy language for managing inconsistency in multi-context systems.
In Alessandra Mileo and Michael Fink, editors, 2nd International Workshop on Logic-based Interpretation of Context: Modelling and Applications, May 2011.
[ paper | slides ]

Michael Fink.
A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There. Theory and Practice of Logic Programming, 11(2,3):171-202, 2011.

Gerhard Brewka, Thomas Eiter, and Michael Fink.
Nonmonotonic multi-context systems: A flexible approach for integrating heterogeneous knowledge sources.
In Marcello Balduccini and Tran Cao Son, editors, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, volume 6565 of Lecture Notes in Computer Science, pages 233-258. Springer, 2011.

Publications 2010:


Thomas Eiter, Michael Fink, and Peter Schüller.
Approximations for explanations of inconsistency in partially known multi-context systems.
In Thirty Years of Nonmonotonic Reasoning (NonMon30), October 2010.
15 pages.
[ paper ]

Michael Fink and David Pearce.
A logical semantics for description logic programs.
In Tomi Janhunen and Ilkka Niemelä, editors, 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Lecture Notes in Artificial Intelligence, pages 143-155. Springer, September 2010.

Thomas Eiter, Michael Fink, and Antonius Weinzierl.
Preference-based inconsistency assessment in multi-context systems.
In Tomi Janhunen and Ilkka Niemelä, editors, 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Lecture Notes in Artificial Intelligence, pages 143-155. Springer, September 2010.

Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems.
In 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland, September 13-15, 2010, volume 6341 of LNAI, pages 352-355. Springer, September 2010.
[ poster | paper | slides ]

Markus Bögl, Thomas Eiter, Michael Fink, and Peter Schüller.
The MCS-IE system for explaining inconsistency in multi-context systems.
In Tomi Janhunen and Ilkka Niemelä, editors, 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Lecture Notes in Artificial Intelligence, pages 356-359. Springer, September 2010.
[ paper ]

Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
Decomposition of Distributed Nonmonotonic Multi-Context Systems.
In Tommie Meyer and Eugenia Ternovska, editors, 13th International Workshop on Non-Monotonic Reasoning (NMR 2010), Toronto, Canada, May 14-16, 2010, CEUR Workshop Proceedings, pages 24-37.
CEUR-WS.org, May 2010.
[ paper ]

Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
Distributed Nonmonotonic Multi-Context Systems.
In Fangzhen Lin and Uli Sattler, editors, 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), Toronto, Canada, May 9-13, 2010, pages 60-70. AAAI Press, May 2010.
[ paper | slides ]

Thomas Eiter, Michael Fink, Peter Schüller, and Antonius Weinzierl.
Finding explanations of inconsistency in nonmonotonic multi-context systems.
In Fangzhen Lin and Uli Sattler, editors, 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), Toronto, Canada, May 9-13, 2010, pages 329-339. AAAI Press, May 2010.
[ paper | slides ]

Peter Schüller.
Methods and algorithms for managing inconsistency in multi-context systems.
12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010) - Doctoral Consortium Poster, Toronto, Canada, May 9-13, 2010, May 2010.
[ poster ]

Thomas Eiter, Michael Fink, and Joao Moura.
Paracoherent answer set programming.
In Fangzhen Lin and Uli Sattler, editors, 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), Toronto, Canada, May 9-13, 2010, pages 486-496. AAAI Press, May 2010.

Antonius Weinzierl, Thomas Eiter, and Michael Fink.
Meta-reasoning in multi-context systems.
In Junior Scientist Conference, April 2010.

Peter Schüller, Thomas Eiter, and Michael Fink.
Towards approximating output-projected equilibria in partially known multi-context systems.
In Hans K. Kaiser and Raimund Kirner, editors, Proceedings of the Junior Scientist Conference 2010, pages 315-316. Vienna University of Technology, April 2010.
[ poster | paper | slides ]

Antonius Weinzierl.
Comparing inconsistency resolutions in multi-context systems.
Student Session of the European Summer School in Logic, Language and Information (ESSLLI), Copenhagen, Denmark, 2010.
8 pages.

Selen Basol, Ozan Erdem, Michael Fink, and Giovambattista Ianni.
HEX programs with action atoms.
In ICLP, volume 7, pages 24-33, 2010.

Publications 2009:


Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, and Thomas Krennwallner.
Combining nonmonotonic knowledge bases with external sources.
In Silvio Ghilardi and Roberto Sebastiani, editors, 7th International Symposium on Frontiers of Combining Systems (FroCos 2009), Trento, Italy, September 16-18, 2009, pages 18-42, September 2009.
[ DOI ]

Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, and Jan Maluszynski.
Hybrid Reasoning with Rules and Ontologies.
In Francois Bry and Jan Maluszynski, editors, Semantic Techniques for the Web: The REWERSE Perspective, volume 5500 of LNCS, pages 1-49. Springer, September 2009.
[ DOI ]

Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
Relevance-driven Evaluation of Modular Nonmonotonic Logic Programs.
In Esra Erdem, Fangzhen Lin, and Torsten Schaub, editors, 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam, Germany, 14-18 September, 2009, volume 5753 of LNCS, pages 87-100. Springer, September 2009.
[ DOI | paper ]

Thomas Eiter, Michael Fink, Peter Schüller, and Antonius Weinzierl.
Towards diagnosing inconsistency in nonmonotonic multi-context systems.
In Logic-based Interpretation of Context: Modelling and Applications, volume 550 of CEUR Workshop Proceedings. CEUR-WS.org, September 2009.
[ paper ]

Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
Modular Nonmonotonic Logic Programming Revisited.
In Patricia M. Hill and David S. Warren, editors, 25th International Conference on Logic Programming (ICLP 2009), Pasadena, California, USA, July 14-17, 2009, volume 5649 of LNCS, pages 145-159. Springer, July 2009.
[ DOI | paper ]

Michael Fink and David Pearce.
Some equivalence concepts for hybrid theories.
In Proceedings of the 13th Conference of the Spanish Organization for Artificial Intelligence (CAEPIA 2009), pages 327-336.
Spanish Association for Artifical Intelligence, 2009.

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer. Datenschutzerklärung.