Author

Alan Rector

57 papers · 1983–2015

1983peak 6 in 20062015

Frequent co-authors

Papers

showing 1–25 of 57 RSS

The manchester OWL syntax

Matthew Horridge, Nick Drummond, John Goodwin +3 more

Artificial Intelligence · Research Explorer (The University of Manchester) · 2006 · cited 279× · OpenAlex ↗ · more like this ·

Abstract. This paper describes a new syntax that can be used to write OWL ontologies, and fragments of OWL ontologies for presentation and editing purposes. The syntax, which is known as the Manchester OWL Syntax, was developed in response to a demand from a wide range of users, who do not have a Description Logic background, for a“less logician like ” syntax. The Manchester OWL Syntax is derived from the OWL Abstract Syntax, but is less verbose and minimises the use of brackets. This means that it is quick and easy to read and write. The important features of the syntax are discussed, and a reference implementation of a Java based parser is described. 3 1

Web ontology segmentation

Julian Seidenberg, Alan Rector

Artificial Intelligence · 23 May 2006 · cited 254× · DOI ↗ · more like this ·

Ontologies are at the heart of the semantic web. They define the concepts and relationships that make global interoperability possible. However, as these ontologies grow in size they become more and more difficult to create, use, understand, maintain, transform and classify. We present and evaluate several algorithms for extracting relevant segments out of large description logic ontologies for the purposes of increasing tractability for both humans and computers. The segments are not mere fragments, but stand alone as ontologies in their own right. This technique takes advantage of the detailed semantics captured within an OWL ontology to produce highly relevant segments. The research was evaluated using the GALEN ontology of medical terms and procedures.

Modularisation of domain ontologies implemented in description logics and related formalisms including OWL

Alan Rector

Artificial Intelligence · 23 Oct 2003 · cited 238× · DOI ↗ · more like this ·

Modularity is a key requirement for large ontologies in order to achieve re-use, maintainability, and evolution. Mechanisms for 'normalisation' to achieve analogous aims are standard for databases. However, no similar notion of normalisation has yet emerged for ontologies. This paper proposes initial criteria for a two-step normalisation of ontologies implemented using OWL or related DL based formalisms. For the first - "ontological normalisation" - we accept Welty and Guarino's analysis. For the second - "implementation normalisation" - we propose an approach based on decomposing ("untangling") the ontology into independent disjoint skeleton taxonomies restricted to be simple trees, which can then be recombined using definitions and axioms to represent the relationships between them explicitly.

Editing Description Logic Ontologies with the Protégé OWL Plugin.

Holger Knublauch, Mark A. Musen, Alan Rector

Artificial Intelligence · Description Logics · 2004 · cited 118× · OpenAlex ↗ · more like this ·

The growing interest in the Semantic Web and the Web Ontology Language (OWL) will reveal the potential of Description Logics in industrial projects. The rich semantics of OWL provide powerful reasoning capabilities that help build, maintain and query domain models for many purposes. However, before OWL can unfold its full potential, user-friendly tools with a scalable architecture are required. We present the OWL Plugin, an extension of the Protégé ontology development environment, which can be used to define classes and properties, to edit logical class expressions, to invoke reasoners, and to link ontologies into the Semantic Web. We analyze some of the challenges for developers of Description Logic editors, and discuss some of our user interface design decisions.

Experience building a Large, Re-usable Medical Ontology using a Description Logic with Transitivity and Concept Inclusions

Alan Rector, Ian Horrocks

Artificial Intelligence · 1997 · cited 108× · OpenAlex ↗ · more like this ·

The European GALEN project is developing terminology services based on a large, re-usable medical ontology. The ontology is being built using GRAIL, a description logic with transitivity and general concept inclusions. Introduction The GALEN Project and GRAIL Language GALEN is a European Union funded programme developing terminology services based on a Common Reference Model for medical terminology. It is seen as a key element in an overall architecture for integrating clinical information systems (Rector et al. 1995). The project is currently in its second phase, GALENIN -USE, which is developing terminologies for medical procedures in cooperation with the European Federation of Classification Centres and demonstrating the GALEN technology in data entry and natural language modules for commercial clinical systems. The current basic model contains roughly 8,000 concepts; extensions for…

