Skip to main content
SpringerLink
Log in

Bridge Rules for Reasoning in Component-Based Heterogeneous Environments

  • Conference paper
  • First Online:
Rule Technologies. Research, Tools, and Applications (RuleML 2016)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 9718))

Abstract

Multi-Context Systems (MCS) model in Computational Logic distributed systems composed of heterogeneous sources, or “contexts”, interacting via special rules called “bridge rules”. In this paper we consider how to enhance flexibility and generality of such systems; in particular, we discuss aspects that might be improved to increase practical applicability.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Cf. [4, 5] for standard datalog, logic programming and prolog terminology.

  2. 2.

    We introduce mMCSs in a simplified form with respect to [6]: in fact, they generalize from a logic to a “logic suite”, where one can select the desired semantics among a set of possibilities, while we define mMCS simply over logics.

References

  1. Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: Proceedings of 22nd AAAI Conference on Artificial Intelligence, pp. 385–390. AAAI Press (2007)

    Google Scholar 

  2. Brewka, G., Eiter, T., Fink, M.: Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources. In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. LNCS, vol. 6565, pp. 233–258. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  3. Brewka, G., Ellmauthaler, S., Pührer, J.: Multi-context systems for reactive reasoning in dynamic environments. In: Schaub, T. (ed.) Proceedings of 21st European Conference on Artificial Intelligence, ECAI 2014. IJCAI/AAAI (2014)

    Google Scholar 

  4. Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)

    Book  MATH  Google Scholar 

  5. Apt, K.R., Bol, R.N.: Logic programming and negation: a survey. J. Log. Program. 19–20, 9–71 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  6. Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: Walsh, T. (ed.) Proceedings of 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011, pp. 786–791. IJCAI/AAAI (2011)

    Google Scholar 

  7. Costantini, S.: Knowledge acquisition via non-monotonic reasoning in distributed heterogeneous environments. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS, vol. 9345, pp. 228–241. Springer, Heidelberg (2015)

    Chapter  Google Scholar 

  8. Costantini, S., De Gasperis, G.: Exchanging data and ontological definitions in multi-agent-contexts systems. In: Paschke, A., Fodor, P., Giurca, A., Kliegr, T. (eds.) Proceedings of RuleMLChallenge Track, CEUR Workshop Proceedings. CEUR-WS.org (2015)

    Google Scholar 

  9. Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics or: how we can do without modal logics. Artif. Intell. 65(1), 29–70 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  10. Fink, M., Ghionna, L., Weinzierl, A.: Relational information exchange and aggregation in multi-context systems. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 120–133. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  11. Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Distributed evaluation of nonmonotonic multi-context systems. J. Artif. Int. Res. (JAIR) 52, 543–600 (2015)

    MathSciNet  MATH  Google Scholar 

  12. Eiter, T., Šimkus, M.: Linking open-world knowledge bases using nonmonotonic rules. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS, vol. 9345, pp. 294–308. Springer, Heidelberg (2015)

    Chapter  Google Scholar 

  13. Aielli, F., Ancona, D., Caianiello, P., Costantini, S., De Gasperis, G., Di Marco, A., Ferrando, A., Mascardi, V.: FRIENDLY & KIND with your health: human-friendly knowledge-INtensive dynamic systems for the e-Health domain. In: Hallenborg, K., Giroux, S. (eds.) International Workshop on Agents and Multi-agent Systems for AAL and e-HEALTH (A-HEALTH) at PAAMS 2016, Proceedings of Communications in Computer and Information Science. Springer (2016)

    Google Scholar 

  14. Gelfond, M.: Answer sets. In: Handbook of Knowledge Representation. Elsevier, Amsterdam (2007)

    Google Scholar 

  15. Barilaro, R., Fink, M., Ricca, F., Terracina, G.: Towards query answering in relational multi-context systems. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol. 8148, pp. 168–173. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  16. Alferes, J.J., Brogi, A., Leite, J., Moniz Pereira, L.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 50–61. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  17. Bienvenu, M., Lang, J., Wilson, N.: From preference logics to preference languages, and back. In: Proceedings of 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), pp. 414–424 (2010)

    Google Scholar 

  18. Brewka, G., Niemelä, I., Truszczyński, M.: Preferences and nonmonotonic reasoning. AI Mag. 29(4), 69 (2008)

    Google Scholar 

  19. Costantini, S., Formisano, A.: Modeling preferences and conditional preferences on resource consumption and production in ASP. J. Algorithms Cogn. Inform. Log. 64(1), 3–15 (2009)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Ingegneria e Scienze dell’Informazione e Matematica, Università degli Studi dell’Aquila, Via Vetoio snc, L’Aquila, Italy

    Stefania Costantini & Giovanni De Gasperis

Authors
  1. Stefania Costantini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Giovanni De Gasperis
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Stefania Costantini .

Editor information

Editors and Affiliations

  1. Universidade Nova de Lisboa, Lisboa, Portugal

    Jose Julio Alferes

  2. Carleton University, Ottawa, Ontario, Canada

    Leopoldo Bertossi

  3. NICTA Queensland, Brisbane, Queensland, Australia

    Guido Governatori

  4. Stony Brook University, Stony Brook, New York, USA

    Paul Fodor

  5. SINTEF/University of Oslo, Oslo, Norway

    Dumitru Roman

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Costantini, S., De Gasperis, G. (2016). Bridge Rules for Reasoning in Component-Based Heterogeneous Environments. In: Alferes, J., Bertossi, L., Governatori, G., Fodor, P., Roman, D. (eds) Rule Technologies. Research, Tools, and Applications. RuleML 2016. Lecture Notes in Computer Science(), vol 9718. Springer, Cham. https://doi.org/10.1007/978-3-319-42019-6_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-42019-6_7

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-42018-9

  • Online ISBN: 978-3-319-42019-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation