Analytical Index Experiment

From OWL
Jump to: navigation, search


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 The conjunction of two or more descriptions. 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