A Framework for Modelling the Electronic Medical Record

W. A. Nowlan, Stephen Kay, Carole Goble +2 more

Artificial Intelligence · Methods of Information in Medicine · 1993 · cited 84× · DOI ↗ · more like this ·

This paper presents a model for an electronic medical record which satisfies the requirements for a faithful and structured record of patient care set out in a previous paper in this series. The model underlies the PEN & PAD clinical workstation, and it provides for a permanent, completely attributable record of patient care and the process of medical decision making. The model separates the record into two levels: direct observations of the patient and meta-statements about the use of observations in decision making and the clinical dialogue. The model is presented in terms of "descriptions" formulated in the Structured Meta Knowledge (SMK) formalism, but many of its features are more general than the specific implementation. The use of electronic medical records based on the model for decision support and the analysis of aggregated data are discussed along with potential use of the…

Why Do It the Hard Way? The Case for an Expressive Description Logic for SNOMED

Alan Rector, Sebastian Brandt

Artificial Intelligence · Journal of the American Medical Informatics Association · 28 Aug 2008 · cited 71× · DOI ↗ · more like this ·

There has been major progress both in description logics and ontology design since SNOMED was originally developed. The emergence of the standard Web Ontology language in its latest revision, OWL 1.1 is leading to a rapid proliferation of tools. Combined with the increase in computing power in the past two decades, these developments mean that many of the restrictions that limited SNOMED's original formulation no longer need apply. We argue that many of the difficulties identified in SNOMED could be more easily dealt with using a more expressive language than that in which SNOMED was originally, and still is, formulated. The use of a more expressive language would bring major benefits including a uniform structure for context and negation. The result would be easier to use and would simplify developing software and formulating queries.

Putting OWL in order: Patterns for sequences in OWL

Nick Drummond, Alan Rector, Robert Stevens +4 more

Artificial Intelligence · Research Explorer (The University of Manchester) · 2006 · cited 68× · OpenAlex ↗ · more like this ·

ABSTRACT: Sequences are a natural part of the world to be modeled in ontologies. Yet the Web Ontology Language, OWL, contains no specific built in support for sequences or ordering. It does, however, have constructs that can be used to model many aspects of sequences, albeit imperfectly. This paper demonstrates two design patterns for modeling order using existing OWL-DL constructs. These constructs allow us to use standard DL reasoning to perform pattern matching akin to regular expression matching. Reasoning with standard DL reasoners works surprisingly well, but more efficient methods are almost certainly possible. The point of this paper is that formulating sequences in OWL-DL brings real benefits to users by allowing them to work at a higher level of abstraction than raw sequences and to deal with situations in which the details of the sequences are under specified.

Reconciling users' needs and formal requirements: issues in developing a reusable ontology for medicine

Alan Rector, Pieter E. Zanstra, W D Solomon +9 more

Artificial Intelligence · IEEE Transactions on Information Technology in Biomedicine · 1998 · cited 57× · DOI ↗ · more like this ·

A common language, or terminology, for representing what clinicians have said and done is an important requirement for individual clinical systems, and it is a pre-requisite for integrating disparate applications in a distributed telematic healthcare environment. Formal representations based on description logics or closely related formalisms are increasingly used for representing medical terminologies. GALEN's experience in using one such formalism raises two major issues, as follows: how to make ontologies based on description logics easy to use and understand for both clinicians and applications developers; what features are required of the ontology and description logic if they are to achieve their aims. Based on our experience we put forward four contentions: two relating to each of these two issues, as follows: that natural language generation is essential to make a description…

The Protege OWL Experience.

Holger Knublauch, Matthew Horridge, Mark A. Musen +7 more

Artificial Intelligence · OWL: Experiences and Directions · 2005 · cited 52× · OpenAlex ↗ · more like this ·

