OWL 1.0 Metamodel
type: Ontology
version info: This version (a) of owlodm (called OWL1.0a.owl) contains the following improvements (responsibility of Aldo Gangemi): - Removed Annotation superclass from Individual (wrong) - Removed QualifiedNumberRestriction (it will apply to OWL1.1) - Removed AnnotatableElement (wrong, because some ontology elements, e.g. restrictions, are not annotatable), and created a boolean datatype property "annotatable" to express annotability - Removed OntologyElement superclass from DataRange (wrong, because OntologyElement includes those elements that can be defined in a specific ontology, and in OWL1.0 data ranges cannot be defined; this will apply to OWL1.1) - Inclusion of property elements among ontology elements (why not? they are definable in a specific ontology) - Added universal restrictions to prevent errors in checking models containing object, type, and oneOf properties, which have multiple domains and ranges - Added disjointness axioms where applicable Version (b): - Removed bugs that lead to inconsistency - Improved axioms and restrictions for enumerated classes, oneOf, etc.

http://lodlaundromat.org/.well-known/genid/bc417b5ec6535e0ceec19208dc52e860#8
type: Restriction
on property: onProperty
cardinality: 1

http://lodlaundromat.org/.well-known/genid/bc417b5ec6535e0ceec19208dc52e860#16
type: Restriction
on property: toClass
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/bc417b5ec6535e0ceec19208dc52e860#17
type: Restriction
on property: toDatatype
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/bc417b5ec6535e0ceec19208dc52e860#23
type: Restriction
on property: oneOfDataValue
cardinality: 1

http://lodlaundromat.org/.well-known/genid/bc417b5ec6535e0ceec19208dc52e860#25
type: Restriction
on property: toDatatype
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/bc417b5ec6535e0ceec19208dc52e860#26
type: Restriction
on property: toClass
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/bc417b5ec6535e0ceec19208dc52e860#40
type: Restriction
on property: oneOfIndividual
cardinality: 1