A reasoning framework for rule-based WSML

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4519 LNCS, Issue , 2007, Pages 114-128

  Grimm, Stephan ^a   Keller, Uwe ^b   Lausen, Holger ^b   Nagypál, Gábor ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b UNIVERSITY OF INNSBRUCK   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

INFERENCE ENGINES; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; ONTOLOGY; WEB SERVICES;

DATALOG INFERENCE ENGINES; DATALOG RULES; ONTOLOGY LANGUAGE;

SPECIFICATION LANGUAGES;

EID: 34548103645     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72667-8_10     Document Type: Conference Paper

References (16)

1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
2. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2003.
3. D. Brickley and R. V. Guha. RDF Vocabulary Description Language 1.0: RDF Schema. Recommendation 10 February 2004, W3C, 2004.
4. S. Citrigno, T. Eiter, W. Faber, G. Gottlob, C. Koch, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. The DLV System: Model Generator and Advanced Frontends. In Workshop LP, 1997.
5. M. Dahr. Deductive Databases: Theory and Applications. International Thomson Publishing, December 1996.
6. J. de Bruijn, H. Lausen, A. Polleres, and D. Fensel. The Web Service Modeling Language WSML: An Overview. In Proc. of the 3rd Euro. Semantic Web Conference (ESWC), 2006.
7. J. de Bruijn, A. Polleres, R. Lara, and D. Fensel. 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, 2005. ACM.
8. J. de Bruin. The Web Service Modeling Language (WSML) Specification. Tech. Report, Digital Enterprise Research Institute (DERI), Feb. 2005. http://www.wsmo.org/TR/d16/.
9. M. Dean and G. Schreiber, editors. OWL Web Ontology Language Reference. 2004. W3C Recommendation 10 February 2004.
10. A. V. Gelder, K. Ross, and J. S. Schlipf. The Well-Founded Semantics for General Logic Programs. Journal of the ACM, 38(3):620-650, 1991.
11. B. Grosof, I. Horrocks, R. Volz, and S. Decker. Description Logic Programs: Combining Logic Programs with Description Logics. In Proceedings of WWW-2003, 2003.
12. M. Kifer, G. Lausen, and J. Wu. Logical Foundations of Object-Oriented and Frame-Based Languages. JACM, 42(4):741-843, 1995.
13. J. Lloyd and R. Topor. Making Prolog More Expressive. Journal of Logic Programming, 3:225-240, 1984.
14. J. W. Lloyd. Foundations of Logic Programming; (2nd extended ed.). Springer, New York, NY, USA, 1987. ISBN 3-540-18199-7.
15. D. Roman, U. Keller, H. Lausen, R. L. Jos de Bruijn, M. Stollberg, A. Polleres, C. Feier, C. Bussler, and D. Fensel. Web Service Modeling Ontology. Applied Ontology, 1(1):77-106, 2005.
16. C. Wernhard. System Description: KRHyper, Technical report, Fachberichte Informatik 14-2003, Universitat Koblenz-Landau, Institut fur Informatik., 2003.