scholarly journals A Short Survey on Inconsistency Handling in Ontology-Mediated Query Answering

2020 ◽  
Vol 34 (4) ◽  
pp. 443-451 ◽  
Author(s):  
Meghyn Bienvenu
Keyword(s):  
Query Answering ◽  
Inconsistency Handling ◽  
Short Survey

Unexpectedness

2019 ◽  
Vol 6 (1) ◽  
Author(s):  
John-Carlos Perea ◽  
Jacob E. Perea
Keyword(s):  
American Indian ◽  
San Francisco ◽  
Interdisciplinary Research ◽  
Ethnic Studies ◽  
College Of Education ◽  
Present Moment ◽  
State University ◽  
Research Projects ◽  
Short Survey ◽  
Wide Range

The concepts of expectation, anomaly, and unexpectedness that Philip J. Deloria developed in Indians in Unexpected Places (2004) have shaped a wide range of interdisciplinary research projects. In the process, those terms have changed the ways it is possible to think about American Indian representation, cosmopolitanism, and agency. This article revisits my own work in this area and provides a short survey of related scholarship in order to reassess the concept of unexpectedness in the present moment and to consider the ways my deployment of it might change in order to better meet the needs of my students. To begin a process of engaging intergenerational perspectives on this subject, the article concludes with an interview with Dr. Jacob E. Perea, dean emeritus of the Graduate College of Education at San Francisco State University and a veteran of the 1969 student strikes that founded the College of Ethnic Studies at San Francisco State University.

A Short Survey of Image Super Resolution Algorithms

2015 ◽  
Vol 2 (2) ◽  
pp. 19-29 ◽  
Author(s):  
Heng Liu ◽  
◽  
Dongdong Huang
Keyword(s):  
Super Resolution ◽  
Short Survey ◽  
Image Super Resolution

Computing Cores for Existential Rules with the Standard Chase and ASP

2020 ◽  
Author(s):  
Markus Krötzsch
Keyword(s):  
Large Class ◽  
Data Exchange ◽  
Answer Set Programming ◽  
Query Answering ◽  
Universal Model ◽  
The Core ◽  
Universal Models ◽  
General Terms ◽  
Special Cases ◽  
The Many

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.

A Short Survey of Sexual Offenders in Kingston Penitentiary

1963 ◽  
Vol 5 (3) ◽  
pp. 176-179
Author(s):  
J. W. Mohr
Keyword(s):  
Sexual Offenders ◽  
Short Survey

A Short Survey of Yemeni Sufism from Its Inception up to the Thirteenth Century

2009 ◽  
Vol 26 (1) ◽  
pp. 1-19
Author(s):  
Muhammad Aziz
Keyword(s):  
Cultural History ◽  
Thirteenth Century ◽  
Twelfth Century ◽  
Ninth Century ◽  
Mountainous Area ◽  
Economic Activities ◽  
Short Survey ◽  
The Status ◽  
The Subject ◽  
Intellectual Activities

This paper analyzes the historical conditions of Yemen’s Sufi movement from the beginning of Islam up to the rise of the Rasulid dynasty in the thirteenth century. This is a very difficult task, given the lack of adequate sources and sufficient academic attention in both the East and theWest. Certainly, a few sentences about the subject can be found scattered in Sufi literature at large, but a respectable study of the period’s mysticism can hardly be found.1 Thus, I will focus on the major authorities who first contributed to the ascetic movement’s development, discuss why a major decline of intellectual activities occurred in many metropolises, and if the existing ascetic conditions were transformed into mystical tendencies during the ninth century due to the alleged impact ofDhu’n-Nun al-Misri (d. 860). This is followed by a brief discussion ofwhat contributed to the revival of the country’s intellectual and economic activities. After that, I will attempt to portray the status of the major ascetics and prominent mystics credited with spreading and diffusing the so-called Islamic saintly miracles (karamat). The trademark of both ascetics and mystics across the centuries, this feature became more prevalent fromthe beginning of the twelfth century onward. I will conclude with a brief note on the most three celebrated figures of Yemen’s religious and cultural history: Abu al-Ghayth ibn Jamil (d. 1253) and his rival Ahmad ibn `Alwan (d. 1266) from the mountainous area, andMuhammad ibn `Ali al-`Alawi, known as al-Faqih al-Muqaddam (d. 1256), from Hadramawt.

Incorporating Drama into EFL Oral Presentations

2016 ◽  
Vol 5 (1) ◽  
pp. 23-37
Author(s):  
James Carpenter
Keyword(s):  
Foreign Language ◽  
Oral Presentation ◽  
Project Based Learning ◽  
Short Survey ◽  
Oral Presentations

Oral presentations are common in many English as a foreign language (EFL) classes. Because oral presentations entail multiple steps, they are ideal for project-based learning courses. Yet, it can be challenging for students to meaningfully collaborate on oral presentation projects using English. The use of drama in oral presentations allows students to explore more complex topics without being overwhelmed. A short survey of the literature related to oral presentations and project-based learning in EFL is presented in this article. Then, the basic discourse for oral presentations in English is discussed, followed by an expanded discussion about how drama can simplify this discourse for students. Finally, two examples of student presentations are presented.

An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆

2021 ◽  
Vol 178 (4) ◽  
pp. 315-346
Author(s):  
Domenico Cantone ◽  
Marianna Nicolosi-Asmundo ◽  
Daniele Francesco Santamaria
Keyword(s):  
Semantic Web ◽  
Set Theory ◽  
Description Logic ◽  
Knowledge Bases ◽  
Query Answering ◽  
Conjunctive Query ◽  
Classification Problems ◽  
Previous Version ◽  
Decidable Fragment ◽  
Stratified Set

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).

Sign in / Sign up

Export Citation Format

Share Document