The knowledge-based software assistant

Where the Knowledge Based Software Assistant (KBSA) is now, four years after the initial report, is discussed. Also described is what the Rome Air Development Center expects at the end of the first contract iteration. What the second and third contract iterations will look like are characterized

Knowledge Representation with Ontologies: The Present and Future

Recently, we have seen an explosion of interest in ontologies as artifacts to represent human knowledge and as critical components in knowledge management, the semantic Web, business-to-business applications, and several other application areas. Various research communities commonly assume that ontologies are the appropriate modeling structure for representing knowledge. However, little discussion has occurred regarding the actual range of knowledge an ontology can successfully represent

An ethnography of a neighbourhood café: informality, table arrangements and background noise

Café society is something that many of us as customers and/or social theorists take for granted. Cafés are places where we are not simply served hot beverages but are also in some way partaking of a specific form of public life. It is this latter aspect that has attracted the attention of social theorists, especially Jürgen Habermas, and leads them to locate the café as a key place in the development of modernity. Our approach to cafés is to ‘turn the tables’ on theories of the public sphere and return to just what the life of a particular café consists of, and in so doing re-specify a selection of topics related to public spaces. The particular topics we deal with in a ‘worldly manner’ are the socio-material organisation of space, informality and rule following. In as much as we are able we have drawn on an ethnomethodological way of doing and analysing our ethnographic studies

Specifying Logic Programs in Controlled Natural Language

Writing specifications for computer programs is not easy since one has to take into account the disparate conceptual worlds of the application domain and of software development. To bridge this conceptual gap we propose controlled natural language as a declarative and application-specific specification language. Controlled natural language is a subset of natural language that can be accurately and efficiently processed by a computer, but is expressive enough to allow natural usage by non-specialists. Specifications in controlled natural language are automatically translated into Prolog clauses, hence become formal and executable. The translation uses a definite clause grammar (DCG) enhanced by feature structures. Inter-text references of the specification, e.g. anaphora, are resolved with the help of discourse representation theory (DRT). The generated Prolog clauses are added to a knowledge base. We have implemented a prototypical specification system that successfully processes the specification of a simple automated teller machine.Comment: 16 pages, compressed, uuencoded Postscript, published in Proceedings CLNLP 95, COMPULOGNET/ELSNET/EAGLES Workshop on Computational Logic for Natural Language Processing, Edinburgh, April 3-5, 199

Tax fraud and the rule of law

This article presents a new conceptual framework for research into tax fraud. Informed by research approaches from across tax law, public economics, criminology, criminal justice, and regulatory theory, its proposed analytical framework assesses the effectiveness, and the legitimacy, of current approaches to combating tax fraud. The last decade has witnessed significant intensification of antitax fraud policy within Europe, with an upsurge in both legislative and administrative measures that purportedly target tax fraud. Using VAT as a case study, it is argued that these measures display a fundamental misunderstanding of the phenomenon of tax fraud, and in particular of the various costs it carries, by concentrating upon combating the revenue costs of fraud, rather than the fraud itself. Whilst measures deployed to combat revenue costs, and those deployed to combat the tax fraud, will often coincide, this will not always be the case. In those cases where they do not coincide prevalence is consistently given to enforcement measures addressing revenue costs, rather than combating the fraud itself, even where the effect is to aggravate other costs of tax fraud, such as distortions to competition, or tax inequity, or to create an incentive to future non-compliance. A concentration solely upon the revenue costs of fraud can no longer be regarded as either deterrent or punishment, but merely as a compensatory mechanism for the lost revenue. These developments in anti-tax fraud policy demonstrate a significant shift –one that appears to be motivated by public finance concerns– from tax fraud suppression to tax fraud management. The article concludes that this shift not only undermines tax equity and overall tax compliance, but may also lead to selective tax enforcement, thus representing a significant risk to the rule of law

New Kids on the Net. Deutschsprachige Philosophie elektronisch\ud

Mailing lists tend to be shaped by core groups of dedicated participants, developing their interests and opinions in front of a predominantly receptive audience of subscribers. A new kind of communicative praxis is established on top of some guidelines on how computers should exchange data: participation in quasi-instantaneous, globally distributed, non-hierarchical discursive interchange. Computer networks, as is well known, are not confined by any historical or geographical borders. As a consequence, the cultural impact of the technical devices seems to affect arbitrary collections of users availing themselves of the necessary equipment and know-how. One of the most dazzling experiences of communication on the net, it has correctly been pointed\ud out, is its global egalitarianism. While it is true that large parts of the planet are still excluded and the predominance of the English language imposes important\ud constraints on the participants, it is difficult to avoid an initial euphoria, a cosmopolitan state of mind, as one becomes familiar with a machinery that can support spatially unlimited cooperation between equals with a minimum of\ud administrative overhead

Generating natural language specifications from UML class diagrams

Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been developed to aid the transition from informal Natural Language requirements to semistructured or formal specifications. Furthermore, consistency checking is seen by many software engineers as the solution to reduce the number of errors occurring during the software development life cycle and allow early verification and validation of software systems. However, this is confined to the models developed during analysis and design and fails to include the early Natural Language requirements. This excludes proper user involvement and creates a gap between the original requirements and the updated and modified models and implementations of the system. To improve this process, we propose a system that generates Natural Language specifications from UML class diagrams. We first investigate the variation of the input language used in naming the components of a class diagram based on the study of a large number of examples from the literature and then develop rules for removing ambiguities in the subset of Natural Language used within UML. We use WordNet,a linguistic ontology, to disambiguate the lexical structures of the UML string names and generate semantically sound sentences. Our system is developed in Java and is tested on an independent though academic case study