Guarded range for performedBy (range: Agent, guard: AgentRole)
Range of realizedBy is InformationRealization (guard: InformationObject)
Range of alsoKnownAs is xsd:string (guard: InformationObject)
Range of hasCanonicalName is xsd:string (guard: InformationObject)
Range of hasDescription is xsd:string (guard: InformationObject)
Range of hasWebpage is xsd:anyURI (guard: InformationObject)
R2___trajectory:hasPosition(?x,?y) ^ place:hasSpatialFootprint(?z,?y) ^ :Port(?z) -> :atPort(?x,?z)___If position of a fix corresponds to a (spatial footprint of a) port, then that fix is at that port.___http://gmo#freshObjectProperty1
Scoped range of atPort is Port where the scope is (inverse hasFix some CruiseTrajectory)
Cruise trajectory's segments are traversed by a vessel
This axiom is equivalent to the rule: :traveledBy(?x,?y) ^ trajectory:hasSegment(?x,?z) -> trajectory:traversedBy(?z,?y)
Represents agents, e.g., persons, organizations, etc. Can be used as a hook of a more detailed model of agent.
An instance of AgentRole represents a role performed by an agent, which is temporally restricted by a starting and ending time. Every agent role is performed by exactly one agent. One can create a subclass of AgentRole to model a particular kind of roles.
Class that contains types of agent roles. Allows one to put types of agent roles (which can be seen as subclasses of AgentRole) as named individuals, and the axiomatization could infer anonymous subclasses of AgentRole from those individuals.
Represents all kinds of attributes of a fix or a segment in a trajectory.
A cruise is an event through the alignment with Event pattern. A cruise has exactly one trajectory, is undertaken by exactly one vessel, and is described by exactly one information object. Additionally, this information object describes exactly only the cruise. If a cruise is undertaken by a vessel, then the trajectory of the cruise has to be traveled by the vessel. Note that since isTraveledBy is implied by a property chain, OWL 2 specification forbids us to express a cardinality restriction using this peroperty. Consequently, we cannot axiomatize that the trajectory of a cruise can only be traveled by one vessel. Involvements of agents in a cruise is modeled via the AgentRole, which is aligned to the Agent Role pattern. A cruise may be funded by some funding award, associated with some program, and related to some other cruise. These information are attached to the information object associated with a cruise.
A trajectory is given by a collection of fixes, representing time-stamped locations. Non-spatiotemporal information specific to a fix can be included by assigning it some attributes, for example, to indicate that the fix is the arrival to some port stop. The ordering of the fixes is based on their temporal information, although such an ordering is not axiomatized in this pattern. Between two consecutive fixes, we can define a segment, which is traversed by some moving object. There is no requirement forcing that all segments in the trajectory can only be traversed by the same moving object. In the context of GeoLink project, the data typically already contains ordering of fixes, i.e., the nextFix relation is explicit in the data, and thus, segments are auto-instantiated from it. This is motivated by real scenarios whereby indeed only properties of fixes will often be known, in particular their locations, and temporal extension, whether they are at ports, whether they are arrival or departure fixes from ports, and in which sequence the fixes occurred. The traversing vessel will usually also be known. However, trajectory segments to which the trajectory pattern attaches information about the vessel are usually not explicitly represented in the data.
An instance of EndingFix represents the final fix in the specification of a trajectory
A fix represents a spatiotemporal point in the specification of a trajectory. A fix has a location and a time stamp, and always belongs to one particular trajectory. Also, a fix cannot be followed by more than one other fix, and cannot follow itself. This gives a linear structure in the ordering of the fixes.
Represents geometry objects. Corresponds to GeoSPARQL's Geometry.
Represents identifiers, each has exactly one identifier value and may have an identifier scheme.
An InformationObject describes informational aspect of the described object, which are not definitional in nature, e.g., alternative identifiers, webpages, textual description, etc.
Some InformationObjects may be realized in some concrete manifestation, e.g., different digital copies of a publication. InformationRealization captures such manifestations.
Represents a personal information item such as names, addresses, etc.
Represents a generic place, e.g., a port, a city, etc. May have a geometry information.
Represents ports that may be relevant for a cruise.
Represents a geospatial location associated with a fix in the trajectory of a cruise. A position is understood as a point in either 2D or 3D space.
A segment starts from exactly one fix, and for every fix with a successor fix, there is a segment that starts from it. If a fix belongs to a trajectory and there is a segment that starts from this fix, then the segment belongs to the trajectory. Furthermore, if a segment starts from a fix, then it ends at the successor of the fix.
An instance of StartingFix represents the first fix in a specification of a trajectory. A trajectory is linked to at least two consecutive fixes where the first fix is the starting fix.
This class serves as the main access point of the pattern.
The beam of a vessel is the vessel's width at the widest point when measured at the vessel's nonimal waterline.
Displacement is the term used to indicate the vessel's weight
The draft of a vessel's hull is the vertical distance between the bottom of the hull and the waterline.
The maximum length of the vessel's hull measured parallel to the waterline.
agentRoleIn connects a role to the thing thing in which the role is performed by the agent.
Provides the name alias of the object/entity described by this information object.
atPort connects a fix to an instance of Port. It is used when the fix corresponds to a port stop in the beginning, middle, or end of a cruise.
Provides the fix where the segment ends.
Provides an attribute of a fix or a segment.
Provides the source (e.g., a sensor, a device, etc.) from which information about the fix was obtained.
Provides the scheme of the identifier (as a string or URI), e.g., doi, orcid, etc.
Provides the value of the identifier (of type xsd:string or xsd:anyURI)
Provides the next fix after this fix in the sequence.
Provides a geographical location of a fix.
Provides to a spatial footprint of the place, which is specified as a geometry.
hasTemporalExtent points to information about the temporal extent of the agent role, e.g., the duration in which the role is valid for the agent in concern.
The hasTrajectory connects a cruise to its trajectory.
performedBy connects a role to the agent that performs it.
providesAgentRole is the inverse of isAgentRoleIn.
The class Port typecasted as an object property. Logically, r_Port(x,x) <-> Port(x)
Provides the fix from which the segment starts.
If a cruise is undertaken by a vessel, then its trajectory is traveled by the vessel.
Provides a moving object that traverses the segment.
This connects a cruise to the vessel on which the cruise is conducted.