507 Hits in 3.3 sec

Provability-Based Semantic Interoperability Via Translation Graphs [chapter]

Joshua Taylor, Andrew Shilliday, Selmer Bringsjord
Advances in Conceptual Modeling – Foundations and Applications  
Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange across systems employing  ...  We demonstrate the use of translation graphs on a small number of simple systems to achieve interoperability.  ...  Semantic interoperability is still attainable, however, by relating the ontologies logically, and evaluating queries with respect to provability.  ... 
doi:10.1007/978-3-540-76292-8_21 dblp:conf/er/TaylorSB07 fatcat:dijjovapwbajnjzo7ued5hak3y

Semantic processing of EHR data for clinical research

Hong Sun, Kristof Depraetere, Jos De Roo, Giovanni Mels, Boris De Vloed, Marc Twagirumukiza, Dirk Colaert
2015 Journal of Biomedical Informatics  
The proposed approach builds semantic data virtualization layers on top of data sources, which generate data in the requested semantics or formats on demand.  ...  Data from different EHR systems are first mapped to RDF data with source semantics, and then converted to representations with harmonized domain semantics where domain ontologies and terminologies are  ...  Explicitness and provability.  ... 
doi:10.1016/j.jbi.2015.10.009 pmid:26515501 fatcat:aev3tyir4vdkdedloqndclkjm4

A Semantic Transformation Methodology for the Secondary Use of Observational Healthcare Data in Postmarketing Safety Studies

Anil Pacaci, Suat Gonul, A. Anil Sinaci, Mustafa Yuksel, Gokce B. Laleci Erturkmen
2018 Frontiers in Pharmacology  
Rigorous because the mappings would be based on computer readable semantics which are amenable to validation through logic-based inference methods.  ...  Declarative because the use of RDF based mapping rules makes each mapping more transparent and understandable to humans while retaining logic-based computability.  ...  Interoperability Framework for Sustainable Proactive Post Market Safety Studies).  ... 
doi:10.3389/fphar.2018.00435 pmid:29760661 pmcid:PMC5937227 fatcat:4rlk2rjckfchbjc64uz7fgxk7u

Combining Declarative and Procedural Knowledge to Automate and Represent Ontology Mapping [chapter]

Li Xu, David W. Embley, Yihong Ding
2006 Lecture Notes in Computer Science  
Moreover, to approach semantic interoperability, there is a need to represent mappings between ontologies with well-defined semantics that guarantee accurate exchange of information.  ...  Semantic Interoperability is a set of n source ontologies, and {M S i T } is a set of n source-to-target mappings, such that for each source ontology O Si there is a mapping M SiT from O Si to O T , 1  ...  for ontology mapping and promises accurate and efficient semantic interoperability.  ... 
doi:10.1007/11908883_47 fatcat:ohlpgw7yrzdapj72hec2zvmnaa

Using Structural Analysis to Mediate XML Semantic Interoperability

Ashish Mishra, Michael Ripley, Amar Gupta
2002 Social Science Research Network  
The prototype X-Map was developed to investigate what is required to mediate semantic interoperability between heterogeneous domains.  ...  At the forefront of interoperability using XML in an Internet environment is the issue of semantic trans- lation; that is, the ability to properly interpret the elements, attributes, and values contained  ...  For certain classes of graphs, solving graph isomorphism is provably NP-complete [13, 9] .  ... 
doi:10.2139/ssrn.306845 fatcat:mluoju5i2jc65l5eohzxfua6c4

Open vs Closed world, Rules vs Queries: Use Cases from Industry

Gary Ng
2005 W3C Web Ontology Language (OWL) Experiences and Directions Workshop (OWLED)  
These use cases support the integration of OWL with rule-like extensions, taking advantage of open-world semantics, but with defaults and negation as failure.  ...  This paper reports on our analysis of these use cases, current solutions using queries, and outlines the role OWL plays in a semantically driven enterprise architecture.  ...  Its translation into OWL features axioms specifying class memberships of individuals, base on the properties of the individuals.  ... 
dblp:conf/owled/Ng05 fatcat:nkk6pc2wm5bwdflnj3yyhm7dim

An algebra for semantic interoperability of information sources

P. Mitra, G. Wiederhold
2001 Proceedings 2nd Annual IEEE International Symposium on Bioinformatics and Bioengineering (BIBE 2001)  
This paper highlights the ONION (ONtology compo-sitION) system that enables semantic interoperation among various information sources by articulating the ontologies associated with them.  ...  Query optimization is enabled based on the properties of the algebraic operators.  ...  So if a feature cannot be translated into our common conceptual model, it will not be matched with similar features carrying similar semantic messages in other ontologies.  ... 
doi:10.1109/bibe.2001.974427 dblp:conf/bibe/MitraW01 fatcat:xu7yd4swkjbjjcaexooggvacbe

