Author: Holger Knublauch (holger@smi.stanford.edu) An ontology that attempts a formal specification of the various OWL sublanguages. This is far from being complete and more or less driven by the need for a description of user interface features to block certain features in Protege. 0.1 (24.11.2004) SameAs between classes (owl:sameAs) Complement classes (owl:complementOf) DifferentFrom between classes (owl:differentFrom) DifferentFrom between properties (owl:differentFrom) Object properties (owl:ObjectProperty) RDF Schema and OWL AllValuesFrom restrictions (owl:allValuesFrom) MinCardinality restrictions (owl:minCardinality) MaxCardinality restrictions (owl:maxCardinality) OWL DL RDF Properties (rdf:Property) SomeValuesFrom restrictions (owl:someValuesFrom) HasValue restrictions (owl:hasValue) Enumerated classes (owl:oneOf) OWL Full OWL Lite Pure RDF Schema without OWL OWL classes (owl:Class) SameAs between properties (owl:sameAs) RDFS Classes (rdfs:Class) Datatype properties (owl:DatatypeProperty) Union classes (owl:unionOf) Qualified Cardinality Restrictions (owl:valuesFrom)