Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/eswc2007/paper-137> ?p ?o. }
Showing items 1 to 9 of
9
with 100 items per page.
- paper-137 type InProceedings.
- paper-137 label "A Reasoning Framework for Rule-Based WSML".
- paper-137 sameAs paper-137.
- paper-137 abstract "The use of ontology languages for semantically annotating Web Services demands for reasoning support in order to facilitate tasks like automated discovery or composition of services based on semantic descriptions of their functionality. 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 realised 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.".
- paper-137 hasAuthorList authorList.
- paper-137 keyword "Automated Reasoning".
- paper-137 keyword "Ontologies".
- paper-137 keyword "Semantic Web Services".
- paper-137 title "A Reasoning Framework for Rule-Based WSML".