Towards Large-scale Inconsistency Measurement

We investigate the problem of inconsistency measurement on large knowledge bases by considering stream-based inconsistency measurement, i.e., we investigate inconsistency measures that cannot consider a knowledge base as a whole but process it within a stream. For that, we present, first, a novel inconsistency measure that is apt to be applied to the streaming case and, second, stream-based approximations for the new and some existing inconsistency measures. We conduct an extensive empirical analysis on the behavior of these inconsistency measures on large knowledge bases, in terms of runtime, accuracy, and scalability. We conclude that for two of these measures, the approximation of the new inconsistency measure and an approximation of the contension inconsistency measure, large-scale inconsistency measurement is feasible.Comment: International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014). Proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), pages 63-70, technical report, ISSN 1430-3701, Leipzig University, 2014. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-15056

Dctnr Wrds Wtht Vwls

Despite the promise of the title, this article is not concerned with the intelligibility of dictionary words without vowels (that is, with the letters AEIOUY removed), but instead with that tiny group of words which contain no vowels at all. For the sake of completeness, we include a considerably larger group of words which appear vowelless, but in reality are not -- words which use the letters V or W to represent vowel sounds. On the other hand, we do not include two burgeoning classes of vowelless words quite familiar to the average reader -- abbreviations such as MR., MRS., or DR. which are pronounced as if the full word were present, and acronymic words such as TV, DDT, MPH or TNT, usually printed in capitals and invariably pronounced by spelling out the individual letters

The impact of new signals on precise marine navigation - initial results from an experiment in Harwich Harbour

The General Lighthouse Authorities of the United Kingdom and Ireland (GLAs) are supporting a project at University College London (UCL) to study whether it is possible to meet the International Maritime Organisation’s (IMO) future requirements for port and harbour approach using future GNSS constellations, as detailed in IMO resolution A.915. This paper presents the results of a trial focusing on the accuracy, integrity, availability and continuity of port navigation, port approach, and docking. Abstract The required accuracy for docking is 0.1 m (95\%), which currently necessitates the use of Real Time Kinematic (RTK) processing. We consider the single-epoch geometry-based approach, which is robust against loss of lock and will fully benefit from the additional satellites. The trial was held at the beginning of May 2008 and saw THV Alert navigate into Harwich Harbour while satellite observation data were recorded from the vessel and from shore-based reference stations. Additional data were obtained from nearby Ordnance Survey reference stations, and two total stations were used to track the vessel’s passage to provide a truth model. Several modernised GPS satellites were tracked. The data were processed under different scenarios, using software developed at UCL, and the positioning performance analysed. Abstract Providing integrity for single-epoch RTK is particularly difficult. The identification of phase observation outliers is not possible before the integer ambiguities are resolved, but an undetected outlier could prevent successful ambiguity resolution. However, it will not always be necessary to fix every ambiguity to achieve the required precision, particularly with a multi-GNSS constellation. This paper introduces a new algorithm for partial ambiguity resolution in the presence of measurement bias that has been developed and tested at UCL.  This algorithm results in an improved ambiguity resolution success rate at the expense of computation time

“The path of social justice”: A Human Rights History of Social Justice Education

Although not often recognized, social justice education in the U.S. is historically and philosophically tied to the twentieth century\u27s human rights initiatives. The efforts of human rights pioneers, such as those who authored the Universal Declaration of Human Rights, have indelibly shaped social justice efforts, including within education, in the U.S. Reframing social justice education in light of human rights gives clarity to and concretizes our work as social justice educators: It strengthens a vision of education as central to promoting rights and justice; it refocuses attention on a broader array of fundamental rights, and it explicitly contests our globalized and neoliberal context, a context heavily influencing educational reform

Locating self at the centre of learning: Theory, practice and the lived experience.

One o-going challenge for those teaching in higher education is to engage students in learning activities that are deemed meaningful and professionally relevant. Acknowledging this challenge, students in undergraduate and graduate papers at The University of Waikato have been introduced to using stories to analyse a range of satisfying and dissatisfying experiences. This process requires students to analyse and interpret the social construction of a lived experience through self and collective reflection of written memories. This paper comments on the process of having students connect between their everyday life and university study, provides a background to the memory-work methodology, and discusses how students can apply and respond to using this theoretical framework to acquire knowledge relevant to professional practice in the workplace