Abstract. Protégé is one of the most widely used development platforms for ontology-based systems. We report on our experiences with the development of OWL support for Protégé, and on the experiences of our user community with OWL. While the overall feedback from the community has been positive, our experience suggests that there are considerable gaps between the user requirements, the expressivity of OWL, and users ’ understanding of OWL. In this document we walk through a selection of these issues and suggest directions for future work and standardization efforts. 1

The interface between information, terminology, and inference models.

Alan Rector

Artificial Intelligence · PubMed · 2001 · cited 48× · OpenAlex ↗ · more like this ·

The interface between information, terminology, and inference (problem solving) models is now a central issue for the development of standards and of principled information systems. There is potential overlap amongst the models, and principled means are required to choose how to allocate information items amongst them. Any given set of choices implies mutual constraints and obligations amongst the models which together form a well defined interface allowing work on each to proceed independently of the other. This paper outlines the criteria for these choices and a possible notation for recording these choices and their consequences.

Untangling taxonomies and relationships

Alan Rector, Chris Wroe, Jeremy Rogers +1 more

Artificial Intelligence · 22 Oct 2001 · cited 39× · DOI ↗ · more like this ·

The GALEN programme has been developing medical ontologies collaboratively for nearly a decade. The ontologies are large and formulated in a specialised description logic, GRAIL. The programme is a broad collaboration of over a dozen groups, most with no prior experience of developing formal ontologies. The programme has developed a methodology for loosely coupled development using layers of intermediate representations, guidelines and tools which minimises training requirements for domain experts and effort by central knowledge engineers. Issues arise both from problems in formal representations and from the idiosyncrasies of the medical domain. Issues dealt with include 'tangled' taxonomies, part-whole and locative relationships, defaults and exceptions, semantic normalisation, and the difference between medical convention and strict logical criteria for correctness.

Frames and OWL Side by Side

Hai Wang, Natasha Noy, Alan Rector +8 more

Artificial Intelligence · 2006 · cited 38× · DOI ↗ · more like this ·

Ready availability of firearms is associated with an increased risk of suicide in the home. Owners of firearms should weigh their reasons for keeping a gun in the home against the possibility that it might someday be used in a suicide.

A Description Logic Based Schema for the Classification of Medical Data

Ian Horrocks, Alan Rector, Carole Goble +4 more

Artificial Intelligence · Research Explorer (The University of Manchester) · 1996 · cited 37× · DOI ↗ · more like this ·

1. In this pilot study, the authors investigated the hypotheses there are increased concentrations of lactate in brain and plasma and reduced brain concentrations of N-acetyl-aspartate (NAA) in autistic children. 2. NAA and lactate levels in the frontal lobe, temporal lobe and the cerebellum of 9 autistic children were compared to 5 sibling controls using MRS. Plasma lactate levels were measured in 15 autistic children compared to 15 children with epilepsy. 3. Preliminary results show lower levels of NAA cerebellum in autistic children (p = 0.043). Lactate was detected in the frontal lobe in one autistic boy, but was not detected any of the other autistic subjects or siblings. 4. Plasma lactate levels were higher in the 15 autistic children compared to 15 children with epilepsy (p = 0.0003). 5. Higher plasma lactate in the autistic group is consistent with metabolic changes in some…

A reference terminology for drugs.

W D Solomon, Chris Wroe, Alan Rector +3 more

Artificial Intelligence · PubMed · 1999 · cited 29× · OpenAlex ↗ · more like this ·

GALEN technology for re-usable terminologies using formal classification is being applied to the creation and maintenance of a reference terminology for drugs. GALEN's techniques are being used to address specific deficiencies of existing drug classifications that make it difficult to create and maintain guidelines to support prescribing in the care of patients with chronic diseases. The reference terminology is in two parts; firstly, a re-usable and automatically-classified 'ontology' is built with GALEN technology; this describes generic drugs, their composition in terms of chemicals and chemical classes, their actions, indications and interactions. Secondly, a 'dictionary' of prescribable proprietary products is integrated with this ontology. The result is a drug resource designed to support both the traditional uses of a drug knowledge base (e.g. prescribing and messaging), and the…

