609,061 Hits in 5.4 sec

Model-Based Formal Reasoning about Data-Management Applications [chapter]

Carolina Dania, Manuel Clavel
2015 Lecture Notes in Computer Science  
In this paper, we introduce a tool-supported, model-based methodology for proving that all the actions possibly triggered by a data-management application will indeed preserve the application's data invariants  ...  Data-management applications are focused around so-called CRUD actions that create, read, update, and delete data from persistent storage.  ...  On the other hand, for the case of model-based reasoning about a system's dynamic aspects, which is our concern here, the main challenge lies in finding a suitable formalism in which to map the models  ... 
doi:10.1007/978-3-662-46675-9_15 fatcat:3malcsmyhja2nkhmvgh4ll7yze

A data-oriented survey of context models

Cristiana Bolchini, Carlo A. Curino, Elisa Quintarelli, Fabio A. Schreiber, Letizia Tanca
2007 SIGMOD record  
This survey has the goal to provide a comprehensive evaluation framework, allowing application designers to compare context models with respect to a given target application; in particular we stress the  ...  The contribution of this paper is twofold: a general analysis framework for context models and an upto-date comparison of the most interesting, data-oriented approaches available in the literature.  ...  APPLICATION AMBIENT USER VIEW POSSIBLE CONTEXTS CONTEXT MODELING AMBIENT VARIABLES CONTEXT-BASED DATA TAILORING CONTEXT-BASED APPLICATION ADAPTATION C U R R E N T C O N T E X T In Information Management  ... 
doi:10.1145/1361348.1361353 fatcat:kjdnjq56urarhd24bxnqx7ubpe

Knowledge Representation and Reasoning: What's Hot

Chitta Baral, Giuseppe De Giacomo
This is an extended abstract about what is hot in the field of Knowledge Representation and Reasoning.  ...  the strengths of these individual formalisms so that one can use a single formalism to reason about ontologies, about uncertainty, about quantitative parameters, about defaults and about priorities.  ...  In particular the notion of ontology-based data management has emerged, with the idea of superimposing an ontology as a shared conceptual layer (expressed in suitable description logics) over a set of  ... 
doi:10.1609/aaai.v29i1.9344 fatcat:5rjtbt5eqbbqljhxm32dd7oaqi

Semantic Enterprise Architecture Management

Willy Chen, Claudia Hess, Melanie Langermeier, Janno von Stülpnagel, Philipp Diefenthaler
2013 Proceedings of the 15th International Conference on Enterprise Information Systems  
Semantic technologies allow for integrating data sets from various relevant information sources within enterprises in a so-called EA repository, which serves as a comprehensive formal information base  ...  Enterprise architecture management (EAM) provides information about an enterprise and its information systems landscape for thorough analysis.  ...  Therefore, an EA aggregates information about business, especially about the business strategy and business processes, about the application landscape, i.e. the information systems used and planned with  ... 
doi:10.5220/0004445003180325 dblp:conf/iceis/ChenHLSD13 fatcat:6qjhknoc5naothaeh7mlg7ttga

Ontological Formalization for Workflow-based Computational Experiments

Pavel A. Smirnov
2015 Procedia Computer Science  
By this paper we describe the reasoning capabilities, which are obtained from the proposed hierarchical structure for expert's knowledge formalization.  ...  Workflow-based computational experiment is a widespread way to organize distributed simulations. But the lack of IT experience and skills is the critical issue which scientists usually face with.  ...  Acknowledgement: This work is financially supported by the grant MK-6547.2014.5 "Early warning system for Baltic Sea based on competing models and measurements".  ... 
doi:10.1016/j.procs.2015.11.055 fatcat:sj754bhyxbgbtk3vjn5iofjsba

Semantic-Based Reasoning for Vegetable Supply Chain Knowledge Retrieval [chapter]

Xinyu Liu, Lifen Hou, Yonghao Wang
2014 IFIP Advances in Information and Communication Technology  
Ontology model of vegetable supply chain knowledge retrieval is constructed firstly, and then the ontology model is formalized by RDF(S) in order to make it can be identified by computer.  ...  Aiming at problems such as backward management, low informationization level etc. in China vegetable supply chain management, ontology theory is introduced.  ...  This paper focuses on ontology based data model and semantic reasoning, RDF(S) is selected as formalization tool.  ... 
doi:10.1007/978-3-642-54341-8_24 fatcat:nucjngc6kbeknohnbygcf7sn6u


Stefania Gnesi, Ana Cavalcanti, John Fitzgerald, Constance Heitmeyer
2019 Formal Aspects of Computing  
They cover a wide range of topics of interest to the formal methods community-a synchronous program algebra for reasoning about concurrency, a hybrid statistical approach for reasoning about information  ...  The benefits of foundational work are illustrated in the paper, "A Synchronous Program Algebra: A Basis for Reasoning about Shared-Memory and Event-Based Concurrency" by Ian J. Hayes, Larissa A.  ...  For a growing number of applications, techniques to improve resource management require a range of complementary formal techniques.  ... 
doi:10.1007/s00165-019-00481-4 fatcat:6mefal5ndfe4vbaqmxovkdij2i


