103,123 research outputs found
Tractable approximate deduction for OWL
Acknowledgements This work has been partially supported by the European project Marrying Ontologies and Software Technologies (EU ICT2008-216691), the European project Knowledge Driven Data Exploitation (EU FP7/IAPP2011-286348), the UK EPSRC project WhatIf (EP/J014354/1). The authors thank Prof. Ian Horrocks and Dr. Giorgos Stoilos for their helpful discussion on role subsumptions. The authors thank Rafael S. Gonçalves et al. for providing their hotspots ontologies. The authors also thank BoC-group for providing their ADOxx Metamodelling ontologies.Peer reviewedPostprin
Complementary Lipschitz continuity results for the distribution of intersections or unions of independent random sets in finite discrete spaces
We prove that intersections and unions of independent random sets in finite
spaces achieve a form of Lipschitz continuity. More precisely, given the
distribution of a random set , the function mapping any random set
distribution to the distribution of its intersection (under independence
assumption) with is Lipschitz continuous with unit Lipschitz constant if
the space of random set distributions is endowed with a metric defined as the
norm distance between inclusion functionals also known as commonalities.
Moreover, the function mapping any random set distribution to the distribution
of its union (under independence assumption) with is Lipschitz continuous
with unit Lipschitz constant if the space of random set distributions is
endowed with a metric defined as the norm distance between hitting
functionals also known as plausibilities.
Using the epistemic random set interpretation of belief functions, we also
discuss the ability of these distances to yield conflict measures. All the
proofs in this paper are derived in the framework of Dempster-Shafer belief
functions. Let alone the discussion on conflict measures, it is straightforward
to transcribe the proofs into the general (non necessarily epistemic) random
set terminology
Approximately bisimilar symbolic models for nonlinear control systems
Control systems are usually modeled by differential equations describing how
physical phenomena can be influenced by certain control parameters or inputs.
Although these models are very powerful when dealing with physical phenomena,
they are less suitable to describe software and hardware interfacing the
physical world. For this reason there is a growing interest in describing
control systems through symbolic models that are abstract descriptions of the
continuous dynamics, where each "symbol" corresponds to an "aggregate" of
states in the continuous model. Since these symbolic models are of the same
nature of the models used in computer science to describe software and
hardware, they provide a unified language to study problems of control in which
software and hardware interact with the physical world. Furthermore the use of
symbolic models enables one to leverage techniques from supervisory control and
algorithms from game theory for controller synthesis purposes. In this paper we
show that every incrementally globally asymptotically stable nonlinear control
system is approximately equivalent (bisimilar) to a symbolic model. The
approximation error is a design parameter in the construction of the symbolic
model and can be rendered as small as desired. Furthermore if the state space
of the control system is bounded the obtained symbolic model is finite. For
digital control systems, and under the stronger assumption of incremental
input-to-state stability, symbolic models can be constructed through a suitable
quantization of the inputs.Comment: Corrected typo
Decision-Making with Belief Functions: a Review
Approaches to decision-making under uncertainty in the belief function
framework are reviewed. Most methods are shown to blend criteria for decision
under ignorance with the maximum expected utility principle of Bayesian
decision theory. A distinction is made between methods that construct a
complete preference relation among acts, and those that allow incomparability
of some acts due to lack of information. Methods developed in the imprecise
probability framework are applicable in the Dempster-Shafer context and are
also reviewed. Shafer's constructive decision theory, which substitutes the
notion of goal for that of utility, is described and contrasted with other
approaches. The paper ends by pointing out the need to carry out deeper
investigation of fundamental issues related to decision-making with belief
functions and to assess the descriptive, normative and prescriptive values of
the different approaches
Knowledge formalization in experience feedback processes : an ontology-based approach
Because of the current trend of integration and interoperability of industrial systems, their size and complexity continue to grow making it more difficult to analyze, to understand and to solve the problems that happen in their organizations. Continuous improvement methodologies are powerful tools in order to understand and to solve problems, to control the effects of changes and finally to capitalize knowledge about changes and improvements. These tools involve suitably represent knowledge relating to the concerned system. Consequently, knowledge management (KM) is an increasingly important source of competitive advantage for organizations. Particularly, the capitalization and sharing of knowledge resulting from experience feedback are elements which play an essential role in the continuous improvement of industrial activities. In this paper, the contribution deals with semantic interoperability and relates to the structuring and the formalization of an experience feedback (EF) process aiming at transforming information or understanding gained by experience into explicit knowledge. The reuse of such knowledge has proved to have significant impact on achieving themissions of companies. However, the means of describing the knowledge objects of an experience generally remain informal. Based on an experience feedback process model and conceptual graphs, this paper takes domain ontology as a framework for the clarification of explicit knowledge and know-how, the aim of which is to get lessons learned descriptions that are significant, correct and applicable
- …