We present the method developed for migrating the Foundational Model of Anatomy (FMA) from its representation with frames in Protégé to its logical representation in OWL and our experience in reasoning with it. Despite the extensive use of metaclasses in Protégé, it proved possible to convert the FMA from Protégé into OWL DL, while capturing most of its original features. The conversion relies ...

An important step in building guideline-based clinical care systems is encoding guidelines. Protégé-2000, developed in our laboratory, is a general-purpose knowledge-acquisition tool that facilitates domain experts and developers to record, browse and maintain domain knowledge in knowledge bases. In this poster we illustrate a knowledge-acquisition wizard that we built around Protégé-2000. The ...

Résumé : Dans le cadre de recherches menées sur l’indexation sémantique, nous avons été conduits à nous interroger sur l’efficacité générale des modèles actuels de représentation des terminologies au sein des ontologies. Après avoir évoqué leurs limites actuelles, nous proposons un nouveau modèle pour manipuler une ressource termino-ontologique en OWL et nous en décrivons son implémentation pro...

We develop a reasoning broker framework for the combined use of existing OWL reasoners assisted by means for caching of results, scheduling of reasoning tasks and online-selection of appropriate reasoners. Here we present an integration of the first version of this reasoning broker framework into the Protégé ontology engineering environment. This allows for a controlled use of various reasoners...

Ontologies are gaining a lot of interest and many are being developed to provide a variety of knowledge services. There is an increasing need for tools to graphically and interactively visualise such modelling structures to enhance their clarification, verification and analysis. Protégé 2000 is one of the most popular ontology modelling tools currently available. This paper introduces TGVizTab;...

Ontologies are gaining a lot of interest and many are being developed to provide a variety of knowledge services. There is an increasing need for tools to graphically and interactively visualise such modelling structures to enhance their clarification, verification and analysis. Protégé 2000 is one of the most popular ontology modelling tools currently available. This paper introduces TGVizTab;...

A goal of second-generation expert systems is to supply knowledge engineers with common frameworks to develop expert systems, thus, eliminating the need to build entirely new systems for each application. A mechanism is a unit of problem-solving knowledge from which such a framework can be developed. We define what a mechanism is and how it can be engineered to compose models of problem solving...

OntoVerbal attempts to reduce the difficulties that non-ontology experts face in ‘reading’ ontologies, and the burden that ontology authors face in writing natural language definitions of classes. It does this by verbalising (i.e., automatically generating as natural language) the axioms of OWL classes. Its method relies on presenting, through the use of natural language generation (NLG), natur...

This poster and demo presents new OWL ontology explanation tools and facilities that are available in Protégé 4. These explanations take the form of justifications. A justification is a minimal set of axioms that is sufficient for a given entailment to hold. Justification finding services for Protégé 4 are presented, including what have become defacto explanation services such as root/derived p...