2,422 research outputs found
SemML: Reusable ML for condition monitoring in discrete manufacturing
Machine learning (ML) is gaining much attention for data analysis in manufacturing. Despite the success, there is still a number of challenges in widening the scope of ML adoption. The main challenges include the exhausting effort of data integration and lacking of generalisability of developed ML pipelines to diverse data variants, sources, and domain processes. In this demo we present our SemML system that addresses these challenges by enhancing machine learning with semantic technologies: by capturing domain and ML knowledge in ontologies and ontology templates and automating various ML steps using reasoning. During the demo the attendees will experience three cunningly-designed scenarios based on real industrial applications of manufacturing condition monitoring at Bosch, and witness the power of ontologies and templates in enabling reusable ML pipelines
Updating DL-Lite ontologies through first-order queries
In this paper we study instance-level update in DL-LiteA, the description logic underlying the OWL 2 QL standard. In particular we focus on formula-based approaches to ABox insertion and deletion. We show that DL-LiteA, which is well-known for enjoying first-order rewritability of query answering, enjoys a first-order rewritability property also for updates. That is, every update can be reformulated into a set of insertion and deletion instructions computable through a nonrecursive datalog program. Such a program is readily translatable into a first-order query over the ABox considered as a database, and hence into SQL. By exploiting this result, we implement an update component for DLLiteA-based systems and perform some experiments showing that the approach works in practice.Peer ReviewedPostprint (author's final draft
Recommended from our members
Ontology-Based Integration of Streaming and Static Relational Data with Optique
An important application of semantic technologies in industry has been the formalisation of information models usingOWL 2 ontologies and the use of RDF for storing and exchanging application data. Moreover, legacy data can be virtualised asRDF using ontologies following the ontology-based data access (OBDA) approach. In all these applications, it is important toprovide domain experts with query formulation tools for expressing their information needs in terms of queries over ontologies. Inthis work, we present such a tool, OptiqueVQS, which is designed based on our experience with OBDA applications in Statoil andSiemens and on best HCI practices for interdisciplinary engineering environments. OptiqueVQS implements a number of uniquetechniques distinguishing it from analogous query formulation systems. In particular, it exploits ontology projection techniquesto enable graph-based navigation over an ontology during query construction. Secondly, while OptiqueVQS is primarily ontologydriven, it exploits sampled data to enhance selection of data values for some data attributes. Finally, OptiqueVQS is built onwell-grounded requirements, design rationale, and quality attributes. We evaluated OptiqueVQS with both domain experts andcasual users and qualitatively compared our system against prominent visual systems for ontology-driven query formulation andexploration of semantic data. OptiqueVQS is available online and can be downloaded together with an example OBDA scenario
Topology of energy surfaces and existence of transversal Poincar\'e sections
Two questions on the topology of compact energy surfaces of natural two
degrees of freedom Hamiltonian systems in a magnetic field are discussed. We
show that the topology of this 3-manifold (if it is not a unit tangent bundle)
is uniquely determined by the Euler characteristic of the accessible region in
configuration space. In this class of 3-manifolds for most cases there does not
exist a transverse and complete Poincar\'e section. We show that there are
topological obstacles for its existence such that only in the cases of
and such a Poincar\'e section can exist.Comment: 10 pages, LaTe
Progress in treatment by percutaneous coronary intervention: The stent of the future
First generation drug-eluting stents have considerably reduced in-stent restenosis and broadened the applications of percutaneous coronary interventions for the treatment of coronary artery disease. The polymer is an integral part of drug-eluting stents in that, it controls the release of an antiproliferative drug. The main safety concern of first generation drug-eluting stents with permanent polymers - stent thrombosis - has been caused by local hypersensitivity, delayed vessel healing, and endothelial dysfunction. This has prompted the development of newer generation drug-eluting stents with biodegradable polymers or even polymer-free drug-eluting stents. Recent clinical trials have shown the safety and efficacy of drug-eluting stents with biodegradable polymer, with proven reductions in very late stent thrombosis as compared to first generation drug-eluting stents. However, the concept of using a permanent metallic prosthesis implies major drawbacks, such as the presence of a foreign material within the native coronary artery that causes vascular inflammation and neoatherosclerosis, and also impedes the restoration of the vasomotor function of the stented segment. Bioresorbable scaffolds have been introduced to overcome these limitations, since they provide temporary scaffolding and then disappear, liberating the treated vessel from its cage. This update article presents the current status of these new technologies and highlights their future perspectives in interventional cardiology
- …