Vienna University of Technology

About: Vienna University of Technology is a education organization based out in Vienna, Austria. It is known for research contribution in the topics: Laser & Context (language use). The organization has 16723 authors who have published 49341 publications receiving 1302168 citations.

Combining answer set programming with description logics for the semantic web

Abstract: Towards the integration of rules and ontologies in the Semantic Web, we propose a combination of logic programming under the answer set semantics with the description logics SHIF(D) and SHOIN(D), which underly the Web ontology languages OWL Lite and OWL DL, respectively. This combination allows for building rules on top of ontologies but also, to a limited extent, building ontologies on top of rules. We introduce description logic programs (dl-programs), which consist of a description logic knowledge base L and a finite set of description logic rules (dl-rules) P. Such rules are similar to usual rules in logic programs with negation as failure, but may also contain queries to L, possibly default negated, in their bodies. We define Herbrand models for dl-programs, and show that satisfiable positive dl-programs have a unique least Her-brand model. More generally, consistent stratified dl-programs can be associated with a unique minimal Her-brand model that is characterized through iterative least Herbrand models. We then generalize the (unique) minimal Herbrand model semantics for positive and stratified dl-programs to a strong answer set semantics for all dl-programs, which is based on a reduction to the least model semantics of positive dl-programs. We also define a weak answer set semantics based on a reduction to the answer sets of ordinary logic programs. Strong answer sets are weak answer sets, and both properly generalize answer sets of ordinary normal logic programs. We then give fixpoint characterizations for the (unique) minimal Herbrand model semantics of positive and stratified dl-programs, and show how to compute these models by finite fixpoint iterations. Furthermore, we give a precise picture of the complexity of deciding strong and weak answer set existence for a dl-program.

Novel three-phase AC-DC-AC sparse matrix converter

Abstract: A novel three-phase AC-DC-AC sparse matrix converter (SMC) having no energy storage elements in the DC link and employing only 15 IGBTs as opposed to 18 IGBTs of a functionally equivalent conventional AC-AC matrix converter (CMC) is proposed. It is shown that the realization effort could be further reduced to only 9 IGBTs (ultra sparse matrix converter, USMC) in case the phase displacement of the fundamentals of voltage and current at the input and at the output is limited to /spl plusmn//spl pi//6. The dependency of the voltage and current transfer ratios of the systems on the operating parameters is analyzed and a space vector modulation scheme is described in combination with a zero current commutation procedure. Furthermore, a safe multi-step current commutation concept is treated briefly. Conduction and switching losses of the SMC and USMC are calculated in analytically closed form. Finally, the theoretical results are verified in Part II of the paper by digital simulations and results of a first experimental investigation of a 10 kW/400 V SMC prototype are given.

From Hamiltonians to Phase Diagrams

Abstract: The ab-initio calculation of phase diagrams for metals and alloys using electronic and thermodynamic perturbation theories is discussed.

Formalizing information security knowledge

Abstract: Unified and formal knowledge models of the information security domain are fundamental requirements for supporting and enhancing existing risk management approaches. This paper describes a security ontology which provides an ontological structure for information security domain knowledge. Besides existing best-practice guidelines such as the German IT Grundschutz Manual also concrete knowledge of the considered organization is incorporated. An evaluation conducted by an information security expert team has shown that this knowledge model can be used to support a broad range of information security risk management approaches.

Chemical Clearing and Dehydration of GFP Expressing Mouse Brains

Abstract: Generally, chemical tissue clearing is performed by a solution consisting of two parts benzyl benzoate and one part benzyl alcohol. However, prolonged exposure to this mixture markedly reduces the fluorescence of GFP expressing specimens, so that one has to compromise between clearing quality and fluorescence preservation. This can be a severe drawback when working with specimens exhibiting low GFP expression rates. Thus, we screened for a substitute and found that dibenzyl ether (phenylmethoxymethylbenzene, CAS 103-50-4) can be applied as a more GFP-friendly clearing medium. Clearing with dibenzyl ether provides improved tissue transparency and strikingly improved fluorescence intensity in GFP expressing mouse brains and other samples as mouse spinal cords, or embryos. Chemical clearing, staining, and embedding of biological samples mostly requires careful foregoing tissue dehydration. The commonly applied tissue dehydration medium is ethanol, which also can markedly impair GFP fluorescence. Screening for a substitute also for ethanol we found that tetrahydrofuran (CAS 109-99-9) is a more GFP-friendly dehydration medium than ethanol, providing better tissue transparency obtained by successive clearing. Combined, tetrahydrofuran and dibenzyl ether allow dehydration and chemical clearing of even delicate samples for UM, confocal microscopy, and other microscopy techniques.