O wl O nt DB: A Scalable Reasoning System for OWL 2 RL Ontologies with Large ABoxes

Author(s):  
Rokan Uddin Faruqui ◽  
Wendy MacCaull
Keyword(s):  
2019 ◽  
Vol 42 ◽  
Author(s):  
Daniel J. Povinelli ◽  
Gabrielle C. Glorioso ◽  
Shannon L. Kuznar ◽  
Mateja Pavlic

Abstract Hoerl and McCormack demonstrate that although animals possess a sophisticated temporal updating system, there is no evidence that they also possess a temporal reasoning system. This important case study is directly related to the broader claim that although animals are manifestly capable of first-order (perceptually-based) relational reasoning, they lack the capacity for higher-order, role-based relational reasoning. We argue this distinction applies to all domains of cognition.


Author(s):  
Olga Olegovna Eremenko ◽  
Lyubov Borisovna Aminul ◽  
Elena Vitalievna Chertina

The subject of the research is the process of making managerial decisions for innovative IT projects investing. The paper focuses on the new approach to decision making on investing innovative IT projects using expert survey in a fuzzy reasoning system. As input information, expert estimates of projects have been aggregated into six indicators having a linguistic description of the individual characteristics of the project type "high", "medium", and "low". The task of decision making investing has been formalized and the term-set of the output variable Des has been defined: to invest 50-75% of the project cost; to invest 20-50% of the project cost; to invest 10-20% of the project cost; to send the project for revision; to turn down investing project. The fuzzy product model of making investment management decisions has been developed; it adequately describes the process of investment management. The expediency of using constructed production model on a practical example is shown.


Author(s):  
Bjørn Magnus Mathisen ◽  
Kerstin Bach ◽  
Agnar Aamodt

AbstractAquaculture as an industry is quickly expanding. As a result, new aquaculture sites are being established at more exposed locations previously deemed unfit because they are more difficult and resource demanding to safely operate than are traditional sites. To help the industry deal with these challenges, we have developed a decision support system to support decision makers in establishing better plans and make decisions that facilitate operating these sites in an optimal manner. We propose a case-based reasoning system called aquaculture case-based reasoning (AQCBR), which is able to predict the success of an aquaculture operation at a specific site, based on previously applied and recorded cases. In particular, AQCBR is trained to learn a similarity function between recorded operational situations/cases and use the most similar case to provide explanation-by-example information for its predictions. The novelty of AQCBR is that it uses extended Siamese neural networks to learn the similarity between cases. Our extensive experimental evaluation shows that extended Siamese neural networks outperform state-of-the-art methods for similarity learning in this task, demonstrating the effectiveness and the feasibility of our approach.


Author(s):  
Ryan Mullins ◽  
Deirdre Kelliher ◽  
Ben Nargi ◽  
Mike Keeney ◽  
Nathan Schurr

Recently, cyber reasoning systems demonstrated near-human performance characteristics when they autonomously identified, proved, and mitigated vulnerabilities in software during a competitive event. New research seeks to augment human vulnerability research teams with cyber reasoning system teammates in collaborative work environments. However, the literature lacks a concrete understanding of vulnerability research workflows and practices, limiting designers’, engineers’, and researchers’ ability to successfully integrate these artificially intelligent entities into teams. This paper contributes a general workflow model of the vulnerability research process, and identifies specific collaboration challenges and opportunities anchored in this model. Contributions were derived from a qualitative field study of work habits, behaviors, and practices of human vulnerability research teams. These contributions will inform future work in the vulnerability research domain by establishing an empirically-driven workflow model that can be adapted to specific organizational and functional constraints placed on individual and teams.


Author(s):  
Ruirui Chen ◽  
Yusheng Liu ◽  
Yue Cao ◽  
Jing Xu

Model Based Systems Engineering (MBSE) is the mainstream methodology for the design of complex mechatronic systems. It emphasizes the application of the system architecture, which highly depends on a formalized modeling language. However, such modeling language is less researched in previous studies. This paper proposes a general modeling language for representing the system architecture, aiming for representing function, physical effect, geometric information and control behavior which the system should satisfy. It facilitates the communication of designers from different technological domains and supports a series of applications such as automatic reasoning, system simulation, etc. The language is illustrated and verified with a practical mechatronic device finally.


2003 ◽  
Vol 12 (3) ◽  
pp. 311-325 ◽  
Author(s):  
Martin R. Stytz ◽  
Sheila B. Banks

The development of computer-generated synthetic environments, also calleddistributed virtual environments, for military simulation relies heavily upon computer-generated actors (CGAs) to provide accurate behaviors at reasonable cost so that the synthetic environments are useful, affordable, complex, and realistic. Unfortunately, the pace of synthetic environment development and the level of desired CGA performance continue to rise at a much faster rate than CGA capability improvements. This insatiable demand for realism in CGAs for synthetic environments arises from the growing understanding of the significant role that modeling and simulation can play in a variety of venues. These uses include training, analysis, procurement decisions, mission rehearsal, doctrine development, force-level and task-level training, information assurance, cyberwarfare, force structure analysis, sustainability analysis, life cycle costs analysis, material management, infrastructure analysis, and many others. In these and other uses of military synthetic environments, computer-generated actors play a central role because they have the potential to increase the realism of the environment while also reducing the cost of operating the environment. The progress made in addressing the technical challenges that must be overcome to realize effective and realistic CGAs for military simulation environments and the technical areas that should be the focus of future work are the subject of this series of papers, which survey the technologies and progress made in the construction and use of CGAs. In this, the first installment in the series of three papers, we introduce the topic of computer-generated actors and issues related to their performance and fidelity and other background information for this research area as related to military simulation. We also discuss CGA reasoning system techniques and architectures.


Sign in / Sign up

Export Citation Format

Share Document