We settle an open question on the complexity of the following problem: given two OWL2QL TBoxes and a signature, decide whether these TBoxes return the same answers to any conjunctive query over any data formulated in ...
详细信息
We settle an open question on the complexity of the following problem: given two OWL2QL TBoxes and a signature, decide whether these TBoxes return the same answers to any conjunctive query over any data formulated in the given signature. It has been known that the complexity of this problem is between PSpace and ExpTime. Here we show that the problem is ExpTime-complete and, in fact, deciding whether two OWL2QL knowledge bases (each with its own data) give the same answers to any conjunctive query is ExpTime-hard.
作者：
Wabnig, H.Haring, G.University of Vienna
Institute of Applied Computer Science and Information Systems Department of Advanced Computer Engineering Lenaugasse 2/8 ViennaA-1080 Austria
In the PAPS-parallel program performance prediction toolset-parallel systems are specified by the structure of the parallel program, the multiprocessor hardware, and the mapping of the program elements to processor no...
详细信息
This paper describes a sketch-based method for augmenting geometric meshes with variable-scale sharp features. Such mesh editing operations provide a powerful way to exploit an artist's natural sketching abilities...
详细信息
The COVID-19 pandemic has emphasized the importance of timely and accurate prediction of disease out breaks. Mathematical disease models can help simulate the trajectory of diseases and guide policymakers in identifyi...
详细信息
Quality management standareds are seen as a major pillar supporting the drive for continuous quality improvement through total quality management. Planning brings to decision making the capability of being proactive a...
详细信息
ISBN:
(纸本)9789604741281
Quality management standareds are seen as a major pillar supporting the drive for continuous quality improvement through total quality management. Planning brings to decision making the capability of being proactive and thus anticipate future events and the necessary actions to meet those events positively. Reaching high level of Quality Assurance (QA) has become an essential goal for educational institutes. Therefore, we have to construct an intelligent computer-based system to manage the quality standards and the evaluation processes within universities. Having such a system will prevent a lot of burden on resident quality in any educational institution. The main objective of this paper is to provide a description of a framework for a quality assurance management system (QAMS). This can help the quality evaluator to evaluate the performance of an educational institution without effort, automatically, and without time loss. Full schematic UML charts of the proposed system is given. Moreover, a comprehensive analysis of the system components is presented.
While financial reporting fraud has become more prevalent and costly in recent years, fraud detection has been badly lagging. Several recent studies have examined the feasibility of various computer techniques in busi...
详细信息
This book constitutes the refereed proceedings of the 8th International Conference on Web Reasoning and Rule systems, RR 2014, held in Athens, Greece in September 2014. The 9 full papers, 9 technical communications an...
详细信息
ISBN:
(数字)9783319111131
ISBN:
(纸本)9783319111124
This book constitutes the refereed proceedings of the 8th International Conference on Web Reasoning and Rule systems, RR 2014, held in Athens, Greece in September 2014. The 9 full papers, 9 technical communications and 5 poster presentations presented together with 3 invited talks, 3 doctoral consortial papers were carefully reviewed and selected from 33 submissions. The conference covers a wide range of the following: semantic Web, rule and ontology languages, and related logics, reasoning, querying, searching and optimization, incompleteness, inconsistency and uncertainty, non-monotonic, common sense, and closed-world reasoning for the web, dynamic information, stream reasoning and complex event processing, decision making, planning, and intelligent agents, machine learning, knowledge extraction and information retrieval, data management, data integration and reasoning on the web of data, ontology-based data access, system descriptions, applications and experiences.
Due to the growth within Internet-based technologies as well as human competencies in the use of these technologies, E-learning today allows students to try things out, participate in courses, tests and simulations li...
详细信息
ISBN:
(纸本)9789604741663
Due to the growth within Internet-based technologies as well as human competencies in the use of these technologies, E-learning today allows students to try things out, participate in courses, tests and simulations like never before, and get more out of learning than before. This paper introduces an environment for adaptive e-learning in data representation and other fields. That used to be learnt in a traditional way. The presented model generates suitable courses for each student in a dynamic form. Even the choice of effective e-learning tools is seemingly endless. The proposed environment is designed by using Visual Basic for modeling and Microsoft word for creating materials.
Visual impairment affects millions of individuals worldwide, hindering their ability to interact with society. This research introduces VisionPal, a comprehensive smartphone-based application for the Visually Impaired...
详细信息
ISBN:
(纸本)9798350319200
Visual impairment affects millions of individuals worldwide, hindering their ability to interact with society. This research introduces VisionPal, a comprehensive smartphone-based application for the Visually Impaired. The system employs advanced image processing and deep learning techniques to address the challenges visually impaired individuals face in outdoor environments. The core of VisionPal is a smartphone application that integrates features such as obstacle detection, vacant seat identification, road sign recognition, and pedestrian crossing assistance. The background and literature survey delve into related works that are focused on this study. Leveraging YOLOv8, InceptionV3, Tesseract, and MobileNetV2 models, the methodology incorporates machine learning models to detect obstacles, vacant seats, crowd levels, road signs, and color lights. Researchers developed a mobile application allowing users to interact via vocal commands. Testing reveals high accuracy, and the findings depict that the YOLOv8 model precisely identifies vacant seats and crowd levels, achieving an overall accuracy of 98.74%, and obstacle identification depicts an overall accuracy of 94.38%. Further, the InceptionV3 model exhibits 97% accuracy in recognizing road signs and colors. The MobileNetV2 model achieves 98.5% accuracy in identifying traffic lights and pedestrian crossings. User feedback emphasizes the user-friendliness and effectiveness of the application in enhancing outdoor experiences for visually impaired individuals. The significance of this work is its ability to empower visually impaired individuals, enhancing their autonomy, safety, and quality of life. VisionPal addresses real-world challenges by offering a reliable and innovative solution for the visually impaired to navigate public places. The integration of state-of-the-art technologies makes VisionPal a promising tool for promoting inclusion and enabling visually impaired individuals to engage more fully in society.
暂无评论