From terminology to terminology services.

W. A. Nowlan, Alan Rector, T W Rush +1 more

Artificial Intelligence · PubMed · 1994 · cited 21× · OpenAlex ↗ · more like this ·

Terminologies have traditionally been considered as static datasets held in books or databases. The GALEN Terminology Server presents a prototype for a new view of terminologies delivered as a set of functions and services provided to other applications. This facilitates their development and integration as part of a strategy for sharing and re-using information and knowledge. The essential features of the Terminology server are the functions which it can perform; questions which it can answer and statements which it can be told. The GALEN Terminology Server supports these operations through a modular architecture and uniform applications programming interface which allows client applications to ignore the internal structure and simply use the Server for terminological, coding, and linguistic functions.

A descriptive semantic formalism for medicine

Carole Goble, Andrzej Glowinski, W. A. Nowlan +1 more

Artificial Intelligence · Research Explorer (The University of Manchester) · 30 Dec 2002 · cited 18× · DOI ↗ · more like this ·

It is argued that current clinical information systems incorporate oversimplistic, prescriptive data models that are not faithful to clinicians' observations. A non-prescriptive descriptive semantic formalism, Structured Meta Knowledge (SMK), which unifies a terminological knowledge base with controlled assertional capabilities with the medical record and supports the semantic control necessitated by such an approach, is proposed. The three-layer model of categories, individuals, and occurrences described is more appropriate to medical applications than the two layers of classes and instances. The application of SMK in predictive data entry is considered.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>

Terminologies and terminology servers for information environments

Sean Bechhofer, Carole Goble, Alan Rector +2 more

Artificial Intelligence · Research Explorer (The University of Manchester) · 22 Nov 2002 · cited 18× · DOI ↗ · more like this ·

Terminologies, or constrained vocabularies, are a potentially rich means of representing the metadata required for applications that have partially structured and incomplete dynamic data to describe, and exploratory and inexact queries to express. Such applications include digital libraries and multimedia repositories and software management; specific application communities include medicine and art. The authors propose that terminologies are ideal for meeting today's information requirements and that a dynamic terminology service is the appropriate architectural approach. They present the requirements of a terminology server, and describe the implementation and practical use of one developed by the authors that uses a description logic, GRAIL, to represent the terms. The terminology server has been extensively used in applications relating to medicine and is being used in the…

Models and Inference Methods for Clinical Systems: A Principled Approach

Alan Rector, Jeremy Rogers, Adel Taweel

Artificial Intelligence · Studies in health technology and informatics · 2004 · cited 16× · DOI ↗ · more like this ·

Previous papers have argued for the existence of three different models in many clinical information systems--for the medical record, for inference in guidelines, and for concepts and re-usable facts. This paper presents a principled approach to deciding which information belongs in each model based on the nature of the queries or inference to be performed: necessary or contingent, open or closed world, algorithmic vs heuristic. It then discusses an important class of systems--"ontologically indexed knowledge bases"--and issues of metadata within this framework.

User centered development of a general practice medical workstation

Alan Rector, Bernard Horan, M. Fitter +5 more

Human-Computer Interaction · 1992 · cited 16× · DOI ↗ · more like this ·

The goal of the PEN&PAD project is to design and develop a useful and usable medical workstation for day–to–day use in patient care. The project has adopted a user centred approach and direct observations of doctors, participative design and Formative Evaluation have therefore been an integral part of the process of software development. Indeed, doctors have been involved from the earliest stages of the project. The project has focussed on British General Practitioners, but the methods which have been evolved are general. This paper describes the strategy by which doctors can be involved in the successful design and development of a medical workstation.

Editing OWL through generated CNL

Richard Power, Robert Stevens, Donia Scott +1 more

Artificial Intelligence · Research Explorer (The University of Manchester) · 2009 · cited 14× · OpenAlex ↗ · more like this ·

