Filters








37,410 Hits in 5.3 sec

Specifying the Semantics of Operation Contracts in Conceptual Modeling [chapter]

Anna Queralt, Ernest Teniente
2006 Lecture Notes in Computer Science  
This paper describes two different ways of understanding operation contracts in conceptual modeling: the strict and the extended interpretations.  ...  Understanding an operation contract under each of these interpretations can result in different semantics for the same specification.  ...  The semantics of operation contracts in conceptual modeling we identify in this paper differ mainly on the way integrity constraints are guaranteed.  ... 
doi:10.1007/11890591_2 fatcat:ybllontnynazze2p6gbop2zhta

Understanding Redundancy in UML Models for Object-Oriented Analysis [chapter]

Dolors Costal, Maria-Ribera Sancho, Ernest Teniente
2002 Lecture Notes in Computer Science  
A correct and deep understanding of this phenomenon is necessary to help the task of the designer. In this paper, we study the problem of redundancy in UML Models for Object-Oriented Analysis.  ...  In this context, we identify different kinds of redundancies that may arise. We evaluate the impact of redundancy in specifications from the point of view of their desirable properties.  ...  This work has been partially supported by the CICYT program project TIC99-1048-C02-01.  ... 
doi:10.1007/3-540-47961-9_45 fatcat:scacyrkdu5f2ribpj7vsffhoqy

Ontology Revision on the Semantic Web: Integration of belief revision theory

Seung Kang, Sim Lau
2007 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07)  
Ontology is used to define terms and relations on the Semantic Web to form well-structured semantics of Web resources.  ...  Ontology revision refers to the process of updating ontology to ensure changes are made in a consistent manner.  ...  In our approach, this revision is achieved using the expansion, revision or contraction operator. Epistemic entrenchment is applied in this phase by ranking the concepts in the conceptual model.  ... 
doi:10.1109/hicss.2007.410 dblp:conf/hicss/KangL07 fatcat:x3hn34fvxzfpvgjk57o25igagy

A conceptual architecture for semantic web services development and deployment

Claus Pahl
2005 International Journal of Web and Grid Services  
Ontology technology -the core of the Semantic Web -can be the central building block of an extension endeavour.  ...  We show how ontologies can integrate models, languages, infrastructure, and activities within this architecture to support reuse and composition of semantic Web services.  ...  Models and Languages The semantic description of a service in a shared knowledge representation format, based on common domain and computation models, is a central element of our conceptual architecture  ... 
doi:10.1504/ijwgs.2005.008391 fatcat:4lhow6n26bdpvp4mk4dsmj4zxq

A Conceptual Framework for Semantic Web Services Development and Deployment [chapter]

Claus Pahl
2004 Lecture Notes in Computer Science  
Ontology technology -the core of the Semantic Web -can be the central building block of this endeavour. We present a conceptual framework for ontology-based Web service development and deployment.  ...  The combination with Semantic Web technologies introduces a notion of semantics, which can enhance scalability through automation of service development and deployment.  ...  Models and Languages The semantic description of a service in a shared knowledge representation format based on common domain and computation models is a central element of a conceptual services framework  ... 
doi:10.1007/978-3-540-30209-4_20 fatcat:wssp2kjnf5expbwh5o5anpjgpy

Providing Conceptual Disambiguation for Terms in Reusable Ontologies: A Case Study from FIBO

Michael G. Bennett
2018 Joint Ontology Workshops  
These are compared to the notion of a conceptual ontology as a computationally independent artefact.  ...  An example is given in the applications of the Interest Rate Swaps (IR Swaps) FIBO ontology, where some ontology elements may be re-used to represent different concepts in different kinds of ontology application  ...  There is considerable scope for further investigation and research in these areas as well as in the potential for providing practical methodological support for ontologies across the engineering development  ... 
dblp:conf/jowo/Bennett18 fatcat:x54p5hw6nbddlgq2s3alikppk4

Knowledge-based document retrieval in office environments: the Kabiria system

Augusto Celentano, Maria Grazia Fugini, Silvano Pozzi
1995 ACM Transactions on Information Systems  
To fulfill the requirements of such a sophisticated retrieval, we propose a document retrieval model and system based on the representation of knowledge describing the semantic contents of documents, the  ...  The effectiveness of the approach is illustrated by describing a system, named Kabiria, built on top of such model.  ...  An example of knowledge-based conceptual modeling in retrieval applica- tions is the identification of the documents that are necessary to complete a procedure, for example, a contract.  ... 
doi:10.1145/203052.203056 fatcat:ouunhksvufeoplpfpmwlbh6huy

Capturing Telic/Atelic Temporal Data Semantics: Generalizing Conventional Conceptual Models

Vijay Khatri, Sudha Ram, Richard T. Snodgrass, Paolo Terenziani
2014 IEEE Transactions on Knowledge and Data Engineering  
To differentiate between telic and atelic data semantics in conceptual database design, we propose an annotation-based temporal conceptual model that generalizes the semantics of a conventional conceptual  ...  We also show how these semantics can be formally defined using constructs of the conventional conceptual model and axioms in first-order logic.  ...  ACKNOWLEDGMENTS This work was supported in part by the National Science Foundation under grants IIS-0803229, IIS-0415101, IIS-0455993, IIS-1016205, and EIA-0080123 and by partial support from a grant from  ... 
doi:10.1109/tkde.2012.74 fatcat:hq766qz3mbh2zly2cyc6nvqmeq

