Filters








514 Hits in 2.9 sec

A Reasoning Framework for Rule-Based WSML [chapter]

Stephan Grimm, Uwe Keller, Holger Lausen, Gábor Nagypál
Lecture Notes in Computer Science  
We present a framework to support reasoning with rule-based WSML language variants based on existing Datalog inference engines.  ...  The available implementation of the framework provides the first reasoners for the WSML language.  ...  We would like to thank our colleagues that wrote [8] , especially Jos de Bruijn, for fruitful discussions and the contribution of mapping definitions.  ... 
doi:10.1007/978-3-540-72667-8_10 fatcat:fmdevh3gq5eizj3cmhicrwswpy

WSML2Reasoner - A Comprehensive Reasoning Framework for the Semantic Web

Reto Krummenacher, Daniel Winkler, Adrian Marte
2010 International Semantic Web Conference  
The same applies for the WSML language that provides variants for Description Logics and rule-based reasoning.  ...  Elly is a reasoner for entailment and satisfiability checking of ELP rule bases. 6 It includes an object model for ELP and a reasoner based on the translation to Datalog [8] ; as such, Elly is implemented  ... 
dblp:conf/semweb/KrummenacherWM10 fatcat:5x2wd4zmrzbo7d7fpuyikha4vu

RIF-BLD Reasoning with IRIS

Daniel Winkler, Reto Krummenacher, Adrian Marte
2010 International Web Rule Symposium  
Furthermore, IRIS acts as base for extensions that allow for reasoning with the OWL 2 profiles EL and RL and the Web Service Modeling Language (WSML).  ...  The basic IRIS implementation for RIF and OWL 2 reasoning is stable, however, further performance improvements and the implementation of effective parallelized rule-based reasoning strategies that are  ...  Online demonstrators for WSML-based reasoning are also available: -WSML-DL v2.0, http://iris.sti2.at/reasoners/wsml-dl-reasoner/ -WSML-Rule v2.0, http://iris.sti2.at/reasoners/wsml-rule-reasoner/ Conclusions  ... 
dblp:conf/ruleml/WinklerKM10 fatcat:3ckxg7j7rba6xdqbia5kmgrwdu

Notice of Violation of IEEE Publication Principles Promoting B2B Integration with Semantic Web Service Technologies

Seyyed Ali Rokni Dezfouli, Jafar Habibi
2008 2008 Second Asia International Conference on Modelling & Simulation (AMS)  
We used a reasoner in interaction with WSMX for automatic consistency checking of instances in runtime.  ...  We present a semantic B2B mediator based on the WSMX -a SWS execution environment, to tackle heterogeneities in B2B services.  ...  We use reasoner for operating consistency checking of instances in run-time. The reasoner has to handle WSML. As yet simple reasoner for some WSML variant is developed.  ... 
doi:10.1109/ams.2008.157 dblp:conf/asiams/DezfouliHY08 fatcat:iwd5ubu6irgefdownt5vus4b2y

The Web Service Modeling Language WSML: An Overview [chapter]

Jos de Bruijn, Holger Lausen, Axel Polleres, Dieter Fensel
2006 Lecture Notes in Computer Science  
It provides a formal language for the Web Service Modeling Ontology WSMO which is based on well-known logical formalisms, specifying one coherent language framework for the semantic description of Web  ...  IRIs play a central role in WSML as identifiers. Furthermore, WSML defines XML and RDF serializations for inter-operation over the Semantic Web.  ...  Acknowledgments We would like to thank all members of the WSML working group, especially Eyal Oren and Rubén Lara, for their comments and input to this document.  ... 
doi:10.1007/11762256_43 fatcat:ae5ffg45lffhzjmgcwfjzhnxz4

On the Modeling of Context-Rules with WSML

Reto Krummenacher, Holger Lausen, Thomas Strang
2006 European Conference on Artificial Intelligence  
Modeling context information based on formal descriptions is a core aspect of service integration and interoperability, in particular in pervasive computing environments.  ...  In this paper we present an improved and simplified version of the Context Ontology Language modeled in WSML-Rule to show the potential use of context rules in pervasive computing applications and in particular  ...  ACKNOWLEDGEMENTS The work is funded by the European Commission under the projects DIP, Knowledge Web, SEKT, and ASG; by the Austrian Federal Ministry for Transport, Innovation, and Technology under the  ... 
dblp:conf/ecai/KrummenacherLS06 fatcat:prqnwplqvjflpkbviu7bn7p52a

Why Real-World Multimedia Assets Fail to Enter the Semantic Web

Tobias Bürger, Michael Hausenblas
2007 International Conference on Knowledge Capture  
Based on a critical review of these requirements we investigate how ontology languages fit into the picture.  ...  Most proprietary media asset formats are binary, optimized for streaming or storage. However, the semantics carried by the media assets are not accessible directly.  ...  Acknowledgements The research leading to this paper was partially supported by the European Commission under contract FP6-027026, "Knowledge Space of semantic inference for automatic annotation and retrieval  ... 
dblp:conf/kcap/BurgerH07 fatcat:ocy7orux6vdttlhvturhpiw2mu

A Semantic Framework for Language Layering in WSML [chapter]