VeriFly: On-the-fly Assertion Checking via Incrementality [article]

Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, Jose F. Morales, Pedro lopez-Garcia, Manuel V. Hermenegildo
2021 arXiv   pre-print
The concrete implementation that we describe is Emacs-based and reuses in part off-the-shelf "on-the-fly" syntax checking facilities (flycheck).  ...  Triggering a full and precise semantic analysis of a software project every time a change is made can be prohibitively expensive.  ...  translation into intermediate Horn clause-based representation.  ... 
arXiv:2106.07045v2 fatcat:4mq6co3ds5egnpjovrd6v6h2mq

E-Science: the grid and the Semantic Web

D. De Roure, J.A. Hendler
2004 IEEE Intelligent Systems  
Neither OWL-S nor OGSA alone contains all the features necessary to have semantics powerful enough for composing provably correct workflows and analyzing their resource requirements.  ...  The knowledge can be collected from distributed stores via an RDF bus, perhaps on a publish-andsubscribe basis.  ... 
doi:10.1109/mis.2004.1265888 fatcat:7ls7mzwzdfg3neywxslgyfm4ga

Semantic Integration through Invariants

Michael Grüninger, Joseph Kopena
2005 The AI Magazine  
The challenge of semantic integration is therefore equivalent to the problem of generating such mappings, determining that they are correct, and providing a vehicle for executing the mappings, thus translating  ...  With these as inputs, semiautomated and automated components may be used to create mappings between ontologies and perform translations. Articles  ...  Semantic Mapping Via Translation Definitions As noted previously, the generation of semantic mappings between two ontologies T 1 and T 2 is equivalent to the formal problem of determining whether T 1 is  ... 
doi:10.1609/aimag.v26i1.1795 dblp:journals/aim/GruningerK05 fatcat:vn334irgzrht5fcnjvg63zbp6y

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider

Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cedric Fournet, Natalia Kulatova, Tahina Ramananandro (+4 others)
2020 2020 IEEE Symposium on Security and Privacy (SP)  
We present EverCrypt: a comprehensive collection of verified, high-performance cryptographic functionalities available via a carefully designed API.  ...  The API provably supports agility (choosing between multiple algorithms for the same functionality) and multiplexing (choosing between multiple implementations of the same algorithm).  ...  Unless specified otherwise, for all performance graphs, lower is better. A.  ... 
doi:10.1109/sp40000.2020.00114 dblp:conf/sp/ProtzenkoPFHPBB20 fatcat:zbxp4jsbrrdfldn3kiqpceimhu

Cloud-Centric Assured Information Sharing [chapter]

Bhavani Thuraisingham, Vaibhav Khadilkar, Jyothsna Rachapalli, Tyrone Cadenhead, Murat Kantarcioglu, Kevin Hamlen, Latifur Khan, Farhan Husain
2012 Lecture Notes in Computer Science  
In particular, we will describe our current implementation of a centralized cloud-based assured information sharing system and the design of a decentralized hybrid cloud-based assured information sharing  ...  Based on the lessons learned from the implementation of CAISS we will then carry out a detailed design of CAISS++ and subsequently implement the system that will be the first of its kind for cloud-based  ...  We also described the design of an ideal cloud-based assured information sharing system called CAISS++.  ... 
doi:10.1007/978-3-642-30428-6_1 fatcat:isjiaenyljdv3fqdenntqpfpzu

Cloud-Centric Assured Information Sharing [chapter]

2013 Developing and Securing the Cloud  
In particular, we will describe our current implementation of a centralized cloud-based assured information sharing system and the design of a decentralized hybrid cloud-based assured information sharing  ...  Based on the lessons learned from the implementation of CAISS we will then carry out a detailed design of CAISS++ and subsequently implement the system that will be the first of its kind for cloud-based  ...  We also described the design of an ideal cloud-based assured information sharing system called CAISS++.  ... 
doi:10.1201/b15433-41 fatcat:m27n53wcb5es5iszmsz2ysnvky

Producing Linked Data for Smart Cities: The Case of Catania

Sergio Consoli, Valentina Presutti, Diego Reforgiato Recupero, Andrea G. Nuzzolese, Silvio Peroni, Misael Mongiovi', Aldo Gangemi
2017 Big Data Research  
interoperability during the transformation process; (iv) the design of two smart city applications based on Linked Data.  ...  The importance of achieving syntactic as well as semantic interoperability -as a result of transforming heterogeneous sources into Linked Data -is discussed: semantic interoperability must be solved at  ...  The widely adopted RDF, OWL and LOD allow us to achieve such a syntactic interoperability. On the other hand, semantic interoperability is also needed.  ... 
doi:10.1016/j.bdr.2016.10.001 fatcat:dmbv3gtsjzdxtpqdo4bwqypgsm

Collaborative Scientific Workflows

Shiyong Lu, Jia Zhang
2009 2009 IEEE International Conference on Web Services  
and provides the first provably semantics-preserving SPARQL-to-SQL query mapping algorithms.  ...  Our approach integrates the interoperability, extensibility, and reasoning advantages of Semantic Web technologies with the storage and querying power of a relational database management system.  ... 
doi:10.1109/icws.2009.150 dblp:conf/icws/LuZ09 fatcat:uixs7xfwond7ncnairul5yheje
« Previous Showing results 1 — 15 out of 507 results