Class(map:MappableObject complete annotation(rdfs:comment "The class of things that can be mapped onto a map."^^<http://www.w3.org/2001/XMLSchema#string>)
restriction(map:belongsToMap allValuesFrom(map:Map))
restriction(map:belongsToMap someValuesFrom(map:Map))
restriction(map:hasMapPosition maxCardinality(1)))
SubClassOf(map:MappableObject restriction(map:hasObjectCorrespondence allValuesFrom(map:MapCorrespondence)))
SubClassOf(map:MappableObject restriction(map:atMapPosition allValuesFrom(map:MapPosition)))
SubClassOf(map:MappableObject map:Maps)
DisjointClasses(map:MappableObject map:MapSet)