# Analytical Index Experiment

This is a vocabulary oriented index into the document. It is based on the functional syntax, but one could do it for the RDF names as well. Layout is 3-column but by table, which maybe needs some fixing up.

*Just an exploration at the moment...no where near complete, obviously.*

I can't make the popup work. Sigh. (maybe see http://en.wikipedia.org/wiki/Wikipedia:Tools/Navigation_popups)

Propositional Connectives | Object Value Restrictions | Object Cardinality Restrictions |

ObjectIntersectionOf | ObjectSomeValuesFrom | ObjectExactCardinality |

ObjectUnionOf | ObjectAllValuesFrom | ObjectMinCardinality |

ObjectComplementOf | ObjectHasValue | ObjectMaxCardinality |

Class Axioms | Object Property Axioms | Data Property Axioms |

SubClassOf | ||

EquivalentClasses | ||

DisjointClasses | ||

DisjointUnion |

Things to cover pfps 08:07, 14 January 2008 (EST):

Ontologies - ontology names, ontology annotations, importing, axioms

Entities - classes, datatypes, object properties, data properties, individuals, constants

ObjectPropertyExpressions - inverse

DataPropertyExpressions

Dataranges - complement, data one of, datatype restrictions

Annotations - by constant, by entity, comment, label

Ontology Annotations - built-in ontology annotations (version, ....)

Axioms

Class Axioms - subclass, equivalent class, disjoint class, disjoint union

Object Property Axioms - subproperty, equivalent, disjoint, domain, range, inverse - functional, inverse functional, symmetric, asymmetric, reflexive, irreflexive, transitive

Data Property Axioms - subproperty, equivalent, disjoint, domain, range - functional

Individual Axioms - same, different, membership, - objectpropertyassertion, negative objectpropertyassertion, datapropertyassertion, negative datapropertyassertion

Declarations

Descriptions - propositional - intersection, union, complement, oneof - object property value restrictions - universal, existential, has value, self - object property cardinality - min, max, exact - data property value restrictions - universal, existential, has value - data property cardinality - min, max, exact