@misc{poll-etal-2005b,
	Abstract = {In this document, we introduce the Web Service Modeling Language WSML which provides a formal syntax and semantics for the Web Service Modeling Ontology WSMO. WSML is based on different logical formalisms, namely, Description Logics, First-Order Logic and Logic Programming, which are useful for the modeling of Semantic Web services. WSML consists of a number of variants based on these different logical formalisms, namely WSML-Core, WSML-DL, WSML-Flight, WSML-Rule and WSML-Full. WSML-Core corresponds with the intersection of Description Logic and Horn Logic. The other WSML variants provide increasing expressiveness in the direction of Description Logics and Logic Programming. Finally, both paradigms are unified in WSML-Full, the most expressive WSML variant. WSML is specified in terms of a normative human-readable syntax. Besides the human-readable syntax, WSML has an XML and an RDF syntax for exchange over the Web and for interoperation with RDF-based applications. Furthermore, we provide a mapping between WSML ontologies and OWL ontologies for interoperation with OWL ontologies through a common semantic subset of OWL and WSML.},
	Author = {Jos de Bruijn and Dieter Fensel and Uwe Keller and Michael Kifer and Reto Krummenacher and Holger Lausen and Axel Polleres and Livia Predoiu},
	Day = 3,
	Month = JUN,
	Note = {W3C member submission},
	Title = {{Web Service Modeling Language (WSML)}},
	Url = {http://www.w3.org/Submission/WSML/},
	Year = 2005,
	Bdsk-Url-1 = {http://www.w3.org/Submission/WSML/}}

{"_id":"bFK5Jyk7L44Pq8o8B","bibbaseid":"debruijn-fensel-keller-kifer-krummenacher-lausen-polleres-predoiu-webservicemodelinglanguagewsml-2005","downloads":0,"creationDate":"2015-12-16T06:35:18.202Z","title":"Web Service Modeling Language (WSML)","author_short":["de Bruijn, J.","Fensel, D.","Keller, U.","Kifer, M.","Krummenacher, R.","Lausen, H.","Polleres, A.","Predoiu, L."],"year":2005,"bibtype":"misc","biburl":"www.polleres.net/mypublications.bib","bibdata":{"bibtype":"misc","type":"misc","abstract":"In this document, we introduce the Web Service Modeling Language WSML which provides a formal syntax and semantics for the Web Service Modeling Ontology WSMO. WSML is based on different logical formalisms, namely, Description Logics, First-Order Logic and Logic Programming, which are useful for the modeling of Semantic Web services. WSML consists of a number of variants based on these different logical formalisms, namely WSML-Core, WSML-DL, WSML-Flight, WSML-Rule and WSML-Full. WSML-Core corresponds with the intersection of Description Logic and Horn Logic. The other WSML variants provide increasing expressiveness in the direction of Description Logics and Logic Programming. Finally, both paradigms are unified in WSML-Full, the most expressive WSML variant. WSML is specified in terms of a normative human-readable syntax. Besides the human-readable syntax, WSML has an XML and an RDF syntax for exchange over the Web and for interoperation with RDF-based applications. Furthermore, we provide a mapping between WSML ontologies and OWL ontologies for interoperation with OWL ontologies through a common semantic subset of OWL and WSML.","author":[{"firstnames":["Jos"],"propositions":["de"],"lastnames":["Bruijn"],"suffixes":[]},{"firstnames":["Dieter"],"propositions":[],"lastnames":["Fensel"],"suffixes":[]},{"firstnames":["Uwe"],"propositions":[],"lastnames":["Keller"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Kifer"],"suffixes":[]},{"firstnames":["Reto"],"propositions":[],"lastnames":["Krummenacher"],"suffixes":[]},{"firstnames":["Holger"],"propositions":[],"lastnames":["Lausen"],"suffixes":[]},{"firstnames":["Axel"],"propositions":[],"lastnames":["Polleres"],"suffixes":[]},{"firstnames":["Livia"],"propositions":[],"lastnames":["Predoiu"],"suffixes":[]}],"day":"3","month":"June","note":"W3C member submission","title":"Web Service Modeling Language (WSML)","url":"http://www.w3.org/Submission/WSML/","year":"2005","bdsk-url-1":"http://www.w3.org/Submission/WSML/","bibtex":"@misc{poll-etal-2005b,\n\tAbstract = {In this document, we introduce the Web Service Modeling Language WSML which provides a formal syntax and semantics for the Web Service Modeling Ontology WSMO. WSML is based on different logical formalisms, namely, Description Logics, First-Order Logic and Logic Programming, which are useful for the modeling of Semantic Web services. WSML consists of a number of variants based on these different logical formalisms, namely WSML-Core, WSML-DL, WSML-Flight, WSML-Rule and WSML-Full. WSML-Core corresponds with the intersection of Description Logic and Horn Logic. The other WSML variants provide increasing expressiveness in the direction of Description Logics and Logic Programming. Finally, both paradigms are unified in WSML-Full, the most expressive WSML variant. WSML is specified in terms of a normative human-readable syntax. Besides the human-readable syntax, WSML has an XML and an RDF syntax for exchange over the Web and for interoperation with RDF-based applications. Furthermore, we provide a mapping between WSML ontologies and OWL ontologies for interoperation with OWL ontologies through a common semantic subset of OWL and WSML.},\n\tAuthor = {Jos de Bruijn and Dieter Fensel and Uwe Keller and Michael Kifer and Reto Krummenacher and Holger Lausen and Axel Polleres and Livia Predoiu},\n\tDay = 3,\n\tMonth = JUN,\n\tNote = {W3C member submission},\n\tTitle = {{Web Service Modeling Language (WSML)}},\n\tUrl = {http://www.w3.org/Submission/WSML/},\n\tYear = 2005,\n\tBdsk-Url-1 = {http://www.w3.org/Submission/WSML/}}\n\n","author_short":["de Bruijn, J.","Fensel, D.","Keller, U.","Kifer, M.","Krummenacher, R.","Lausen, H.","Polleres, A.","Predoiu, L."],"key":"poll-etal-2005b","id":"poll-etal-2005b","bibbaseid":"debruijn-fensel-keller-kifer-krummenacher-lausen-polleres-predoiu-webservicemodelinglanguagewsml-2005","role":"author","urls":{"Paper":"http://www.w3.org/Submission/WSML/"},"metadata":{"authorlinks":{"polleres, a":"https://bibbase.org/show?bib=www.polleres.net/mypublications.bib"}}},"search_terms":["web","service","modeling","language","wsml","de bruijn","fensel","keller","kifer","krummenacher","lausen","polleres","predoiu"],"keywords":[],"authorIDs":["545720922abc8e9f370000ae","5PFMiHGwfvbGBZwWF","5de7280d97054edf010000c3","5e02b1a419da8edf01000028","5e048450db7916df010000b1","5e06d565a0810cde0100009b","5e10e27445c12cde01000062","5e123345c196d3de01000074","5e14ba61e55ed8de01000072","5e189b4e779abfdf0100013f","5e216f7e5a651cdf010000eb","5e25b9fdf299d4de01000001","5e2d64605e7586df01000083","5e36e5e9b26a0fde0100005e","5e37d23b56571fde010000de","5e4ded1052c311f20100018e","5e51a3102793ecde010000e0","5e59a6b5ad6c7fde01000114","5e5d588ead47bcde01000072","5e60e857839e59df010000f1","A5AFuDAiNR4HEYiFD","BtzwZ6TFPsASbdqvo","DLdeXAmrbA4niYQzH","FyLDFGg993nDS2Spf","NCjPvWahWRjdP3ghB","XcyP3jptz7zE4ZLws","aiXjXMLP63k5WCt84","fTDcT5K3oSTcdxSBj","fbKNfWffDzdzubrER","haaAs2rQaQA7EaZva","nQX2P8WzFeKwcpLqd","nuWuyLnGu7YzMrn4d","pfENTBFWo85mRy3ik","rX6EShFR2rMFmQL2C","w6wHZukTjqqera7BR","woa42kCD35yCmdQTj","yPgvarsL7KAT9yfZd","yzkCNJMYNL8B3bni2","zDG3tj87ZfYXo7u9c"],"dataSources":["cBfwyqsLFQQMc4Fss","gixxkiKt6rtWGoKSh","QfLT6siHZuHw9MqvK"]}