1,610 research outputs found

    On decidability and tractability of querying in temporal EL

    Get PDF
    We study access to temporal data with TEL, a temporal extension of the tractable description logic EL. Our aim is to establish a clear computational complexity landscape for the atomic query answering problem, in terms of both data and combined complexity. Atomic queries in full TEL turn out to be undecidable even in data complexity. Motivated by the negative result, we identify well-behaved yet expressive fragments of TEL. Our main contributions are a semantic and sufficient syntactic conditions for decidability and three orthogonal tractable fragments, which are based on restricted use of rigid roles, temporal operators, and novel acyclicity conditions on the ontologies

    On the non-efficient PAC learnability of conjunctive queries

    Get PDF
    This note serves three purposes: (i) we provide a self-contained exposition of the fact that conjunctive queries are not efficiently learnable in the Probably-Approximately-Correct (PAC) model, paying clear attention to the complicating fact that this concept class lacks the polynomial-size fitting property, a property that is tacitly assumed in much of the computational learning theory literature; (ii) we establish a strong negative PAC learnability result that applies to many restricted classes of conjunctive queries (CQs), including acyclic CQs for a wide range of notions of acyclicity; (iii) we show that CQs (and UCQs) are efficiently PAC learnable with membership queries.<p/

    Intellectual property:an underestimated and undermanaged asset?

    Full text link
    Intellectual Property (IP) is becoming more and more important for competitive advantage and companies’ success. We argue that making IP a key issue is essential and will be one of the main factors driving future business success. Nevertheless many companies have not yet managed to integrate IP into strategy development and all critical business processes and thus do not get the maximum value out of it. This article aims to show how companies can systematically develop and implement an IP strategy following a three-step approach. First, it is important for the management to get a more transparent picture about strengths and weaknesses of the current IP position. Modern IP database tools help to achieve this goal. In the second phase the management should evaluate whether the company is successful in realizing the full market and strategic potential of technologies with IP strength and how to cope with areas of IP weaknesses. After an in-depth evaluation an IP-strategy should be defined and implemented. In our experience strategy execution requires a clear commitment from the top management, clear roles & responsibilities, proper monitoring, a more intensive collaboration on IP issues between R&D, Marketing, Patent attorneys and often even changes in corporate structures and processes

    QCD factorization for forward hadron scattering at high energies

    Full text link
    We consider the QCD factorization of DIS structure functions at small x and amplitudes of 2->2 -hadronic forward scattering at high energy. We show that both collinear and k_T-factorization for these processes can be obtained approximately as reductions of a more general (totally unintegrated) form of the factorization. The requirement of ultraviolet and infrared stability of the factorization convolutions allows us to obtain restrictions on the fits for the parton distributions in k_T- and collinear factorization.Comment: 18 pages, 10 figures In the present version misprints found in the prevcious version are corrected and some more details are explaine

    Model Comparison Games for Horn Description Logics

    Get PDF
    Horn description logics are syntactically defined fragments of standard description logics that fall within the Horn fragment of first-order logic and for which ontology-mediated query answering is in PTIME for data complexity. They were independently introduced in modal logic to capture the intersection of Horn first-order logic with modal logic. In this paper, we introduce model comparison games for the basic Horn description logic hornALC (corresponding to the basic Horn modal logic) and use them to obtain an Ehrenfeucht-Fra ̈ısse ́ type definability result and a van Benthem style expressive completeness result for hornALC. We also establish a finite model theory version of the latter. The Ehrenfeucht-Fra ̈ısse ́ type definability result is used to show that checking hornALC indistinguishability of models is EXPTIME-complete, which is in sharp contrast to ALC indistinguishability (i.e., bisimulation equivalence) checkable in PTIME. In addition, we explore the behavior of Horn fragments of more expressive description and modal logics by defining a Horn guarded fragment of first-order logic and introducing model comparison games for it

    Polyethylene imine-based receptor immobilization for label free bioassays

    Get PDF
    Polyethylene imine (PEI) based immobilization of antibodies is described and the concept is proved on the label free assay of C-Reactive Protein (CRP). This novel immobilization method is composed of a hyperbranched PEI layer which was deposited at a high pH (9.5) on the sensor surface. The free amino groups of PEI were derivatized with neutravidin by Biotin N-hydroxysuccinimide ester and the biotinylated anti-CRP antibody immobilized on this layer. Direct binding assay of recombinant CRP was successfully performed in the low ÎŒg/ml concentrations using a label free optical waveguide biosensor

    Suppression factors in diffractive photoproduction of dijets

    Full text link
    After new publications of H1 data for the diffractive photoproduction of dijets, which overlap with the earlier published H1 data and the recently published data of the ZEUS collaboration, have appeared, we have recalculated the cross sections for this process in next-to-leading order (NLO) of perturbative QCD to see whether they can be interpreted consistently. The results of these calculations are compared to the data of both collaborations. We find that the NLO cross sections disagree with the data, showing that factorization breaking occurs at that order. If direct and resolved contributions are both suppressed by the same amount, the global suppression factor depends on the transverse-energy cut. However, by suppressing only the resolved contribution, also reasonably good agreement with all the data is found with a suppression factor independent of the transverse-energy cut.Comment: 28 pages, 11 figures, 3 table
    • 

    corecore