Terminological reasoning and partial inductive definitions

There are two motivations for this paper. (i) In terminological systems in the tradition of KL-ONE the taxonomic and conceptual knowledge of a particular problem domain can be represented by so called concepts. The intensional definitions of these concepts can be analyzed and checked for plausibility using certain reasoning services (e.g. subsumption) that make the user conscious of some of the consequences of his definitions. A hybrid knowledge base can then rely on these checked definitions. In this paper a terminological formalism is embedded into the formalism of partial inductive definitions (PID) such that a flexible environment for experimenting with this kind of hybrid systems and the terminological formalism itself is obtained. (ii) Terminological formalisms provide (terminating) decision procedures for their reasoning services dealing with a restricted kind of quantification. Mapping these algorithms to PID improves the understanding of control and explicit quantification in PID

Specifying role interaction in concept languages

The KL-ONE concept language provides role-value maps (RVMs) as a concept forming operator that compares sets of role fillers. This is a useful means to specify structural properties of concepts. Recently, it has been shown that concept languages providing RVMs together with some other common concept-forming operators induce an undecidable subsumption problem. Thus, RVMs have been restricted to chainings of functional roles as, for example, in CLASSIC. Although this restricted RVM is still a useful operator, one would like to have additional means to specify interaction of general roles. The present paper investigates two concept languages for that purpose. The first one provides concept forming operators that generalize the restricted RVM in a different direction. Unfortunately, it turns out that this language also has an undecidable subsumption problem. The second formalism allows to specify structural properties w.r.t. roles without using general equality and is equipped with (complete) decision procedures for its associated reasoning problems

Combining terminological and rule-based reasoning for abstraction processes

Terminological reasoning systems directly support the abstraction mechanisms generalization and classification. But they do not bother about aggregation and have some problems with reasoning demands such as concrete domains, sequences of finite but unbounded size and derived attributes. The paper demonstrates the relevance of these issues in an analysis of a mechanical engineering application and suggests an integration of a forward-chaining rule system with a terminological logic as a solution to these problems

Terminological reasoning with constraint handling rules

Constraint handling rules (CHRs) are a flexible means to implement \u27user-defined\u27 constraints on top of existing host languages (like Prolog and Lisp). Recently, M. Schmidt-Schauß and G. Smolka proposed a new methodology for constructing sound and complete inference algorithms for terminological knowledge representation formalisms in the tradition of KLONE. We propose CHRs as a flexible implementation language for the consistency test of assertions, which is the basis for all terminological reasoning services. The implementation results in a natural combination of three layers: (i) a constraint layer that reasons in well- understood domains such as rationals or finite domains, (ii) a terminological layer providing a tailored, validated vocabulary on which (iii) the application layer can rely. The flexibility of the approach will be illustrated by extending the formalism, its implementation and an application example (solving configuration problems) with attributes, a new quantifier and concrete domains

Signatures of two-photon pulses from a quantum two-level system

The theoretical community has found interest in the ability of a two-level atom to generate a strong many-body interaction with light under pulsed excitation. Single-photon generation is the most well-known effect, where a short Gaussian laser pulse is converted into a Lorentzian single-photon wavepacket. However, recent proposals have surprisingly suggested that scattering with intense laser fields off a two-level atom may generate oscillations in two-photon emission that are out of phase with its Rabi oscillations, as the power of the pulse increases. Here, we provide an intuitive explanation for these oscillations using a quantum trajectory approach and show how they may preferentially result in emission of two-photon pulses. Experimentally, we observe signatures of these oscillations by measuring the bunching of photon pulses scattered off a two-level quantum system. Our theory and measurements provide crucial insight into the re-excitation process that plagues on-demand single-photon sources while suggesting the production of novel multi-photon states

COLAB : a hybrid knowledge representation and compilation laboratory

Knowledge bases for real-world domains such as mechanical engineering require expressive and efficient representation and processing tools. We pursue a declarative-compilative approach to knowledge engineering. While Horn logic (as implemented in PROLOG) is well-suited for representing relational clauses, other kinds of declarative knowledge call for hybrid extensions: functional dependencies and higher-order knowledge should be modeled directly. Forward (bottom-up) reasoning should be integrated with backward (top-down) reasoning. Constraint propagation should be used wherever possible instead of search-intensive resolution. Taxonomic knowledge should be classified into an intuitive subsumption hierarchy. Our LISP-based tools provide direct translators of these declarative representations into abstract machines such as an extended Warren Abstract Machine (WAM) and specialized inference engines that are interfaced to each other. More importantly, we provide source-to-source transformers between various knowledge types, both for user convenience and machine efficiency. These formalisms with their translators and transformers have been developed as part of COLAB, a compilation laboratory for studying what we call, respectively, "vertical\u27; and "horizontal\u27; compilation of knowledge, as well as for exploring the synergetic collaboration of the knowledge representation formalisms. A case study in the realm of mechanical engineering has been an important driving force behind the development of COLAB. It will be used as the source of examples throughout the paper when discussing the enhanced formalisms, the hybrid representation architecture, and the compilers

Resonance fluorescence of GaAs quantum dots with near-unity photon indistinguishability

Photonic quantum technologies call for scalable quantum light sources that can be integrated, while providing the end user with single and entangled photons on-demand. One promising candidate are strain free GaAs/AlGaAs quantum dots obtained by droplet etching. Such quantum dots exhibit ultra low multi-photon probability and an unprecedented degree of photon pair entanglement. However, different to commonly studied InGaAs/GaAs quantum dots obtained by the Stranski-Krastanow mode, photons with a near-unity indistinguishability from these quantum emitters have proven to be elusive so far. Here, we show on-demand generation of near-unity indistinguishable photons from these quantum emitters by exploring pulsed resonance fluorescence. Given the short intrinsic lifetime of excitons confined in the GaAs quantum dots, we show single photon indistinguishability with a raw visibility of $V_{raw}=(94.2\pm5.2)\,\%$, without the need for Purcell enhancement. Our results represent a milestone in the advance of GaAs quantum dots by demonstrating the final missing property standing in the way of using these emitters as a key component in quantum communication applications, e.g. as an entangled source for quantum repeater architectures