scholarly journals Query Answering and Ontology Population: An Inductive Approach

Author(s):  
Claudia d’Amato ◽  
Nicola Fanizzi ◽  
Floriana Esposito
2020 ◽  
Vol 12 (2) ◽  
Author(s):  
Ely Sukmana

Effectiveness of Education and Training in Increasing Auditor Performance at the Lamongan Regency Inspectorate of East Java Province. This study aims to find out and analyze education and training to be the driving factors for improving the performance of auditors at the Inspectorate of Lamongan Regency, East Java Province. The researcher used a qualitative descriptive method with an inductive approach. The conclusion of this study is the effectiveness of education and training carried out through technical training programs held by the Lamongan District Inspectorate and the implementation of functional training and technical training outside which aims to improve the performance of the Lamongan District Inspectorate auditors, including being effective. This can be understood from the results of the overall study through interviewing the author with sources and direct observations. The indicators of effectiveness of auditor participation to carry out technical training carried out by the Inspectorate and functional training and technical training held outside of stating that, every implementation. Education and training can have a positive impact on the auditor of the Lamongan District Inspectorate in improving performance to carry out their duties and functions as internal government supervisors.


Author(s):  
Markus Krötzsch

To reason with existential rules (a.k.a. tuple-generating dependencies), one often computes universal models. Among the many such models of different structure and cardinality, the core is arguably the “best”. Especially for finitely satisfiable theories, where the core is the unique smallest universal model, it has advantages in query answering, non-monotonic reasoning, and data exchange. Unfortunately, computing cores is difficult and not supported by most reasoners. We therefore propose ways of computing cores using practically implemented methods from rule reasoning and answer set programming. Our focus is on cases where the standard chase algorithm produces a core. We characterise this desirable situation in general terms that apply to a large class of cores, derive concrete approaches for decidable special cases, and generalise these approaches to non-monotonic extensions of existential rules.


Author(s):  
عارف علي عارف القره داغي ◽  
فايزة بنت إسماعيل ◽  
ئاوات محمد آغا بابا

الملخّصيتعلق هذا البحث بموضوع دية القتل الخطأ في الحوادث المرورية في الفقه الإسلامي في العصر الحاضر لكثرة وقوعها وحاجة الناس إلى بيان أحكامها من حيث كيفية تقديرها. وتحرير الخلاف في دية المرأة، ومسألة دية الجنين في حال تعرضه للموت في بطن أمه نتيجة الحادث المروري، أو في حالة تعرضه للإجهاض والموت، وتناول أيضًا دية شخصين إذا ماتا نتيجة اصطدام سيارتين؛ فكيف تقدَّر الدِّية؟ وعالج البحث مسألة العاقلة في الوقت الحاضر التي تساعد الطرفين (الجاني والمجني عليه وذلك بجمع الدية وإعطائها للمجني عليه). وذلك من خلال استخدام المنهج الاستقرائي والمنهج المقارن: حيث يتم من خلاله جمع النصوص المتعلقة بالموضوع، وآراء العلماء المتقدمين، والمعاصرين، والمقارنة بينهما لمعرفة نقاط الاتفاق والاختلاف، لتجلية معالم الموضوع، وتسهيل مناقشتها بصورة دقيقة، ثم بيان الرأي الراجح. وقد توصلت الدراسة إلى أنَّ دية القتل في الحوادث المرورية في العصر الحاضر تساوي بالدينار الذهبي، الذي يساوي 4.250 جرامًا من الذهب، أو بما يساويها من النقد. وأنَّ الراجح هو تساوي دية الرجل مع دية المرأة. وفي حالة عدم وجود العاقلة لابأس من إنشاء شركة تعاونية لمساعدة من وقع منه الحادث.الكلمات المفتاحية: الدِّية، حوادث المرور، دية المرأة، دية الجنين، العاقلة. Abstract         This research addresses the subject of blood money for unintended manslaughter in traffic accidents according to Islamic jurisprudence in the present era due to the frequency of their occurrence and the need for people to understand the legal provisions concerning determining the amount. In this regard, we seek to clarify the disagreements regarding the blood money for women and foetuses that die in the mother’s womb as a result of traffic accidents or abortion. We also address the issue of blood money for two people who die as a result of collision between two cars. We also examine the issue of ʿĀqilah (those who pay the blood money) who helped the two parties (the offender and the victim by collecting blood money and giving it to the victim). To clarify these issues, we use the inductive approach and comparative method wherein we collect the various texts on the subject, and the views of classical and contemporary scholars to engage in a comparison between them in order to identify the points of agreement and disagreement between views. From here, we also hope to identify the major factors pertaining to such issues in order to facilitate a precise and concrete discussion to arrive at the most correct opinion. The study found that blood money for manslaughter in traffic accidents in the present era is equal to a gold dinar, which is equal to 4.250 grams of gold, or its cash equivalent. We advocate that the correct view is that the amount of blood money paid to a man is equal to that of a woman, and that in the absence of an ʿĀqilah it is possible to form a cooperative or mutual fund to render assistance to the victim.Keywords: blood money, traffic accidents, women, foetus, ʿĀqilah.


