Matches in ScholarlyData for { ?s ?p ?o. }
- 122 creator tomas-vitvar.
- 122 type InProceedings.
- 122 label "Formal Model for Semantic-driven Service Execution".
- 122 sameAs 122.
- 122 abstract "Integration of heterogeneous services is often hard-wired in service or workflow implementations. In this paper we define an execution model operating on semantic descriptions of services allowing flexible integration of services with solving data and process conflicts where necessary. We implement the model using our WSMO technology and a case scenario from the B2B domain and evaluate the model according to the SWS Challenge criteria.".
- 122 hasAuthorList authorList.
- 122 hasTopic Semantic_Web.
- 122 isPartOf proceedings.
- 122 keyword "Semantic Web Services".
- 122 keyword "Service Execution".
- 122 keyword "WSMO".
- 122 title "Formal Model for Semantic-driven Service Execution".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasLastItem item-3.
- item-1 type ListItem.
- item-1 hasContent tomas-vitvar.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent maciej-zaremba.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent adrian-mocan.
- item-3 previous item-2.
- 124 creator boris-motik.
- 124 creator ian-horrocks.
- 124 type InProceedings.
- 124 label "OWL Datatypes: Design and Implementation".
- 124 sameAs 124.
- 124 abstract "We analyze the datatype system of OWL and OWL 2, and discuss certain nontrivial consequences of its definition, such as the extensibility of the set of supported datatypes and complexity of reasoning. We also argue that certain datatypes from the list of normative datatypes in the current OWL 2 Working Draft are inappropriate and should be replaced with different ones. Finally, we present an algorithm for datatype reasoning. Our algorithm is modular in the sense that it can handle any datatype that supports certain basic operations. We show how to implement these operations for number and string datatypes.".
- 124 hasAuthorList authorList.
- 124 hasTopic Semantic_Web.
- 124 isPartOf proceedings.
- 124 keyword "OWL".
- 124 keyword "datatypes".
- 124 keyword "reasoning".
- 124 title "OWL Datatypes: Design and Implementation".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasLastItem item-2.
- item-1 type ListItem.
- item-1 hasContent boris-motik.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent ian-horrocks.
- item-2 previous item-1.
- 13 creator faezeh-ensan.
- 13 creator weichang-du.
- 13 type InProceedings.
- 13 label "An Interface-based Ontology Modularization Framework for Knowledge Encapsulation".
- 13 sameAs 13.
- 13 abstract "In this paper, we present a framework for developing ontologies in a modular manner, which is based on the notions of interfaces and knowledge encapsulation. Within the context of this framework, an ontology can be defined and developed as a set of ontology modules that can access the knowledge bases of the others through their well-defined interfaces. An important implication of the proposed framework is that ontology modules can be developed completely independent of each others’ signature and language. Such modules are free to only utilize the required knowledge segments of the others. We describe the interface-based modular ontology formalism, which theoretically supports this framework and present its valuable features compared to the exiting modular ontology formalisms. We also describe the real-world design and implementation of the framework for creating modular ontologies by extending OWL-DL, Swoop interfaces and reasoner.".
- 13 hasAuthorList authorList.
- 13 hasTopic Semantic_Web.
- 13 isPartOf proceedings.
- 13 keyword "Closed-world reasoning".
- 13 keyword "Interfaces".
- 13 keyword "Knowledge Encapsulation".
- 13 keyword "Modular Ontologies".
- 13 title "An Interface-based Ontology Modularization Framework for Knowledge Encapsulation".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasLastItem item-2.
- item-1 type ListItem.
- item-1 hasContent faezeh-ensan.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent weichang-du.
- item-2 previous item-1.
- 138 creator dumitru-roman.
- 138 creator michael-kifer.
- 138 type InProceedings.
- 138 label "Semantic Web Service Choreography: Contracting and Enactment".
- 138 sameAs 138.
- 138 abstract "The emerging paradigm of service-oriented computing requires novel techniques for various service-related tasks. Along with automated support for service discovery, selection, negotiation, and composition, support for automated service contracting and enactment is crucial for any large scale service environment, where large numbers of clients and service providers interact. Many problems in this area involve reasoning, and a number of logic-based methods to handle these problems have emerged in the field of Semantic Web Services. In this paper, we build upon our previous work where we used Concurrent Transaction Logic (CTR) to model and reason about service contracts. We significantly extend the modeling power of the previous work by allowing iterative processes in the specification of service contracts, and we extend the proof theory of CTR to enable reasoning about such contracts. With this extension, our logic-based approach is capable of modeling general services represented using languages such as WS-BPEL.".
- 138 hasAuthorList authorList.
- 138 hasTopic Semantic_Web.
- 138 isPartOf proceedings.
- 138 keyword "semantic web services".
- 138 keyword "service choreography".
- 138 keyword "service contracting".
- 138 keyword "service policies".
- 138 title "Semantic Web Service Choreography: Contracting and Enactment".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasLastItem item-2.
- item-1 type ListItem.
- item-1 hasContent dumitru-roman.
- item-1 next item-2.
- item-2 type ListItem.