2009 Issues in Information Systems  
This paper describes a group of freely available technologies and tools that the authors have used to develop and field knowledge-based applications.  ...  Effective management of knowledge requires the seamless creation and exchange of information.  ...  Metadata is data about data, including but not limited to, the time and data the data were collected, the location from which they were obtained, and a description of the data.  ... 
doi:10.48009/2_iis_2009_231-236 fatcat:jssmnqgwzfdgfgme55thbgzrve

Data-Centricity and Services Interoperation [chapter]

Richard Hull
2013 Lecture Notes in Computer Science  
Incorporating the data-centric perspective holds the promise of providing formal foundations for service interoperation that address issues such as providing a syntax-independent meta-model and semantics  ...  This position paper highlights three core areas in which persistent data will be crucial to the management of interoperating services, and highlights selected research and challenges in the area.  ...  to support intuitive and formal reasoning about them.  ... 
doi:10.1007/978-3-642-45005-1_1 fatcat:aiopnemagrbsra3gpf4pcmpl24

Model-based Knowledge Extraction for Automated Monitoring and Control

Christoph Legat, Jörg Neidig, Mikhail Roshchin
2011 IFAC Proceedings Volumes  
Our approach presented here aims in finding an effective solution for this issue comprising the following: (1) a formal logic-based model for flexible information acquisition from a PLMS, and (2) an automated  ...  reasoning mechanism, which can be flexibly adopted for an implementation of various applications of the operational mode (e.g. diagnostic functionality).  ...  The reason to chose a logic-based approach is that most necessary functionalities of monitoring and control applications can be formally defined as logic-based reasoning tasks, and are therefore solved  ... 
doi:10.3182/20110828-6-it-1002.03700 fatcat:5eui2mgl25dg3o5lmbahvahzje

The ERC webdam on foundations of web data management

Serge Abiteboul, Pierre Senellart, Victor Vianu
2012 Proceedings of the 21st international conference companion on World Wide Web - WWW '12 Companion  
We also propose to develop formal foundations that will enable peers to concurrently reason about global data management activities, cooperate in solving specific tasks, and support services with desired  ...  The goal is to develop a formal model for Web data management that would open new horizons for the development of the Web in a well-principled way, enhancing its functionality, performance, and reliability  ...  This unified basis allows applications to reason about which data is accessible, where it resides, and how to retrieve it securely.  ... 
doi:10.1145/2187980.2188011 dblp:conf/www/AbiteboulSV12 fatcat:hfjnacjft5e2jiyjfb5gyviimy

A survey of context modelling and reasoning techniques

Claudio Bettini, Oliver Brdiczka, Karen Henricksen, Jadwiga Indulska, Daniela Nicklas, Anand Ranganathan, Daniele Riboni
2010 Pervasive and Mobile Computing  
The pervasive computing community increasingly understands that developing context-aware applications should be supported by adequate context information modelling and reasoning techniques.  ...  This discussion is followed by a description and comparison of current context modelling and reasoning techniques.  ...  In particular, it includes the following modules: · module for efficient markup-based, RDF-based, or DB-based representation and management of context data.  ... 
doi:10.1016/j.pmcj.2009.06.002 fatcat:u6an6bke4raipfdh6xtln4deze

Context-based techniques for improving database management

Hassane TAHIR
2018 Zenodo  
This paper presents techniques for contextualizing database management with a focus on "Contextual Graphs" formalism.  ...  These procedures are based on practices, but eliminate most of contextual information and specific features of each incident.  ...  Object-role based models of context information Object-role based models of context information aims to create formal models of context to support query processing and reasoning, as well as to provide  ... 
doi:10.5281/zenodo.2544622 fatcat:xbi7udps4bdjhb666gadh7y6oa

Engineering of Logics for the Content-Based Representation of Information [chapter]

Franz Baader
2004 Lecture Notes in Computer Science  
r Content-based representation of information r The role of logics and why they must be engineered r Description Logics as a successful instance of this approach r Two applications of DL: Semantic Web  ...  that fence subsumes both r use of an ontology: ½ defines the important notions (classes, relations, objects) of the domain ½ states constraints on the way these notions can be interpreted ½ information about  ...  yields formal semantics ½ reasoning about the information as logical inference problem ½ standard approaches for logical reasoning can be used © F.  ... 
doi:10.1007/978-3-540-30227-8_2 fatcat:kuqsfxcsnnbsvcay7ln3uwrs6a

An intelligent and integrated platform for supporting the management of chronic heart failure patients

S. Colantonio, D. Conforti, M. Martinelli, D. Moroni, F. Perticone, O. Salvetti, A. Sciacqua
2008 2008 Computers in Cardiology  
formalized.  ...  failure patients' management.  ...  When a request is committed to the CDSS, the Strategy Controller, according to what stated in the Meta Knowledge Base, requires the application of the Inference Engine or of the Model Manager.  ... 
doi:10.1109/cic.2008.4749187 fatcat:qofvtqg5xrgtbeiyopajwv3u5i
« Previous Showing results 1 — 15 out of 609,061 results