2007 ◽  
Vol 24 (2) ◽  
pp. 22-43
Author(s):  
Abdelaziz Berghout

The paper examines the importance of designing a framework for studying worldviews within the parameters of contemporary Islamic thought. It briefly reviews both selected western and Islamic stances on worldview studies. The literature reveals that research on this topic and its application to different spheres has become a topic of some interest to many intellectual circles, particularly in the western context. Hence, the possibility of forming an Islamic civilizational framework for an inquiry into people’s worldviews needs to be assessed. This article follows a textual analysis and inductive approach to analyze the prospects of formulating an Islamic framework for research on worldviews and its applications. It concludes that western scholars have made considerable efforts in treating people’s worldviews as a field of study, while Muslim scholars have not. In this respect, many western researchers have contributed to developing worldview studies as a separate field of inquiry, including the history of concept, subject matter, objectives, kinds, methods, and applications. Therefore, the need to enhance the Islamic input and research pertaining to this field by introducing an Islamic civilizational framework and approach of inquiry becomes apparent.


2021 ◽  
Vol 1828 (1) ◽  
pp. 012139
Author(s):  
Maricela Bravo ◽  
Arantza Aldea ◽  
Luis F. Hoyos-Reyes

2021 ◽  
Vol 178 (4) ◽  
pp. 315-346
Author(s):  
Domenico Cantone ◽  
Marianna Nicolosi-Asmundo ◽  
Daniele Francesco Santamaria

We present a KE-tableau-based implementation of a reasoner for a decidable fragment of (stratified) set theory expressing the description logic 𝒟ℒ〈4LQSR,×〉(D) (𝒟ℒD4,×, for short). Our application solves the main TBox and ABox reasoning problems for 𝒟ℒD4,×. In particular, it solves the consistency and the classification problems for 𝒟ℒD4,×-knowledge bases represented in set-theoretic terms, and a generalization of the Conjunctive Query Answering problem in which conjunctive queries with variables of three sorts are admitted. The reasoner, which extends and improves a previous version, is implemented in C++. It supports 𝒟ℒD4,×-knowledge bases serialized in the OWL/XML format and it admits also rules expressed in SWRL (Semantic Web Rule Language).


1991 ◽  
Vol 6 (4) ◽  
pp. 307-333 ◽  
Author(s):  
G. Kalkanis ◽  
G. V. Conroy

AbstractThis paper presents a survey of machine induction, studied mainly from the field of artificial intelligence, but also from the fields of pattern recognition and cognitive psychology. The paper consists of two parts: Part I discusses the basic principles and features of the machine induction process; Part II uses these principles and features to review and criticize the major supervised attribute-based induction methods. Attribute-based induction has been chosen because it is the most commonly used inductive approach in the development of expert systems and pattern recognition models.


Sign in / Sign up

Export Citation Format

Share Document