Home

In this wiki we present:

1. the overall structure of the project and its JavaDoc.
2. the idea of a Descriptor, the types of descriptors and the possible expressions that each type can implement (and thus deal with).
3. examples to show how to construct a simple descriptor or a compound descriptor (of a particular type).
4. an example that shows how to add axioms to an ontology, using descriptors.
5. an example that shows how to infer some knowledge (i.e., axioms) from axioms already within an ontology, using descriptors.
6. an example that shows how to remove axioms from an ontology, using descriptors.