ARAN - Access to Research at NUI Galway

The WSML Rule Languages for the Semantic Web

ARAN - Access to Research at NUI Galway

Show simple item record Polleres, Axel en Fensel, Dieter en 2010-01-22T12:21:01Z en 2010-01-22T12:21:01Z en 2005 en
dc.identifier.citation Jos 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.identifier.uri en
dc.description.abstract The 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.format application/pdf en
dc.language.iso en en
dc.subject.lcsh Semantic Web en
dc.subject.lcsh Ontologies (Information retrieval) en
dc.title The WSML Rule Languages for the Semantic Web en
dc.type Workshop paper en
dc.description.peer-reviewed peer-reviewed en
dc.contributor.funder Science Foundation Ireland en

Files in this item

This item appears in the following Collection(s)

Show simple item record