Jos de Bruijn, Stijn Heymans
2007 Lecture Notes in Computer Science  
WSML-DL corresponds to SHIQ(D), WSML-Rule to the Stable Model Semantics for Logic Programs (the Well-Founded Semantics can be seen as an approximation), and WSML-Core to DHL(D) (without nominals), a Horn  ...  WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming.  ...  Acknowledgements We would like to thank the members of the WSML working group, especially Axel Polleres, for valuable discussions about WSML language layering, and we would like to thank two anonymous  ... 
doi:10.1007/978-3-540-72982-2_8 fatcat:pklrnr2eavdprg5lhxt67jolgm

Semantic Business Process Repository

Zhilei Ma, Branimir Wetzstein, Darko Anicic, Stijn Heymans, Frank Leymann
2007 Extended Semantic Web Conference  
We then introduce a solution based on the Integrated Rule Inference System (IRIS) on top of a relational database for realizing the storage mechanism and query processing.  ...  As in SBPM business process models are based on process ontologies, the semantic business process repository has additional requirements towards support of reasoning and querying capabilities.  ...  Currently IRIS is a WSML-Flight reasoner. The system is extensively being developed to support reasoning with WSML-Rule (i.e., support for function symbols, unsafe rules and non-stratified negation).  ... 
dblp:conf/esws/MaWAHL07 fatcat:bovwspicv5hefc45hpdeecoloa

A Critical Evaluation of Web Service Modeling Ontology and Web Service Modeling Language [chapter]

Omid Sharifi, Zeki Bayram
2016 Communications in Computer and Information Science  
Web Service Modeling Language (WSML), based on the Web Service Modeling Ontology (WSMO), is a large and highly complex language designed for the specification of semantic web services.  ...  We point out those discovered deficiencies, and propose remedies for them, laying the foundation for a more tractable and useful formalism for specifying semantic web services.  ...  Web Services Modeling Language (WSML) [5] is a family of concrete languages based on Flogic [11] that implement the WSMO framework.  ... 
doi:10.1007/978-3-319-47217-1_11 fatcat:xqjv2wkgxva2lcoeqlocw6ni2q

Reasoning with Large Data Sets

Darko Anicic
2007 Extended Semantic Web Conference  
Our study is being implemented in Integrated Rule Inference System (IRIS) -a reasoner for Web Service Modeling Language.  ...  Efficient reasoning is a critical factor for successful Semantic Web applications. In this context, applications may require vast volumes of data to be processed in a short time.  ...  We are developing IRIS 2 to serve as a WSML reasoner which handles large workload efficiently. Current inference systems exploit reasoner methods developed rather for small knowledge bases [2] .  ... 
dblp:conf/esws/Anicic07 fatcat:ec3amgbyxzhp5came75vrygp2u

Handling heterogeneity in RosettaNet messages

Armin Haller, Paavo Kotinurmi, Tomas Vitvar, Eyal Oren
2007 Proceedings of the 2007 ACM symposium on Applied computing - SAC '07  
We present a semantic B2B gateway based on the WSMX semantic Service-Oriented Architecture to tackle heterogeneities in RosettaNet messages.  ...  We develop a rich RosettaNet ontology and use the axiomatised knowledge and rules to resolve data heterogeneities and to unify unit conversions.  ...  This work is also partly supported by the Finnish Funding Agency for Technology and Innovation (Tekes) and the Graduate School for Electronic Business and Software Industry.  ... 
doi:10.1145/1244002.1244297 dblp:conf/sac/HallerKVO07 fatcat:oniqbqxn75dxhmzuh2icr6wh6m

Database Modelling Using Wsml In The Specification Of A Banking Application

Omid Sharifi, Member, ACM, Zeki Bayram, Member, ACM
2013 Zenodo  
Using a reasoning tool, logic queries can also be made against the database in simulation mode.  ...  Relations, which are available for modelling relations of three or more concepts, can be connected to logical expressions, allowing the implicit specification of database content.  ...  Web Service Modelling Ontology (WSMO) [6] is a framework for semantic description of Semantic Web Services based on the Web Service Modeling Framework (WSMF) [9] .  ... 
doi:10.5281/zenodo.1058087 fatcat:dvjkpnyfazfnnmbar72733jjim

Performance of Hybrid WSML Service Matching with WSMO-MX: Preliminary Results

Frank Kaufer, Matthias Klusch
2007 International Semantic Web Conference  
In summary, it turned out that hybrid matching of WSML-MX services performs reasonably well.  ...  These degrees are recursively computed by aggregated valuations of ontology based type matching, logical constraint and relation matching, and syntactic similarity as well.  ...  For this purpose, both services and goals are described in a Logic Programming (LP) variant of WSML, called WSML-MX, which is based on WSML-Rule.  ... 
dblp:conf/semweb/KauferK07 fatcat:zcim32sn3bb73e5wujssaz2oei

Modeling QoS characteristics in WSMO

Ioan Toma, Douglas Foxvog, Michael C. Jaeger
2006 Proceedings of the 1st workshop on Middleware for Service Oriented Computing (MW4SOC 2006) - MW4SOC '06  
Service oriented architectures (SOAs) are becoming widespread solutions for realizing distributed applications.  ...  Among these aspects, quality-of-service (QoS) need to be addressed given the high dynamism of any SOA-based system.  ...  The editors would like to thank to all the members of the WSMO and WSML working groups for their advice and input to this document.  ... 
doi:10.1145/1169091.1169098 dblp:conf/middleware/TomaFJ06 fatcat:k3wvkdatnvdxtdsyrxajzqtw7q
« Previous Showing results 1 — 15 out of 514 results