Show simple item record

dc.contributor.authorPolleres, Axelen
dc.contributor.authorFensel, Dieteren
dc.identifier.citationJos de Bruijn, Holger Lausen, Axel Polleres, Dieter Fensel "The WSML Rule Languages for the Semantic Web", Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005.en
dc.description.abstractThe Web Service Modeling Language WSML provides a framework for the modeling of ontologies and semantic Web services based on the conceptual model of the Web Service Modeling Ontology. In this paper we describe the two rule-based WSML-variants and outline our position with respect to a rule language for the Semantic Web. The first rule-based WSML variant, WSML-Flight, semantically corresponds to the Datalog fragment of F-Logic, extended with inequality in the body and locally stratified negation under the Perfect model semantics. The second, WSML- Rule, is an extension of WSML-Flight to the logic programming subset of F-Logic which allows the use of function symbols and unsafe rules (i.e., there may be variables in rule heads which do not occur in the body).en
dc.subject.lcshSemantic Weben
dc.subject.lcshOntologies (Information retrieval)en
dc.titleThe WSML Rule Languages for the Semantic Weben
dc.typeWorkshop paperen
dc.contributor.funderScience Foundation Irelanden

Files in this item

Attribution-NonCommercial-NoDerivs 3.0 Ireland
This item is available under the Attribution-NonCommercial-NoDerivs 3.0 Ireland. No item may be reproduced for commercial purposes. Please refer to the publisher's URL where this is made available, or to notes contained in the item itself. Other terms may apply.

The following license files are associated with this item:

This item appears in the following Collection(s)

Show simple item record