Search results for "Inference"
showing 10 items of 478 documents
A literature review of sensor ontologies for manufacturing applications
2013
The purpose of this paper is to review existing sensor and sensor network ontologies to understand whether they can be reused as a basis for a manufacturing perception sensor ontology, or if the existing ontologies hold lessons for the development of a new ontology. We develop an initial set of requirements that should apply to a manufacturing perception sensor ontology. These initial requirements are used in reviewing selected existing sensor ontologies. Additionally, we present our developed sensor ontology thus far that incorporates a refined list of requirements. This paper describes 1) extending and refining the requirements; 2) proposing hierarchical structures for verifying the purpo…
A Survey on Ontology Evaluation Methods
2015
International audience; Ontologies nowadays have become widely used for knowledge representation, and are considered as foundation for Semantic Web. However with their wide spread usage, a question of their evaluation increased even more. This paper addresses the issue of finding an efficient ontology evaluation method by presenting the existing ontology evaluation techniques, while discussing their advantages and drawbacks. The presented ontology evaluation techniques can be grouped into four categories: gold standard-based, corpus-based, task-based and criteria based approaches.
Ontology Views for Ontology Change Management
2014
International audience; In the literature, ontology change management systems (OCMS) are direct implementation of the concept of “change management” stated by reference (Klein, 2004). Ontology change management combines ontol- ogy evolution and versioning features to manage ontol- ogy changes and their impacts. Since 2007, many works have combined ontology evolution and versioning into ontology change management systems (OCMS). The evolution subject has been massively studied in these works. They especially addressed the consistence issue for the application of changes on the ontology. These proposals constituted a consequent background for ontology change management but they did not take i…
Modeling Changes for SHOIN(D) Ontologies: An Exhaustive Structural Model
2013
Ontology development starts with a rigorous ontological analysis that provides a conceptualization of the domain to model agreed by the community. An ontology, specified in a formal language, approximates the intended models of this conceptualization. It needs then to be revised and refined until an ontological commitment is found. Also ulterior updates, responding to changes in the domain and/or the conceptualization, are expected to occur throughout the ontology life cycle. To handle a consistent application of changes, a couple of ontology evolution methodologies have been proposed. Maintaining the structural consistency is one of the ontology evolution criteria. It implies modeling chan…
Model Driven Specification of Ontology Translations
2008
The alignment of different ontologies requires the specification, representation and execution of translation rules. The rules need to integrate translations at the lexical, the syntactic and the semantic layer requiring semantic reasoning as well as low-level specification of ad-hoc conversions of data. Existing formalisms for representing translation rules cannot cover the representation needs of these three layers in one model. We propose a metamodel-based representation of ontology alignments that integrate semantic translations using description logics and lower level translation specifications into one model of representation for ontology alignments.
Data Mining of Specific-Domain Ontology Components
2008
This paper describes an approach for eliciting ontology components by using knowledge maps. The knowledge contained in a particular domain, any kind of text digital archive, is portrayed by assembling and displaying its ontology components.
Semi-automatic Derivation of Specific-Domain Ontologies for the Semantic Web
2006
This paper describes an approach for helping in the semi-automatic construction of specific-domain ontology components contained in a digital archive. This proposal for extracting knowledge from digital sources allows users to have a view of this knowledge and visualize specific-domain ontology components that with further processing can be shared with software agents by embedding it into digital archives themselves in the context of the Semantic Web. In particular, we deal with the issue of not constructing the ontology from scratch, our approach helps us to speed up the ontology creation process.
A systematic approach to deriving incremental type checkers
2020
Static typing can guide programmers if feedback is immediate. Therefore, all major IDEs incrementalize type checking in some way. However, prior approaches to incremental type checking are often specialized and hard to transfer to new type systems. In this paper, we propose a systematic approach for deriving incremental type checkers from textbook-style type system specifications. Our approach is based on compiling inference rules to Datalog, a carefully limited logic programming language for which incremental solvers exist. The key contribution of this paper is to discover an encoding of the infinite typing relation as a finite Datalog relation in a way that yields efficient incremental up…
A Bayesian Learning Automaton for Solving Two-Armed Bernoulli Bandit Problems
2008
The two-armed Bernoulli bandit (TABB) problem is a classical optimization problem where an agent sequentially pulls one of two arms attached to a gambling machine, with each pull resulting either in a reward or a penalty. The reward probabilities of each arm are unknown, and thus one must balance between exploiting existing knowledge about the arms, and obtaining new information. In the last decades, several computationally efficient algorithms for tackling this problem have emerged, with learning automata (LA) being known for their ?-optimality, and confidence interval based for logarithmically growing regret. Applications include treatment selection in clinical trials, route selection in …
Job preservation efforts: when does job insecurity prompt performance?
2020
PurposeWhile job insecurity generally impedes performance, there may be circumstances under which it can prompt performance. The purpose of this paper is to examine a specific situation (reorganization) in which job insecurity may prompt task and contextual performance. The authors propose that performance can represent a job preservation strategy, to which employees may only resort when supervisor-issued ratings of performance are instrumental toward securing one’s job. The authors hypothesize that because of this instrumentality, job insecurity will motivate employees’ performance only when they have low intrinsic motivation, and only when they perceive high distributive justice.Design/me…