Class: map:Map

The class of things that have relations (via the map:hasMappable or map:hasPosition predicates) to mappable objects or positions. Thus maps are either a set of (mappable object) and/or a set of map positions.

•owl:Thing
        •map:Maps
                •map:Map

Super Classes

map:includesMapPosition ONLY map:MapPosition
map:mapsObject ONLY map:MappableObject
map:belongsToMapSet ONLY map:MapSet
map:Maps
map:synonym MIN 0 owl:Thing

Disjoint Classes

map:MapSet

Abstract Syntax

Class(map:Map partial restriction(map:includesMapPosition allValuesFrom(map:MapPosition))
                     restriction(map:mapsObject allValuesFrom(map:MappableObject))
                     restriction(map:belongsToMapSet allValuesFrom(map:MapSet))
                     map:Maps
                     restriction(map:synonym minCardinality(0)))

DisjointClasses(map:Map map:MapSet)

Usage

Class Description/Definition (Necessary Conditions)

map:MappableObject, map:MapPosition, map:MapSet

Domain of

map:belongsToMapSet, map:hasMappableObject, map:hasMapPosition, map:includesMapPosition, map:mapsObject, map:name, map:synonym
Generated with OWLDoc