A TRIPLE-Oriented Approach for Integrating Higher-Order Rules and External Contexts

  • Andreas Billig
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5341)

Abstract

In recent years, many researchers in the area of reasoning have focussed on the adoption of rule languages for the Semantic Web that led to remarkable approaches offering various functionality. On one hand, this included language elements of the rule part itself like contexts, higher-orderness, and non-monotonic negation. On the other hand, the proper integration with ontology languages like RDF and OWL had to consider language-specific properties like disjunctivity as well as the demand for using existing external components. The paper proposes a Triple-oriented hybrid language that integrates the mentioned language elements of both aspects following the expressiveness of locally stratified datalog. It introduces fixpoint semantics as well as pragmatic extensions for defining transformations between fact bases. A partial implementation is based on stratified, semi-naive evaluation, and static filtering.

Keywords

Description Logic External Component Ontology Language Deductive Database External 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.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Chen, W., Kifer, M., Warren, D.S.: HILOG: A foundation for higher-order logic programming. Journal of Logic Programming 15(3), 187–230 (1993)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of ACM 42(4), 741–843 (1995)MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective integration of declarative rules with external evaluations for semantic-web reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 273–287. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  4. 4.
    Staab, S., Studer, R. (eds.): Handbook on Ontologies. International Handbooks on Information Systems. Springer, Heidelberg (2004)Google Scholar
  5. 5.
    Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Universität Karlsruhe (TH), Institut AIFB, D-76128 Karlsruhe (2006)Google Scholar
  6. 6.
    Rosati, R.: Dl+log: Tight integration of description logics and disjunctive datalog. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) KR 2006, pp. 68–78. AAAI Press, Menlo Park (2006)Google Scholar
  7. 7.
    Mei, Jing, Lin, Zuoquan, Boley, Harold, Li, Jie, Bhavsar, Virendrakumar, C.: The datalog dl combination of deduction rules and description logics. The datalog dl combination of deduction rules and description logics 23(3), 356–372 (2007)MathSciNetGoogle Scholar
  8. 8.
    Sintek, M., Decker, S.: TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342. Springer, Heidelberg (2002)Google Scholar
  9. 9.
    McCarthy, J.: Notes on formalizing contexts. In: Kehler, T., Rosenschein, S. (eds.) Proceedings of the Fifth National Conference on Artificial Intelligence, Los Altos, California, pp. 555–560. Morgan Kaufmann, San Francisco (1993)Google Scholar
  10. 10.
    Lloyd, J.W.: Foundations of Logic Programming. Springer, New York (1993)MATHGoogle Scholar
  11. 11.
    Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)MATHGoogle Scholar
  12. 12.
    Sandkuhl, K., Billig, A.: Ontology-based artefact management in automotive electronics. International Journal of Computer Integrated Manufacturing 20(7), 627–638 (2007)CrossRefGoogle Scholar
  13. 13.
    Billig, A., Busse, S., Leicher, A., Süß, J.G.: Platform Independent Model Transformation Based on Triple. In: Middleware 2004, ACM/IFIP/USENIX International Middleware Conference, pp. 493–512 (2004)Google Scholar
  14. 14.
    Decker, S., Sintek, M., Billig, A., Henze, N., Dolog, P., Nejdl, W., Harth, A., Leicher, A., Busse, S., Ambite, J.L., Weathers, M., Neumann, G., Zdun, U.: Triple - an rdf rule language with context and use cases. In: Rule Languages for Interoperability, W3C (2005)Google Scholar
  15. 15.
    Kifer, M., Lozinskii, E.L.: On compile-time query optimization in deductive databases by means of static filtering. ACM Trans. Database Syst. 15(3), 385–426 (1990)MathSciNetCrossRefGoogle Scholar
  16. 16.
    Yang, G., Kifer, M., Zhao, C.: Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. In: Meersman, R., Tari, Z., Schmidt, D.C. (eds.) CoopIS 2003, DOA 2003, and ODBASE 2003. LNCS, vol. 2888, pp. 671–688. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  17. 17.
    Motik, B.: On the Properties of Metamodeling in OWL. In: International Semantic Web Conference, pp. 548–562 (2005)Google Scholar
  18. 18.
    Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating Datalog and Description Logics. J. Intell. Inf. Syst. 10(3), 227–252 (1998)CrossRefMATHGoogle Scholar
  19. 19.
    Goasdoue, F., Rousset, M.C.: Querying distributed data through distributed ontologies: A simple but scalable approach. IEEE Intelligent Systems 18(5), 60–65 (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Andreas Billig
    • 1
    • 2
  1. 1.Jönköping UniversityJönköpingSweden
  2. 2.Fraunhofer ISSTBerlinGermany

Personalised recommendations