11,784 Hits in 4.7 sec

Profiling Transformations in Heterogeneous and Large Scale Metadata Harvesting Processes

João Sequeira, João Edmundo, Hugo Manguinhas, Gilberto Pedrosa, José Luis Borbinha
2011 International Conference on Dublin Core and Metadata Applications  
The definition of these mappings can also be called schema matching. Matching can be performed through two distinct methods, manually by humans or automatically by algorithms.  ...  REPOX (Freire, 2006 ) is a framework for data harvesting and providing, with support for data transformation processes based on schema and data set profiling and matching.  ... 
dblp:conf/dc/SequeiraEMPB11 fatcat:aqq3jteu4rdonfkc3a2kje5wze

?Reasonable? support to knowledge sharing through schema analysis and articulation

Ernesto Compatangelo, Helmut Meisel
2003 Neural computing & applications (Print)  
We propose a disciplined approach to domain schema sharing which enhances the role and the extent of semantic reasoning in the semi-automated support to knowledge sharing.  ...  This approach combines logic deductions with heuristic and linguistic inferences to propose a semantic articulation of overlapping components in conceptual schemas.  ...  Schema analysis in a "reasonable" framework Our approach provides verification and validation services for EER conceptual schemas; these services comply with the key requirements for an IKME [4] . • Verification  ... 
doi:10.1007/s00521-003-0386-8 fatcat:7pmcxn7rurdarohfyo66p7dlaa

Towards Understanding the Needs of Cognitive Support for Ontology Mapping

Sean M. Falconer, Natalya Fridman Noy, Margaret-Anne D. Storey
2006 International Semantic Web Conference  
We also discuss specific cognitive aids for ontology mapping that we have developed and that are available as part of this framework.  ...  In this paper, we analyze requirements for cognitive support for the ontology-mapping task.  ...  Acknowledgements This work was supported in part by the National Center for Biomedical Ontology, under roadmap-initiative grant U54 HG004028 from the National Institutes of Health.  ... 
dblp:conf/semweb/FalconerNS06 fatcat:iidju2cs4zgq3hrknvlm7fmfjy

JSON Schemas with Semantic Annotations Supporting Data Translation

Gonçalo Amaro, Filipe Moutinho, Rogério Campos-Rebelo, Julius Köpke, Pedro Maló
2021 Applied Sciences  
These algorithms were implemented in an existing prototype tool, which now supports these systems' interoperability through semantic compatibility verification and the automatic generation of translators  ...  A set of algorithms supporting the translation from JSON Schema to XML Schema, JSON to XML, and XML to JSON is also proposed.  ...  Primarily, a root element start tag is written without any verification of the document and a builder function for the XML is called with the translated XML mapping as a parameter (lines 2 to 4).  ... 
doi:10.3390/app112411978 fatcat:2dwltnqujja4rnoic7ibmch454

The SafeCap Platform for Modelling Railway Safety and Capacity [chapter]

Alexei Iliasov, Ilya Lopatkin, Alexander Romanovsky
2013 Lecture Notes in Computer Science  
This paper describes a tooling platform that supports reasoning about railway capacity while ensuring system safety.  ...  This paper describes a tooling platform that supports reasoning about railway capacity while ensuring system safety.  ...  We are grateful to Simon Chadwick and Dominic Taylor for their comments on the earlier drafts of the paper.  ... 
doi:10.1007/978-3-642-40793-2_12 fatcat:gaybifnlcrgdplogcpicg5fbia

Formal Verification of Signalling Programs with SafeCap [chapter]

Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander Romanovsky
2018 Lecture Notes in Computer Science  
SafeCap is a modern toolkit for modelling, simulation and formal verification of railway networks.  ...  This paper discusses the use of SafeCap for formal analysis and fully-automated scalable safety verification of solid state interlocking (SSI) programs -a technology at the heart of many railway signalling  ...  The current work extends the SafeCap framework with advanced capabilities for reasoning about dynamic (i.e, transition-based) systems.  ... 
doi:10.1007/978-3-319-99130-6_7 fatcat:osutfqwnzjgdpee5wpkghcmkwu

Semantic Enrichment of GSM-Based Artifact-Centric Models

Riccardo De Masellis, Domenico Lembo, Marco Montali, Dmitry Solomakhin
2014 Journal on Data Semantics  
The distinguishing aspect of our framework is that it allows for expressing both the data and the lifecycle schema of GSM artifacts in terms of an ontology, i.e., a shared and formalized conceptualization  ...  To fully achieve such an interoperation, we enrich our framework by enabling the linkage of the ontology to autonomous database systems through the use of mappings.  ...  In accordance with the framework described in Section 6, the linkage of the ontology towards the underlying data schema was realized through GAV mapping assertions.  ... 
doi:10.1007/s13740-014-0036-6 fatcat:b4vxac2gdjdxlh6swfjud5y6yu

Translating XML Models into OWL Ontologies for Interoperability of Simulation Systems

He Tan, Georges Barakat, Vladimir Tarasov
2015 Business Information Systems  
In this paper, we present a framework for automatic translation of XML simulation models which follow the High Level Architecture (HLA) object model template specification, into OWL ontologies.  ...  It provides the basis for interoperability and information exchange between simulation systems on semantic level.  ...  Acknowledgment We thank Kurt Sandkuhl for comments on the project. We also acknowledge the technical support of Saab Training Systems AB.  ... 
dblp:conf/bis/TanBT15 fatcat:mvt44eqnzbhx5k5rgnrbpipi5u

