A Reasoning Framework for Rule-Based WSML

  • Stephan Grimm
  • Uwe Keller
  • Holger Lausen
  • Gábor Nagypál
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4519)


WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic programming. We present a framework to support reasoning with rule-based WSML language variants based on existing Datalog inference engines. Therein, the WSML reasoning tasks of knowledge base satisfiability and instance retrieval are implemented through a language mapping to Datalog rules and Datalog querying. Part of the WSML semantics is realized by a fixed set of rules that form meta-level axioms. Furthermore, the framework exhibits some debugging functionality that allows for identifying violated constraints and for pointing out involved instances and problem types. Its highly modular architecture facilitates easy extensibility towards other language variants and additional features. The available implementation of the framework provides the first reasoners for the WSML language.


Description Logic Constraint Violation Cardinality Constraint Empty Clause Reasoning Framework 
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.


  1. 1.
    Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)zbMATHGoogle Scholar
  2. 2.
    Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  3. 3.
    Brickley, D., Guha, R.V.: RDF Vocabulary Description Language 1.0: RDF Schema. Recommendation 10 February 2004, W3C (2004)Google Scholar
  4. 4.
    Citrigno, S., Eiter, T., Faber, W., Gottlob, G., Koch, C., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The DLV System: Model Generator and Advanced Frontends. In: Workshop LP (1997)Google Scholar
  5. 5.
    Dahr, M.: Deductive Databases: Theory and Applications. International Thomson Publishing, Albany (Dec. 1996)Google Scholar
  6. 6.
    de Bruijn, J., Lausen, H., Polleres, A., Fensel, D.: The Web Service Modeling Language WSML: An Overview. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 590–604. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  7. 7.
    de Bruijn, J., Polleres, A., Lara, R., Fensel, D.: OWL DL vs. OWL Flight: Conceptual Modeling and Reasoning on the Semantic Web. In: Proceedings of the 14th International World Wide Web Conference (WWW2005), Chiba, Japan, ACM Press, New York (2005)Google Scholar
  8. 8.
    de Bruin, J.: The Web Service Modeling Language (WSML) Specification. Tech. Report, Digital Enterprise Research Institute, DERI (Feb. 2005),
  9. 9.
    Dean, M., Schreiber, G. (eds.): OWL Web Ontology Language Reference. W3C Recommendation 10 February (2004)Google Scholar
  10. 10.
    Gelder, A.V., Ross, K., Schlipf, J.S.: The Well-Founded Semantics for General Logic Programs. Journal of the ACM 38(3), 620–650 (1991)zbMATHCrossRefGoogle Scholar
  11. 11.
    Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logics. In: Proceedings of WWW’03 (2003)Google Scholar
  12. 12.
    Kifer, M., Lausen, G., Wu, J.: Logical Foundations of Object-Oriented and Frame-Based Languages. JACM 42(4), 741–843 (1995)zbMATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    Lloyd, J., Topor, R.: Making Prolog More Expressive. Journal of Logic Programming 3, 225–240 (1984)CrossRefMathSciNetGoogle Scholar
  14. 14.
    Lloyd, J.W.: Foundations of Logic Programming, 2nd extended edn. Springer, New York (1987)zbMATHGoogle Scholar
  15. 15.
    Roman, D., Keller, U., Lausen, H., Lara, R., de Bruijn, J., Stollberg, M., Polleres, A., Feier, C., Bussler, C., Fensel, D.: Web Service Modeling Ontology. Applied Ontology 1(1), 77–106 (2005)Google Scholar
  16. 16.
    Wernhard, C.: System Description: KRHyper. Technical report, Fachberichte Informatik 14–2003, Universitat Koblenz-Landau, Institut für Informatik (2003)Google Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Stephan Grimm
    • 1
  • Uwe Keller
    • 2
  • Holger Lausen
    • 2
  • Gábor Nagypál
    • 1
  1. 1.FZI Research Center for Information Technologies at the University of KarlsruheGermany
  2. 2.Digital Enterprise Research Institute (DERI), University of InnsbruckAustria

Personalised recommendations