49,964 research outputs found
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
Recommended from our members
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
Recommended from our members
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
- …