A Reasoning Framework for Rule-Based WSML

Authors:
Stephan Grimm;Uwe Keller;Holger Lausen;Gábor Nagypál
Affiliations:
FZI Research Center for Information Technologies at the University of Karlsruhe, Germany;Digital Enterprise Research Institute (DERI), University of Innsbruck, Austria;Digital Enterprise Research Institute (DERI), University of Innsbruck, Austria;FZI Research Center for Information Technologies at the University of Karlsruhe, Germany
Venue:
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Year:
2007

Citing 10
Cited 1

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
The well-founded semantics for general logic programs

Journal of the ACM (JACM)
Logical foundations of object-oriented and frame-based languages

Journal of the ACM (JACM)
Deductive Databases: Theory and Applications

Deductive Databases: Theory and Applications
Foundations of Databases: The Logical Level

Foundations of Databases: The Logical Level
Description logic programs: combining logic programs with description logic

WWW '03 Proceedings of the 12th international conference on World Wide Web
OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web

WWW '05 Proceedings of the 14th international conference on World Wide Web
The Description Logic Handbook

The Description Logic Handbook
Web Service Modeling Ontology

Applied Ontology
The web service modeling language WSML: an overview

ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications

Using adaptable SPARQL to manipulate and to retrieve domain ontologies: application to social intelligence domain

International Journal of Metadata, Semantics and Ontologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.