Automatic Support for Traceability in a Generic Model Management Framework [chapter]

Artur Boronat, José Á. Carsí, Isidro Ramos
2005 Lecture Notes in Computer Science  
In this context, traceability constitutes the mechanism to follow the transformations carried out over a model through several refinement steps.  ...  We are working on a model management framework, called MOMENT (MOdel manageMENT), where model operators are defined independently of any metamodel in order to increase their reusability.  ...  Therefore, our framework provides automatic support for this step although the user has to reason about the extracted knowledge.  ... 
doi:10.1007/11581741_23 fatcat:mwhvmjopqndknn3gaq3uz5brim

Semantic annotation for knowledge explicitation in a product lifecycle management context: A survey

Yongxin Liao, Mario Lezoche, Hervé Panetto, Nacer Boudjlida, Eduardo Rocha Loures
2015 Computers in industry (Print)  
We collect a number of literature that applied semantic annotations on different objects, and classify them according to the subject being described in an enterprise architecture framework.  ...  Nowadays, the need for systems interoperability in or across enterprises has become more and more ubiquitous.  ...  data in an XML Schema maps to a semantic data in a semantic model.  ... 
doi:10.1016/j.compind.2015.03.005 fatcat:yvzfy24cy5ai3fcbhzmbt57hky

Towards a CMMI-Compliant Goal-Oriented Software Process through Model-Driven Development [chapter]

Alexandre Marcos Lins de Vasconcelos, Giovanni Giachetti, Beatriz Marín, Oscar Pastor
2011 Lecture Notes in Business Information Processing  
The i* framework is a Goal-Oriented Requirement Engineering (GORE) approach that is widely applied at academic level. However, its application to industrial scenarios is limited.  ...  In particular, we have considered an approach that integrates the i* framework into an industrially-applied MDD solution to obtain a development process (that goes from requirements to the final software  ...  Thus, the application code is automatically generated for an input conceptual schema.  ... 
doi:10.1007/978-3-642-24849-8_19 fatcat:5oa6gzyqwzbudd6svpwjdbkfaq

A Framework for Semi-Automated Implementation of Multidimensional Data Models

Ilona Mariana NAGY
2012 Database Systems Journal  
Thus, we present a framework for semi-automated implementation of multidimensional data models and introduce an automation prototype intended to reduce the time of data structures generation in the warehousing  ...  Costs derive mostly from the amount of time invested in the design and physical implementation of these large projects, time that we consider, may be decreased through the automation of several processes  ...  Besides defining the means for automatically generating storage structures (i.e. the data warehouse and data marts schema), the framework also provides the definition metadata mapping between its components  ... 
doaj:f9637b058a08414d864bd540a79bff1e fatcat:kufj46vpbnfv3oqj3hxrcxqxgq

Cost-Aware Automatic Program Repair [chapter]

Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson
2014 Lecture Notes in Computer Science  
We present a formal framework for repairing infinite-state, imperative, sequential programs, with (possibly recursive) procedures and multiple assertions; the framework can generate repaired programs by  ...  As part of our predicate abstractionbased solution framework, we present a sound and complete algorithm for repair of Boolean programs.  ...  The authors would like to thank Gérard Basler, Daniel Kröning and Georg Weissenbacher for their help with SATABS.  ... 
doi:10.1007/978-3-319-10936-7_17 fatcat:ueyileksijh33hcppchfmqkysi

Constructing Clinical Decision Support Systems for Adverse Drug Event Prevention: A Knowledge-based Approach

Vassilis Koutkias, Vassilis Kilintzis, George Stalidis, Katerina Lazou, Chrysa Collyda, Emmanuel Chazard, Peter McNair, Regis Beuscart, Nicos Maglaveras
2010 AMIA Annual Symposium Proceedings  
A knowledge-based approach is proposed that is employed for the construction of a framework suitable for the management and effective use of knowledge on Adverse Drug Event (ADE) prevention.  ...  results on the KBS verification in decision support operation.  ...  Acknowledgement The research leading to these results has received funding from the European Community's Seventh Framework Program (FP7/2007-2013) under Grant Agreement n° 216130 -the PSIP project.  ... 
pmid:21347009 pmcid:PMC3041377 fatcat:76ztrn7crvfy3dwzal5jckb7gi

Reverse Engineering of Data Services

Gianluca Cima, Maurizio Lenzerini, Antonella Poggi
2019 Sistemi Evoluti per Basi di Dati  
We illustrate a formal framework for this problem, based on the notion of source-toontology rewriting, which comes in three variants, called sound, complete and perfect, respectively.  ...  We base our proposal on the Ontology-Based Data Access paradigm, where a domain ontology is used to provide a semantic layer mapped to the data sources of an organization.  ...  We propose a formal framework for the problem of semantically characterizing a data service through an ontology (Section 3).  ... 
dblp:conf/sebd/CimaLP19 fatcat:aptsw7kvsnculezktejghd4hzm
« Previous Showing results 1 — 15 out of 11,784 results