AN ONTOLOGY-BASED DATA WAREHOUSE FOR THE GRAIN TRADE DOMAIN

Mhamed Itmi, Boulares Ouchenne
2018 Figshare  
Actually, the conceptual data-models of data warehouses does not take into account the semantic dimension of information.  ...  The contributions of this paper are an ontology for the field of grain trade and a semantic data warehouse which uses the ontology as a conceptual data-model.  ...  ACKNOWLEDGEMENTS This research is supported by the European Union (EU) with the European Regional Development Fund (ERDF) and Normandy Region.  ... 
doi:10.6084/m9.figshare.6264629.v1 fatcat:ixivu2qbhbb6dnhpsrcol5zzsm

PRAGMATICS DRIVEN LAND COVER SERVICE COMPOSITION UTILIZING BEHAVIOR-INTENTION MODEL

Hao Wu, Jun Chen, Huaqiao Xing, Songnian Li, Juju Hu
2016 The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences  
their succession relations, discusses the conceptual model of pragmatic web service, and proposes the idea of pragmatics-oriented adaptive composition method based on the analysis of some examples.  ...  on behavior-intention model, and effectively settles the issue of coordination and interaction of composite service invocation.  ...  the conceptual model of pragmatic web, as shown in Figure 2 .  ... 
doi:10.5194/isprsarchives-xli-b8-1319-2016 fatcat:ibxvsibjjvc65dvcmgjhfvqwt4

PRAGMATICS DRIVEN LAND COVER SERVICE COMPOSITION UTILIZING BEHAVIOR-INTENTION MODEL

Hao Wu, Jun Chen, Huaqiao Xing, Songnian Li, Juju Hu
2016 The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences  
their succession relations, discusses the conceptual model of pragmatic web service, and proposes the idea of pragmatics-oriented adaptive composition method based on the analysis of some examples.  ...  on behavior-intention model, and effectively settles the issue of coordination and interaction of composite service invocation.  ...  the conceptual model of pragmatic web, as shown in Figure 2 .  ... 
doi:10.5194/isprs-archives-xli-b8-1319-2016 fatcat:g5ln5rkhp5ez3e5bsi23ibd2su

Integration for Heterogeneous Manufacturing Information Systems Based on Semantic Entity

Song Yu-chuan, Xiong Jun, LI Xian-wang, Chen Xue-hai
2016 International Journal of Smart Home  
To support semantic integration for heterogeneous information systems in manufacturing enterprises, based on semantic gateway, the concept of semantic entity is defined, and the semantic entity-based integration  ...  Based on instantiation, semantic service can obtain parameters data from business object instant, and satisfies the interface contract.  ...  conceptual data instance interface contract services based on semantic gateway exposed.  ... 
doi:10.14257/ijsh.2016.10.9.04 fatcat:fzcwuwxm4nhrzaomtph6jplxi4

Semantic units and connectors: towards domain knowledge reuse [chapter]

Corine Cauvet, Farida Semmak
1996 IFIP Advances in Information and Communication Technology  
This paper presents a reuse-based approach in the context of conceptual modelling.  ...  The domain modelling approach we propose in this paper is based upon two knowledge basic building blocks : semantic units and semantic connectors.  ...  The notion of context can be compared to the one of role used by the ORM model (Pernici, 1990) or contract used in (Wirfs-brocks, 1989 ).  ... 
doi:10.1007/978-0-387-35059-2_18 fatcat:uhypzknqyvhxfjne5wyh5fzkdi

Semantic Web support for the business-to-business e-commerce pre-contractual lifecycle

David Trastour, Claudio Bartolini, Chris Preist
2003 Computer Networks  
We also identify which operations must be carried out on this description language if the B2B lifecycle is to be fully supported.  ...  In this paper, we present a lifecycle of a business-to-business (B2B) e-commerce interaction, and show how the Semantic Web can support a service description language that can be used throughout this lifecycle  ...  In Section 3 we explore the phases of matchmaking and negotiation in detail, with particular attention to the operations that are carried out on the messages that participants exchange.  ... 
doi:10.1016/s1389-1286(03)00229-9 fatcat:gjpjkr5icbetpl2gdd4dp6wp2a

DDL as an "Internalization" of Dynamic Belief Revision [chapter]

Alexandru Baltag, Virginie Fiutek, Sonja Smets
2013 Outstanding Contributions to Logic  
We construct AGM-friendly versions of full DDL, corresponding to various revising/contracting operations considered in the Belief Revision literature.  ...  We show that DDL can internalize inside one model the "external" doxastic dynamics of DEL, as well as the evidential dynamics investigated by van Benthem and Pacuit.  ...  AGM-type Expansion Operations on Standard Onion Models In fact, any of the known semantic proposals for expansion (as an operation on Grove sphere models) considered in the Belief Revision literature can  ... 
doi:10.1007/978-94-007-7046-1_12 fatcat:bfxmj53q7zh4vhvfqtpvskqfoa
« Previous Showing results 1 — 15 out of 37,410 results