@prefix : . @prefix owl: . @prefix rdf: . @prefix xml: . @prefix xsd: . @prefix rdfs: . @base . rdf:type owl:Ontology ; owl:imports ; , , , ; "Aldo Gangemi" , "Andrea Nuzzolese" , "Valentina Carriero" , "Valentina Presutti" ; "What are the events of a recurrent event series?, Which is the time period elapsing between two events of a recurrent event series?, When is the next event of a recurrent event series scheduled?, What are the unifying criteria shared by all the events in a recurrent event series?, Which is the (immediate) next event in a recurrent event series?, Which is the (immediate) previous event in a recurrent event series?" ; "A series of recurrent events, its unifying factors and the recurrent time period can be modeled." ; "To represent recurrent event series as situations and collections of consecutive events, with a regular time period between events and unifying factors." ; "Classification" , "Collection" , "Sequence" , "Situation" ; "Umbria Jazz is a collection of events, which all take place in July and in the Italian region of Umbria, and has the musical genre jazz as a topic. Its events recur at regular time periods, i.e. annually." ; rdfs:comment "A pattern for recurrent event series." ; rdfs:label "recurrent event series" . ################################################################# # Annotation properties ################################################################# ### http://ontologydesignpatterns.org/opla/isNativeTo rdf:type owl:AnnotationProperty . ### http://ontologydesignpatterns.org/opla/reusesPatternAsTemplate rdf:type owl:AnnotationProperty . ### http://purl.org/dc/elements/1.1/creator rdf:type owl:AnnotationProperty . ################################################################# # Object Properties ################################################################# ### http://www.ontologydesignpatterns.org/cp/owl/recurrenteventseries.owl#hasImmediateNextEvent :hasImmediateNextEvent rdf:type owl:ObjectProperty ; rdfs:subPropertyOf :hasNextEvent ; owl:inverseOf :hasImmediatePreviousEvent ; rdf:type owl:FunctionalProperty ; rdfs:domain :Event ; rdfs:range :Event ; rdfs:comment "This property relates an event member of a recurrent event series to the immediate next event member of the same recurrent event series."@en ; rdfs:isDefinedBy ; rdfs:label "has immediate next event"@en . ### http://www.ontologydesignpatterns.org/cp/owl/recurrenteventseries.owl#hasImmediatePreviousEvent :hasImmediatePreviousEvent rdf:type owl:ObjectProperty ; rdfs:subPropertyOf :hasPreviousEvent ; rdf:type owl:FunctionalProperty ; rdfs:domain :Event ; rdfs:range :Event ; rdfs:comment "This property relates an event member of a recurrent event series to the immediate previous event member of the same recurrent event series."@en ; rdfs:isDefinedBy ; rdfs:label "has immediate previous event"@en . ### http://www.ontologydesignpatterns.org/cp/owl/recurrenteventseries.owl#hasMemberEvent :hasMemberEvent rdf:type owl:ObjectProperty ; rdfs:subPropertyOf ; owl:inverseOf :isEventMemberOf ; rdfs:domain :RecurrentEventSeries ; rdfs:range :Event ; rdfs:comment "This property relates a recurrent event series to an event that is member of it."@en ; rdfs:isDefinedBy ; rdfs:label "has member event"@en . ### http://www.ontologydesignpatterns.org/cp/owl/recurrenteventseries.owl#hasNextEvent :hasNextEvent rdf:type owl:ObjectProperty ; rdfs:subPropertyOf ; owl:inverseOf :hasPreviousEvent ; rdf:type owl:TransitiveProperty ; rdfs:domain :Event ; rdfs:range :Event ; rdfs:comment "This property relates an event member of a recurrent event series to a next event member of the same recurrent event series."@en ; rdfs:isDefinedBy ; rdfs:label "has next event"@en . ### http://www.ontologydesignpatterns.org/cp/owl/recurrenteventseries.owl#hasPreviousEvent :hasPreviousEvent rdf:type owl:ObjectProperty ; rdfs:subPropertyOf ; rdf:type owl:TransitiveProperty ; rdfs:domain :Event ; rdfs:range :Event ; rdfs:comment "This property relates an event member of a recurrent event series to a previous event member of the same recurrent event series."@en ; rdfs:isDefinedBy ; rdfs:label "has previous event"@en . ### http://www.ontologydesignpatterns.org/cp/owl/recurrenteventseries.owl#hasTimePeriod :hasTimePeriod rdf:type owl:ObjectProperty ; owl:inverseOf :isTimePeriodOf ; rdfs:domain :RecurrentEventSeries ; rdfs:range :TimePeriod ; owl:propertyChainAxiom ( :hasMemberEvent :hasTimePeriodBeforeNextEvent ) ; rdfs:comment "This property relates a recurrent event series to a time period."@en ; rdfs:isDefinedBy ; rdfs:label "has time period"@en . ### http://www.ontologydesignpatterns.org/cp/owl/recurrenteventseries.owl#hasTimePeriodBeforeNextEvent :hasTimePeriodBeforeNextEvent rdf:type owl:ObjectProperty ; rdfs:subPropertyOf :hasTimePeriod ; owl:inverseOf :isTimePeriodBeforeNextEventOf ; rdfs:domain :Event ; rdfs:range :TimePeriod ; rdfs:comment "This property relates an event member of a recurrent event series to the time period elapsing before its next event."@en ; rdfs:isDefinedBy ; rdfs:label "has time period before next event"@en . ### http://www.ontologydesignpatterns.org/cp/owl/recurrenteventseries.owl#hasUnifyingFactor :hasUnifyingFactor rdf:type owl:ObjectProperty ; owl:inverseOf :isUnifyingFactorOf ; rdfs:domain :RecurrentEventSeries ; rdfs:range :UnifyingFactor ; rdfs:comment "This property relates a recurrent event series to a unifying factor."@en ; rdfs:isDefinedBy ; rdfs:label "has unifying factor"@en . ### http://www.ontologydesignpatterns.org/cp/owl/recurrenteventseries.owl#isEventMemberOf :isEventMemberOf rdf:type owl:ObjectProperty ; rdfs:subPropertyOf ; rdfs:domain :Event ; rdfs:range :RecurrentEventSeries ; rdfs:comment "This property relates an event that is member of a recurrent event series to the recurrent event series."@en ; rdfs:isDefinedBy ; rdfs:label "is event member of"@en . ### http://www.ontologydesignpatterns.org/cp/owl/recurrenteventseries.owl#isLocallyInconsistentWith :isLocallyInconsistentWith rdf:type owl:ObjectProperty ; rdfs:domain owl:Thing ; rdfs:range owl:Thing ; rdfs:comment "This property relates two entities that are considered locally inconsistent."@en ; rdfs:isDefinedBy ; rdfs:label "is locally inconsistent with"@en . ### http://www.ontologydesignpatterns.org/cp/owl/recurrenteventseries.owl#isTimePeriodBeforeNextEventOf :isTimePeriodBeforeNextEventOf rdf:type owl:ObjectProperty ; rdfs:subPropertyOf :isTimePeriodOf ; rdfs:domain :TimePeriod ; rdfs:range :Event ; rdfs:comment "This property relates a time period, elapsing before the next event of an event member of a recurrent event series, to one of the member events."@en ; rdfs:isDefinedBy ; rdfs:label "is time period before next event of"@en . ### http://www.ontologydesignpatterns.org/cp/owl/recurrenteventseries.owl#isTimePeriodOf :isTimePeriodOf rdf:type owl:ObjectProperty ; rdfs:domain :TimePeriod ; rdfs:range :RecurrentEventSeries ; rdfs:comment "This property relates a time period to a recurrent event series having that time period."@en ; rdfs:isDefinedBy ; rdfs:label "is time period of"@en . ### http://www.ontologydesignpatterns.org/cp/owl/recurrenteventseries.owl#isUnifyingFactorOf :isUnifyingFactorOf rdf:type owl:ObjectProperty ; rdfs:domain :UnifyingFactor ; rdfs:range :RecurrentEventSeries ; rdfs:comment "This property relates a unifying factor to the recurrent event series that is unified by that factor."@en ; rdfs:isDefinedBy ; rdfs:label "is unifying factor of"@en . ### http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#follows rdf:type owl:ObjectProperty . ### http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasMember rdf:type owl:ObjectProperty . ### http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#isMemberOf rdf:type owl:ObjectProperty . ### http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#precedes rdf:type owl:ObjectProperty . ################################################################# # Data properties ################################################################# ### http://www.ontologydesignpatterns.org/cp/owl/recurrenteventseries.owl#eventNumber :eventNumber rdf:type owl:DatatypeProperty , owl:FunctionalProperty ; rdfs:domain :Event ; rdfs:range xsd:integer ; rdfs:comment "This property represents the number of the event in the recurrent event series (the first event, the second event, etc.)"@en ; rdfs:label "event number"@en . ### http://www.ontologydesignpatterns.org/cp/owl/recurrenteventseries.owl#isTheLastEvent :isTheLastEvent rdf:type owl:DatatypeProperty , owl:FunctionalProperty ; rdfs:domain :Event ; rdfs:range xsd:boolean ; rdfs:comment "This property defines if an event that is member of a recurrent event series is the last one or not."@en ; rdfs:isDefinedBy ; rdfs:label "is the last event"@en . ################################################################# # Classes ################################################################# ### http://www.ontologydesignpatterns.org/cp/owl/recurrenteventseries.owl#Event :Event rdf:type owl:Class ; rdfs:subClassOf ; rdfs:comment "This class represents an Event."@en ; rdfs:isDefinedBy ; rdfs:label "Event"@en . ### http://www.ontologydesignpatterns.org/cp/owl/recurrenteventseries.owl#RecurrentEventSeries :RecurrentEventSeries rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Restriction ; owl:onProperty :hasMemberEvent ; owl:someValuesFrom [ rdf:type owl:Class ; owl:unionOf ( [ rdf:type owl:Restriction ; owl:onProperty :hasNextEvent ; owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ; owl:onClass :Event ] [ rdf:type owl:Restriction ; owl:onProperty :hasPreviousEvent ; owl:minQualifiedCardinality "0"^^xsd:nonNegativeInteger ; owl:onClass :Event ] ) ] ] ; rdfs:subClassOf [ owl:intersectionOf ( ) ; rdf:type owl:Class ] , [ rdf:type owl:Restriction ; owl:onProperty :hasMemberEvent ; owl:someValuesFrom :Event ] , [ rdf:type owl:Restriction ; owl:onProperty :hasTimePeriod ; owl:someValuesFrom :TimePeriod ] , [ rdf:type owl:Restriction ; owl:onProperty :hasUnifyingFactor ; owl:someValuesFrom :UnifyingFactor ] ; rdfs:comment "Recurrent event series is modeled as an intersection of the classes Collection and :Situation. Indeed, a recurrent event is seen as a collection, since it contains entities that share one or more common properties and are unified conceptually. These entities are member of the collection, and are all consecutive events, in such a manner that each event has either a previous event, or a next event, or both. At the same time, a recurrent event is a situation, intended as a relational context in which the contextualized things are based on a frame: a recurrent event is similar to a plan that defines how the things involved in that plan (i.e. the specific events) shall be carried out, e.g. where the events shall be located, in which time of the year, etc."@en ; rdfs:isDefinedBy ; rdfs:label "Recurrent Event Series"@en . ### http://www.ontologydesignpatterns.org/cp/owl/recurrenteventseries.owl#TimePeriod :TimePeriod rdf:type owl:Class ; rdfs:comment "This class represents a Time Period (e.g. 1 week)."@en ; rdfs:isDefinedBy ; rdfs:label "Time Period"@en . ### http://www.ontologydesignpatterns.org/cp/owl/recurrenteventseries.owl#UnifyingFactor :UnifyingFactor rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty :isUnifyingFactorOf ; owl:someValuesFrom :RecurrentEventSeries ] ; rdfs:comment "A Unifying Factor is an element or property occurring in each event member of a recurrent event series, which unifies the collection and makes all the events attributable to a homogeneous collection."@en ; rdfs:isDefinedBy ; rdfs:label "Unifying Factor"@en . ### http://www.ontologydesignpatterns.org/ont/d0.owl#Eventuality rdf:type owl:Class . ### http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Collection rdf:type owl:Class . ### http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Concept rdf:type owl:Class . ### http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Situation rdf:type owl:Class . ### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi