Advertisement

Description Logics, Rules and Multi-context Systems

  • Luís Cruz-Filipe
  • Rita Henriques
  • Isabel Nunes
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8312)

Abstract

The combination of rules and ontologies has been a fertile topic of research in the last years, with the proposal of several different systems that achieve this goal. In this paper, we look at two of these formalisms, Mdl-programs and multi-context systems, which address different aspects of this combination, and include different, incomparable programming constructs. Despite this, we show that every Mdl-program can be transformed in a multi-context system, and this transformation relates the different semantics for each paradigm in a natural way. As an application, we show how a set of design patterns for multi-context systems can be obtained from previous work on Mdl-programs.

Keywords

Logic Program Design Pattern Description Logic Belief State Input Context 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press (2007)Google Scholar
  2. 2.
    Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: AAAI 2007, pp. 385–390. AAAI Press (2007)Google Scholar
  3. 3.
    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.) Gelfond Festschrift. LNCS, vol. 6565, pp. 233–258. Springer, Heidelberg (2011)Google Scholar
  4. 4.
    Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: Walsh, T. (ed.) IJCAI, pp. 786–791. IJCAI/AAAI (2011)Google Scholar
  5. 5.
    Cruz-Filipe, L., Engrácia, P., Gaspar, G., Nunes, I.: Achieving tightness in dl-programs. Technical Report 2012;03, Faculty of Sciences of the University of Lisbon (July 2012), http://hdl.handle.net/10455/6872
  6. 6.
    Cruz-Filipe, L., Henriques, R., Nunes, I.: Viewing dl-programs as multi-context systems. Technical Report 2013;05, Faculty of Sciences of the University of Lisbon (April 2013), http://hdl.handle.net/10455/6895
  7. 7.
    Cruz-Filipe, L., Nunes, I., Gaspar, G.: Patterns for interfacing between logic programs and multiple ontologies. To appear in Proceedings of KEOD 2013 (2013), http://tinyurl.com/itsweb2013-09
  8. 8.
    Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating Datalog and description logics. Int. Inf. Systems (1998)Google Scholar
  9. 9.
    Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R.: Well-founded semantics for description logic programs in the semantic Web. ACM Transactions on Computational Logic 12(2), Article Nr 11 (2011)Google Scholar
  10. 10.
    Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artificial Intelligence 172(12-13), 1495–1539 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI 2005, pp. 90–96. Professional Book Center (2005)Google Scholar
  12. 12.
    Heymans, S., Eiter, T., Xiao, G.: Tractable reasoning with DL-programs over Datalog-rewritable description logics. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) ECAI 2010. Frontiers in Artificial Intelligence and Applications, vol. 215, pp. 35–40. IOS Press (2010)Google Scholar
  13. 13.
  14. 14.
    Motik, B., Rosati, R.: Reconciling description logics and rules. Journal of the ACM 57, Article Nr 30 (June 2010)Google Scholar
  15. 15.
    The OWL Working Group. Wine ontology, http://www.w3.org/TR/2004/REC-owl-guide-20040210/wine.rdf
  16. 16.
    Rosati, R.: DL+log: Tight integration of description logics and disjunctive Datalog. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) KR 2006, pp. 67–78. AAAI Press (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Luís Cruz-Filipe
    • 1
    • 2
    • 4
  • Rita Henriques
    • 3
  • Isabel Nunes
    • 3
    • 4
  1. 1.Escola Superior Náutica Infante D. HenriquePortugal
  2. 2.CMAFLisboaPortugal
  3. 3.Faculdade de CiênciasUniversidade de LisboaPortugal
  4. 4.LabMagLisboaPortugal

Personalised recommendations