Using Description Logics for RDF Constraint Checking and Closed-World Recognition

RDF and Description Logics work in an open-world setting where absence of information is not information about absence. Nevertheless, Description Logic axioms can be interpreted in a closed-world setting and in this setting they can be used for both constraint checking and closed-world recognition against information sources. When the information sources are expressed in well-behaved RDF or RDFS (i.e., RDF graphs interpreted in the RDF or RDFS semantics) this constraint checking and closed-world recognition is simple to describe. Further this constraint checking can be implemented as SPARQL querying and thus effectively performed.Comment: Extended version of a paper of the same name that will appear in AAAI-201

Research methods and methodologies for studying organisational learning

The purpose of this paper is to compare and evaluate the main research methods and methodologies for studying organisational learning (OL), and propose a framework for their selection. It presents a comprehensive review of literature on OL, learning organisation (LO) and research methods and reports evidence on recent developments in research methods for studying OL. The paper highlighted on the purists and pragmatists’ views of research methodologies as basis of the study. The results revealed that the research methods and methodologies for studying OL do not reflect on the differing views of the purists and pragmatists’ debate but rather conform to the convergence ideologies of the two camps. Particularly, the outcomes augment the use of triangulation and suggest that the choice of method(s) should be consistent with research aims and epistemological philosophy of OL. Consequently, the study recommends OL Research Methods Framework as a useful guide for selecting a suitable approach in the area. The paper recommends ethnography for future research consideration

A New General Method to Generate Random Modal Formulae for Testing Decision Procedures

The recent emergence of heavily-optimized modal decision procedures has highlighted the key role of empirical testing in this domain. Unfortunately, the introduction of extensive empirical tests for modal logics is recent, and so far none of the proposed test generators is very satisfactory. To cope with this fact, we present a new random generation method that provides benefits over previous methods for generating empirical tests. It fixes and much generalizes one of the best-known methods, the random CNF_[]m test, allowing for generating a much wider variety of problems, covering in principle the whole input space. Our new method produces much more suitable test sets for the current generation of modal decision procedures. We analyze the features of the new method by means of an extensive collection of empirical tests

A New General Method to Generate Random Modal Formulae for Testing Decision Procedures

The recent emergence of heavily-optimized modal decision procedures has highlighted the key role of empirical testing in this domain. Unfortunately, the introduction of extensive empirical tests for modal logics is recent, and so far none of the proposed test generators is very satisfactory. To cope with this fact, we present a new random generation method that provides benefits over previous methods for generating empirical tests. It fixes and much generalizes one of the best-known methods, the random CNF_[]m test, allowing for generating a much wider variety of problems, covering in principle the whole input space. Our new method produces much more suitable test sets for the current generation of modal decision procedures. We analyze the features of the new method by means of an extensive collection of empirical tests

Advances in oral transmucosal drug delivery

Original article can be found at : http://sciencedirect.com/ Copyright ElsevierThe successful delivery of drugs across the oral mucosa represents a continuing challenge, as well as a great opportunity. Oral transmucosal delivery, especially buccal and sublingual delivery, has progressed far beyond the use of traditional dosage forms with novel approaches emerging continuously. This review highlights the physiological challenges as well as the advances and opportunities for buccal/sublingual drug delivery. Particular attention is given to new approaches which can extend dosage form retention time or can be engineered to deliver complex molecules such as proteins and peptides. The review will also discuss the physiology and local environment of the oral cavity in vivo and how this relates to the performance of transmucosal delivery systems.Peer reviewe

On the assimilation of Martian total ozone retrievals

The technique of data assimilation gives us an opportunity to further our understanding of important photochemical processes in the Martian atmosphere, through the creation of a reanalysis product that can be used to investigate the temporal and spatial agreement between model and observations and determine any possible causes of identified differences. In this study [1], we have assimilated, for the first time, total ozone retrievals into a Mars Global Circulation model (GCM) to study the ozone cycle

Analysis and testing of aeroelastic model stability augmentation systems

Testing and evaluation of a stability augmentation system for aircraft flight control were performed. The flutter suppression system and synthesis conducted on a scale model of a supersonic wing for a transport aircraft are discussed. Mechanization and testing of the leading and trailing edge surface actuation systems are described. The ride control system analyses for a 375,000 pound gross weight B-52E aircraft are presented. Analyses of the B-52E aircraft maneuver load control system are included