A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Model-Based Formal Reasoning about Data-Management Applications
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
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
2007
SIGMOD record
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
english
2013
Proceedings of the 15th International Conference on Enterprise Information Systems
english
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2015
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2014
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Editorial
2019
Formal Aspects of Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
EFFECTIVE KNOWLEDGE MANAGEMENT USING AN ONTOLOGY-BASED APPROACH
2009
Issues in Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2011
IFAC Proceedings Volumes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2012
Proceedings of the 21st international conference companion on World Wide Web - WWW '12 Companion
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
Pervasive and Mobile Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2018
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2008
2008 Computers in Cardiology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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