On thit page it a collection of four memorandaJwhich have been of motor] importance in Psychology Professor Caroline Waterman's struggle to receive tenure. The ftnt memo we have published it a "tetter" of transmittal" or departmental recommendation, which was written by Psychology Department Chairman Richard Teevan and present*' his reasons for recommending that Waterman be deniea tenure. The l...

Ontologies are widely used in text technology and artificial intelligence. The need to develop large ontologies for real-life applications provokes researchers to automate ontology extension procedures. Automatic updates without the control of a human expert can generate potential conflicts between original and new knowledge. As a consequence the resulting ontology can yield inconsistencies. We...

The development of intelligent systems based on structured representation of knowledge that are capable of exhibiting human-like reasoning is a key goal of artificial intelligence in general and the field of knowledge representation research in particular. Advances in the latter have given rise to various formalisms motivated by different application domains. The most prominent families of such...

Changing a consistent ontology may turn the ontology into an inconsistent state. It is the task of an approach supporting ontology evolution to ensure an ontology evolves from one consistent state into another consistent state. In this paper, we focus on checking consistency of OWL DL ontologies. While existing reasoners allow detecting inconsistencies, determining why the ontology is inconsist...

The human visual system is adept at detecting and encoding statistical regularities in its spatiotemporal environment. Here, we report an unexpected failure of this ability in the context of perceiving inconsistencies in illumination distributions across a scene. Prior work with arrays of objects all having uniform reflectance has shown that one inconsistently illuminated target can 'pop out' a...

Large terminologies tend to contain many inconsistencies on different linguistic levels. Mostly the multilingual inconsistencies are discussed for translation means, but monolingual inconsistencies introducing different variants of the same term cause already a large amount of problems during manual or automatic use of the terminology. The present article concentrates on monolingual inconsisten...

The paper presents a simple method and software implementation for checking inconsistencies in UML design and the general method of UML design verification using its own model and first order predicate logic to specify relations between components of the design. Unlike various existing methods the proposed ones are focused mostly on cross-diagram inconsistencies and strong adhering to object-or...

Some inconsistencies in the passive pharmacokinetics has been observed many years ago. It is possible these inconsistencies result from the lack of proper evolution equations. In this communication, this possibility is illustrated on the example of an evolution equation for an one compartment model. .

In recent years, increasing e ort has gone into evaluating computer vision algorithms in general, and edge detection algorithms in particular. Most of the evaluation techniques use only a few test images, leaving open the question of how broadly their results can be interpreted. Our research tests the consistency of the receiver operating characteristic (ROC) curve, and demonstrates why consist...

Data warehouses (DWs) can become inconsistent when some dimensional constraints are not satisfied by the dimension instances. In this paper, we present preliminary results about the effects of the violation of partitioning constraints in homogeneous dimension instances over aggregation queries, and in particular over the summarizability property (SUMM) of the DWs. We are interested in finding w...