ordering
type: Ontology
label: precedence
label: sequence
version info: 1.1 - Revised and annotated for ODP submission by Aldo Gangemi 1.0 - Created by Valentina Presutti and Sara Bernardini
version info: 1.1 added rdfs:isDefinedBy for all named entities
has author: Sara Bernardini
has intent: To represent sequence schemas. It defines the notion of transitive and intransitive precedence and their inverses. It can then be used between tasks, processes, time intervals, spatially locate objects, situations, etc.
has author: Valentina Presutti
has consequences: We can represent and reason over transitive or intransitive sequences of any kind. However, since coreference cannot be expressed in OWL, it is not possible to represent and reason over loops and other sequences involving coreference.
covers requirements: What is before what?,What's next?,What's immediately following this?
extracted from: http://www.ontologydesignpatterns.org/ont/dul/DUL.owl
imports: cpannotationschema.owl

directly follows
type: ObjectProperty
label: segue direttamente @it
comment: The intransitive follows relation. For example, Wednesday directly precedes Thursday. Directness of precedence depends on the designer conceptualization.
inverse of: directly precedes
sub property of: follows
range: Thing
domain: Thing

directly precedes
type: ObjectProperty
label: precede direttamente @it
comment: The intransitive precedes relation. For example, Monday directly precedes Tuesday. Directness of precedence depends on the designer conceptualization.
sub property of: precedes
range: Thing
domain: Thing

follows
type: ObjectProperty
type: TransitiveProperty
label: segue @it
comment: A relation between entities, expressing a 'sequence' schema. E.g. 'year 2000 follows 1999', 'preparing coffee' follows 'deciding what coffee to use', 'II World War follows I World War', etc. It can be used between tasks, processes or time intervals, and subproperties would fit best in order to distinguish the different uses.
domain: Thing
range: Thing

precedes
type: ObjectProperty
type: TransitiveProperty
label: precede @it
comment: A relation between entities, expressing a 'sequence' schema. E.g. 'year 1999 precedes 2000', 'deciding what coffee to use' precedes 'preparing coffee', 'World War II follows World War I', 'in the Milan to Rome autoroute, Bologna precedes Florence', etc. It can then be used between tasks, processes, time intervals, spatially locate objects, situations, etc. Subproperties can be defined in order to distinguish the different uses.
inverse of: follows
domain: Thing
range: Thing