ProtegeTips

Protégé Tips

Version

Please use Version 4.1 (or a version using the OWL API) so that the format of the RDF is the same for all users and so that the Diff'ing tools work.

Tutorials (Protege OWL version)

• Pizzas

Importing terms from other namespaces/ontologies

1. Menu --> File --> Open from URL e.g. http://purl.org/dc/terms/ (or open a local, downloaded copy)
2. Menu --> Ontologies --> Show all ontologies
3. Now, when adding a term, you will be able to link to these new external terms, e.g. :hasLocation rdfs:range <http://purl.org/dc/terms/Location> .

Reasoning

You can test the structure of your classes and Individuals using the built in reasoner HermiT. See Protege 4 Getting Started. From that wiki: “To classify your ontology, open the Reasoner menu and select HermiT, which will automatically classify your ontology. After the reasoner finishes classifying, an additional sub tab appears on the Entites tab to show the inferred class hierarchy. Unsatisfiable classes appear in red under Nothing and everything else appears in the hierarchy under their inferred superclasses. The asserted class hierarchy is still available, stacked under the asserted one.”