Group items tagged

The Protégé Axiom Language (PAL) extends the Protégé-2000 knowledge modeling environment with support for writing and storing logical constraints and queries about frames in a knowledge base. More than just a language, PAL is a plugin toolset that comprises engines for checking constraints and running queries on knowledge bases, as well as a set of useful user interface components.

This ontology supports the development of Protégé ontologies using the OntoClean methodology (PDF). This methodology for ontological analysis was developed by N. Guarino and C. Welty. The OntoClean methodology applies the notions used for ontological analysis in philosophy to analyzing conceptual modeling in information systems. If you include this Protégé ontology in your ontology, you can annotate your classes with meta-properties of identity, unity, essence, and dependence. The OntoClean ontology in Protégé also contains constraints in the Protégé Axiom Language (PAL) enabling you to verify whether the ontology is "clean"---does not violate any of the constraints based on these properties.