Warning:
This wiki has been archived and is now read-only.
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