@inproceedings{debr-etal-2005-W3Crules,
	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).},
	Address = {Washington, D.C., USA},
	Author = {Jos de Bruijn and Holger Lausen and Axel Polleres and Dieter Fensel},
	Booktitle = {{W3C} Workshop on Rule Languages for Interoperability},
	Day = {27--28},
	Month = APR,
	Title = {The {WSML} Rule Languages for the Semantic Web},
	Url = {http://www.w3.org/2004/12/rules-ws/paper/128},
	Year = 2005,
	Bdsk-Url-1 = {http://www.w3.org/2004/12/rules-ws/paper/128}}

{"_id":"29uwoWuqaynGQTznW","bibbaseid":"debruijn-lausen-polleres-fensel-thewsmlrulelanguagesforthesemanticweb-2005","downloads":0,"creationDate":"2015-12-16T06:35:18.243Z","title":"The WSML Rule Languages for the Semantic Web","author_short":["de Bruijn, J.","Lausen, H.","Polleres, A.","Fensel, D."],"year":2005,"bibtype":"inproceedings","biburl":"www.polleres.net/mypublications.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","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).","address":"Washington, D.C., USA","author":[{"firstnames":["Jos"],"propositions":["de"],"lastnames":["Bruijn"],"suffixes":[]},{"firstnames":["Holger"],"propositions":[],"lastnames":["Lausen"],"suffixes":[]},{"firstnames":["Axel"],"propositions":[],"lastnames":["Polleres"],"suffixes":[]},{"firstnames":["Dieter"],"propositions":[],"lastnames":["Fensel"],"suffixes":[]}],"booktitle":"W3C Workshop on Rule Languages for Interoperability","day":"27–28","month":"April","title":"The WSML Rule Languages for the Semantic Web","url":"http://www.w3.org/2004/12/rules-ws/paper/128","year":"2005","bdsk-url-1":"http://www.w3.org/2004/12/rules-ws/paper/128","bibtex":"@inproceedings{debr-etal-2005-W3Crules,\n\tAbstract = {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).},\n\tAddress = {Washington, D.C., USA},\n\tAuthor = {Jos de Bruijn and Holger Lausen and Axel Polleres and Dieter Fensel},\n\tBooktitle = {{W3C} Workshop on Rule Languages for Interoperability},\n\tDay = {27--28},\n\tMonth = APR,\n\tTitle = {The {WSML} Rule Languages for the Semantic Web},\n\tUrl = {http://www.w3.org/2004/12/rules-ws/paper/128},\n\tYear = 2005,\n\tBdsk-Url-1 = {http://www.w3.org/2004/12/rules-ws/paper/128}}\n\n","author_short":["de Bruijn, J.","Lausen, H.","Polleres, A.","Fensel, D."],"key":"debr-etal-2005-W3Crules","id":"debr-etal-2005-W3Crules","bibbaseid":"debruijn-lausen-polleres-fensel-thewsmlrulelanguagesforthesemanticweb-2005","role":"author","urls":{"Paper":"http://www.w3.org/2004/12/rules-ws/paper/128"},"metadata":{"authorlinks":{"polleres, a":"https://bibbase.org/show?bib=www.polleres.net/mypublications.bib"}}},"search_terms":["wsml","rule","languages","semantic","web","de bruijn","lausen","polleres","fensel"],"keywords":[],"authorIDs":["FyLDFGg993nDS2Spf"],"dataSources":["cBfwyqsLFQQMc4Fss","gixxkiKt6rtWGoKSh","QfLT6siHZuHw9MqvK"]}