Abstract. Traditionally, Controlled Natural Languages (CNLs) are de-signed either to avoid ambiguity for human readers, or to facilitate auto-matic semantic analysis, so that texts can be transcoded to a knowledge representation language. CNLs of the second kind have recently been adapted to the requirements of knowledge formation in OWL for the Semantic Web. We suggest in this paper a variant approach based on automatic generation of texts in CNL (as opposed to automatic analy-sis), and argue that this provides the best of both worlds, allowing us to pursue human readability in addition to a precise mapping from texts to a formal language. 1

A linkable identity privacy algorithm for HealthGrid.

Ning Zhang, Alan Rector, Iain Buchan +7 more

Artificial Intelligence · PubMed · 2005 · cited 14× · OpenAlex ↗ · more like this ·

The issues of confidentiality and privacy have become increasingly important as Grid technology is being adopted in public sectors such as healthcare. This paper discusses the importance of protecting the confidentiality and privacy of patient health/medical records, and the challenges exhibited in enforcing this protection in a Grid environment. It proposes a novel algorithm to allow traceable/linkable identity privacy in dealing with de-identified medical records. Using the algorithm, de-identified health records associated to the same patient but generated by different healthcare providers are given different pseudonyms. However, these pseudonymised records of the same patient can still be linked by a trusted entity such as the NHS trust or HealthGrid manager. The paper has also recommended a security architecture that integrates the proposed algorithm with other data security…

Designing User interfaces to Minimise Common Errors in Ontology Development: The CO-ODE and HyOntUse Projects

Alan Rector, Nick Drummond, Matthew Horridge +5 more

Artificial Intelligence · 2004 · cited 12× · OpenAlex ↗ · more like this ·

Understanding and using OWL can be difficult. Until recently, the difficulty was made, if anything, greater by user interfaces which were designed more to demonstrate OWL than to fit users requirements. The new interfaces being developed in the Protégé-OWL/CO-ODE/HyOntUse projects are based, to a large extent, on experience in tutorials, workshops, and practical development with users. They are designed to avoid the most common errors and pitfalls and make debugging easier and quicker. At the same time, they have proved to streamline many operations so as to make development much faster and easier for experienced ontology engineers. 1.

Unlocking Medical Ontologies for Non-Ontology Experts

Shao Fen Liang, Donia Scott, Robert Stevens +1 more

Artificial Intelligence · Research Explorer (The University of Manchester) · 23 Jun 2011 · cited 11× · OpenAlex ↗ · more like this ·

Ontology authoring is a specialised task requiring amongst other things a deep knowledge of the ontology language being used. Understanding and reusing ontologies can thus be difficult for domain experts, who tend not to be ontology experts. To address this problem, we have developed a Natural Language Generation system for transforming the axioms that form the definitions of ontology classes into Natural Language paragraphs. Our method relies on deploying ontology axioms into a top-level Rhetorical Structure Theory schema. Axioms are ordered and structured with specific rhetorical relations under rhetorical structure trees. We describe here an implementation that focuses on a sub-module of SNOMED CT. With some refinements on articles and layout, the resulting paragraphs are fluent and coherent, offering a way for subject specialists to understand an ontology’s content without need to…

A methodology for asynchronous multi-user editing of semantic web ontologies

Julian Seidenberg, Alan Rector

Artificial Intelligence · 28 Oct 2007 · cited 11× · DOI ↗ · more like this ·

Current tools, techniques and methodologies for multi-user editing of semantic web ontologies are inadequate. The vast majority of ontologies are maintained by single individuals. However, single user access is increasingly becoming a bottleneck as these ontologies grow in size. We therefore suggest a technique and for locking segments of description logic ontologies for multi-user editing. This technique fits into a methodology for ontology editing in which multiple ontology engineers concurrently lock, extract, modify, error-check and re-merge individual segments of a large ontology. The technique aims to provide a pragmatic compromise between a very restrictive approach that might offer complete error protection but make useful multi-user interactions impossible and a wide-open anything-goes editing paradigm which offers little to no protection.