- A Mediator-Based Infrastructure for Virtual Organisations Alun Preece
- OntoManager: A Workbench Environment to facilitate Ontology Management and Interoperability
- The KRAFT Architecture for Knowledge Fusion and Transformation
- Evaluation of Verification Tools for Knowledge-Based Systems
- Veri cation and Validation of Knowledge-Based Systems with Formal Speci cations
- Agent-based formation of virtual organisations Timothy J. Normana,*, Alun Preecea
- Validation of Knowledge-Based Systems: Current trends and issues
- Better Knowledge Management Through Knowledge Engineering
- Extending SWRL to Express Fully-Quantified Constraints
- BT Technol J Vol 17 No 4 October 1999 A knowledge processing system for data service network
- Supporting Virtual Organisations through Knowledge Fusion Alun Preece
- Validation of Knowledge-Based Systems: The State-of-the-Art in North America
- Foundation and Application of Knowledge Base Veri cation
- Detecting Mismatches among Experts' Ontologies acquired through
- International Journal of Cooperative Information Systems Vol. 10, Nos. 1 & 2 (2001) 171195
- Learning Meta-Descriptions of the FOAF Network Gunnar AAstrand Grimnes, Pete Edwards, and Alun Preece
- Learning from Semantic Flora & Fauna Gunnar AAstrand Grimnes, Pete Edwards and Alun Preece
- Commitment Management Through Constraint Reification Stuart Chalmers Alun Preece Timothy J. Norman Peter M.D. Gray
- GraniteNights -A Multi-Agent Visit Scheduler Utilising Semantic Web Technology
- Experience in using RDF in Agent-mediated Knowledge Architectures Kit Hui, Stuart Chalmers, Peter Gray, Alun Preece
- JANUARY/FEBRUARY 2002 1094-7167/02/$17.00 2002 IEEE 15 G u e s t E d i t o r s ' I n t r o d u c t i o n
- Facilitator trainfind.com
- An Expressive Constraint Language for Semantic Web Applications Peter Gray, Kit Hui, Alun Preece
- KRAFT: Supporting Virtual Organisations through Knowledge Fusion Alun Preece, Kit Hui & Peter Gray
- Building the Right System Right Evaluating V&V Methods in Knowledge Engineering
- AUCS/TR9803 Reusable Components for
- KRAFT: Knowledge Fusion from Distributed Databases and Knowledge Bases P M D Grayy
- Int. J. HumanComputer Studies (1996) 44, 145169 Validating dynamic properties of rule-based systems
- Assessing the Role of Formal Specifications in Verification and Validation of Knowledge-
- The Development, Validation and Implementation of Knowledge-Based Systems
- Int. J. HumanComputer Studies (1996) 44, 123125 Editorial: special issue on verification and validation
- Ontology Reconciliation Adil Hameed, Alun Preece, and Derek Sleeman
- Designing for Scalabilty in a Knowledge Fusion System
- Supporting Collaboration through Semantic-based Workflow and Constraint Solving
