Core Ontology
type: Ontology
creator: Andrea Poltronieri
creator: Jacopo de Berardinis
creator: Nicolas Lazzari
creator: Valentina Carriero
creator: Valentina Presutti
license: https://creativecommons.org/licenses/by-sa/4.0/
comment: The Core ontology models general-purpose concepts, relationships and ontology design patterns (e.g. place, time, classification, situation), which are orthogonal to the whole Polifonia ontology network. Indeed, it is imported and possibly specialised by the other ontology modules of the network.
label: Core ontology (Polifonia ontology network)
prior version: 1.0

classifies
type: ObjectProperty
inverse of: is classified by
domain: Concept
range: Thing
comment: classification.owl
comment: A relation between a Concept and an Entity, e.g. the Role 'student' classifies a Person 'John'.

defines
type: ObjectProperty
sub property of: uses concept
inverse of: is defined in
domain: Description
range: Concept
comment: A relation between a Description and a Concept, e.g. a Workflow for a governmental Organization defines the Role 'officer', or 'the Italian Traffic Law defines the role Vehicle'.

describes
type: ObjectProperty
inverse of: is described by
domain: Description
range: Thing
comment: The relation between a Description and an Entity : a Description gives a unity to a Collection of parts (the components), or constituents, by assigning a Role to each of them in the context of a whole Object (the system). A same Entity can be given different descriptions, for example, an old cradle can be given a unifying Description based on the original aesthetic design, the functionality it was built for, or a new aesthetic functionality in which it can be used as a flower pot.

executes task
type: ObjectProperty
inverse of: is executed task of
domain: Thing
range: Task
comment: The relation between an entity and a task being executed.

has address
type: ObjectProperty
inverse of: is address of
domain: Physical site
range: Address
comment: The relation between a physical site and an address.

has address component
type: ObjectProperty
inverse of: is address component of
domain: Address
range: Address component
comment: The relation between an address and an address component.

has agent
type: ObjectProperty
inverse of: is agent of
domain: Thing
range: Agent
comment: The relation between an entity and an agent.

has agent role
type: ObjectProperty
inverse of: is agent role of
domain: Thing
range: Agent role
comment: The relation between an entity and an agent role.

Has alias
type: ObjectProperty
inverse of: isAliasOf
domain: Thing
range: Alias
comment: The relation between an entity and an alias.

has birth place
type: ObjectProperty
sub property of: has place
inverse of: is birth place of
domain: Person
range: Place
comment: The relation between a person and her place of birth.

has city
type: ObjectProperty
sub property of: has address component
domain: Address
range: City
comment: The relation between an address and its city (that is an address component).

has condition
type: ObjectProperty
inverse of: is condition of
domain: Explanation
range: Situation
property chain axiom: has explanandum
property chain axiom: has setting
property chain axiom: has explanans
comment: contextualises an explanation

has country
type: ObjectProperty
sub property of: has address component
domain: Address
range: Country
comment: The relation between an address and its country (that is an address component).

has district
type: ObjectProperty
sub property of: has address component
domain: Address
range: District
comment: The relation between an address and its district (that is an address component).

has end music time index
type: ObjectProperty
sub property of: has music time index

has explanandum
type: ObjectProperty
inverse of: has explanans
domain: Explanation
range: Thing
comment: Relates the explanation to its posterior event

has explanans
type: ObjectProperty
domain: Explanation
range: Thing
comment: relates an explanation to its antecedent event
label: Submissions:ExplanationODP

Has language
type: ObjectProperty
inverse of: The relation between a lanuage and an entity it is the language of.
domain: Thing
range: Language
comment: The relation between an entity and its language.

Has member
type: ObjectProperty
inverse of: Is member of
domain: Collection
range: Thing
comment: The relation between a collection and a member of it.

Has membership strength
type: ObjectProperty
type: FunctionalProperty
domain: Collection Membership
range: Collection Membership Strength
comment: The relation between a collection membership and its strenght.

has music time duration
type: ObjectProperty
domain: Music Time Interval
range: Music Time Duration

has music time index
type: ObjectProperty
domain: Music Time Interval
range: Music Time Index Component

has music time index component
type: ObjectProperty
domain: Music Time Index
range: Music Time Index Component

has name
type: ObjectProperty
inverse of: is name of
domain: Thing
range: Name
comment: The relation between an entity and its name.

has nickname
type: ObjectProperty
sub property of: has name
inverse of: is nickname of
domain: Thing
range: Name
comment: The relation between an entity and its nickname.

has part
type: ObjectProperty
inverse of: is part of
type: TransitiveProperty
domain: Thing
range: Thing
comment: A transitive relation expressing parthood between any entities, e.g. 'the human body has a brain as part'. When specializing this pattern, take care of restricting the domain and range appropriately, since it could be counterintuitive to use this relation arbitrarily, e.g. between animals and planets. For an intransitive partof pattern, see 'componency'.

has place
type: ObjectProperty
inverse of: is place of
domain: Thing
range: Place
comment: The relation between an entity and its place.

has province
type: ObjectProperty
sub property of: has address component
domain: Address
range: Province
comment: The relation between an address and its province (that is an address component).

has region
type: ObjectProperty
sub property of: has address component
domain: Address
range: Region
comment: The relation between an address and its region (that is an address component).

has role
type: ObjectProperty
inverse of: is role of
domain: Thing
range: Role

has setting
type: ObjectProperty
inverse of: is setting for
domain: Thing
range: Situation
comment: A relation between entities and situations, e.g. 'this morning I've prepared my coffee with a new fantastic Arabica' (i.e.: (an amount of) a new fantastic Arabica hasSetting the preparation of my coffee this morning).

Has source
type: ObjectProperty

has start music time index
type: ObjectProperty
sub property of: has music time index

has street
type: ObjectProperty
sub property of: has address component
domain: Address
range: Street
comment: The relation between an address and its street (that is an address component).

has time indexed name
type: ObjectProperty
inverse of: is time indexed name of
domain: Thing
range: The situation of an entity having a name valid during a specific time interval.

has time interval
type: ObjectProperty
inverse of: is time interval of
domain: Thing
range: Time interval
comment: The relation between an entity and a time interval.

has title
type: ObjectProperty
inverse of: is title of
domain: Thing
range: Title
comment: The relation between an entity and its title.

has type
type: ObjectProperty
inverse of: is type of
domain: Thing
range: Type

hasValueType
type: ObjectProperty
type: FunctionalProperty
domain: Class
  union of: Music Time Duration
  union of: Music Time Index Component
range: Music Time Value Type

includes name
type: ObjectProperty
domain: The situation of an entity having a name valid during a specific time interval.
range: Name

Involves
type: ObjectProperty

Involves agent
type: ObjectProperty
sub property of: Involves

Involves collection
type: ObjectProperty
sub property of: Involves
domain: Collection Membership
range: Collection

Involves role
type: ObjectProperty
sub property of: Involves

is address component of
type: ObjectProperty
domain: Address component
range: Address
comment: The relation between an address component and an address it is component of.

is address of
type: ObjectProperty
domain: Address
range: Physical site
comment: The relation between an address and a physical site .

is agent of
type: ObjectProperty
domain: Agent
range: Thing
comment: The relation between an agent and an entity.

is agent role of
type: ObjectProperty
domain: Agent role
range: Thing
comment: The relation between an agent role and an entity.

isAliasOf
type: ObjectProperty
domain: Alias
range: Thing
comment: The relation between an alias and an entity it is an alias of.

is anagram of
type: ObjectProperty
type: SymmetricProperty
domain: Name
range: Name
comment: The relation between a name and the name it is an anagram of.

is based on
type: ObjectProperty
domain: Thing
range: Thing
comment: The relation between an entity and another entity the first entity is based on.

is birth place of
type: ObjectProperty
sub property of: is place of
domain: Place
range: Person
comment: The relation between a place of birth and the person that was born at that place.

is classified by
type: ObjectProperty
domain: Thing
range: Concept
comment: A relation between a Concept and an Entity, e.g. 'John is considered a typical rude man'; your last concert constitutes the achievement of a lifetime; '20-year-old means she's mature enough'.

is concept used in
type: ObjectProperty
inverse of: uses concept
domain: Concept
range: Description
comment: A more generic relation holding between a Description and a Concept. In order to be used, a Concept must be previously definedIn another Description

is conceptualized By
type: ObjectProperty
domain: Explanation
range: Agent
comment: The relation between an explanation and the agent that has conceptualized it.

is condition of
type: ObjectProperty
domain: Situation
range: Explanation
comment: contextualises an explanation

is defined by
type: ObjectProperty
domain: Collection
range: Collection Concept

is defined in
type: ObjectProperty
sub property of: is concept used in
domain: Concept
range: Description
comment: description.owl
comment: A relation between a Description and a Concept, e.g. a Workflow for a governmental Organization defines the Role 'officer', or 'the Italian Traffic Law defines the role Vehicle'.

Is derived from
type: ObjectProperty
domain: Thing
range: Thing
comment: The relation between an entity and another entity it is derived from.

is described by
type: ObjectProperty
domain: Thing
range: Description
comment: The relation between any Thing and a Description: a Description gives a unity to a Collection of parts (the components), or constituents, by assigning a Role to each of them in the context of a whole Object (the system). A same Thing can be given different descriptions, for example, an old cradle can be given a unifying Description based on the original aesthetic design, the functionality it was built for, or a new aesthetic functionality in which it can be used as a flower pot.

is executed task of
type: ObjectProperty
domain: Task
range: Thing
comment: The relation between a task being executed and an entity.

is explanation based on
type: ObjectProperty
sub property of: is based on
domain: Explanation
range: Theory
comment: If there exists a situation in which an explanation is contextualised (according to the object property hasCondition), then both the explanans and the explanan- dum do share this same situation, meaning that they are in the same context.

Is involved in
type: ObjectProperty
domain: Thing
range: Collection Membership
comment: The relation between an entity and a situation in which such entity is member of a collection.

The relation between a lanuage and an entity it is the language of.
type: ObjectProperty
domain: Language
range: Thing
label: is language of

Is member of
type: ObjectProperty
domain: Thing
range: Collection
comment: The relation between an entity and a collection that the entity is member of.

is name of
type: ObjectProperty
domain: Name
range: Thing
comment: The relation between a name and the entity it is a name of.

is nickname of
type: ObjectProperty
sub property of: is name of
domain: Name
range: Thing
comment: The relation between a nickname and the entity it is a nickname of.

is part of
type: ObjectProperty
type: TransitiveProperty
domain: Thing
range: Thing
comment: A transitive relation expressing parthood between any entities, e.g. 'brain is a part of the human body'. When specializing this pattern, take care of restricting the domain and range appropriately, since it could be counterintuitive to use this relation arbitrarily, e.g. between animals and planets. For an intransitive partof pattern, see 'componency'.

is place of
type: ObjectProperty
domain: Place
range: Thing
comment: The relation between a place and the entity it is a place of.

is realized by
type: ObjectProperty
inverse of: realizes
domain: Information object
range: Information realization
comment: A relation between an information object and its realization (an information realization).

is role of
type: ObjectProperty
domain: Role
range: Thing

is satisfied by
type: ObjectProperty
inverse of: satisfies
domain: Description
range: Situation
comment: A relation between a Situation and a Description, e.g. the execution of a Plan satisfies that plan.

is setting for
type: ObjectProperty
domain: Situation
range: Thing

is time indexed name of
type: ObjectProperty
domain: The situation of an entity having a name valid during a specific time interval.
range: Thing

is time interval of
type: ObjectProperty
domain: Time interval
range: Thing

is title of
type: ObjectProperty
domain: Title
range: Thing
comment: The relation between a title and the entity it is title of.

is type of
type: ObjectProperty
domain: Type
range: Thing

is valid within
type: ObjectProperty
domain: Thing
range: Thing

realizes
type: ObjectProperty
domain: Information realization
range: Information object
comment: A relation between an information realization and an information object.

satisfies
type: ObjectProperty
domain: Situation
range: Description
comment: descriptionandsituation.owl
comment: A relation between a Situation and a Description, e.g. the execution of a Plan satisfies that plan.

uses concept
type: ObjectProperty
domain: Description
range: Concept
comment: description.owl
comment: A generic relation holding between a Description and a Concept. In order to be used, a Concept must be previously definedIn another Description. This last condition cannot be encoded for object properties in OWL.

activity end date
type: DatatypeProperty
sub property of: end time

activity start date
type: DatatypeProperty
sub property of: start time

end time
type: DatatypeProperty
sub property of: time
domain: Time interval
range: dateTime
comment: The end time of a time interval.

full address
type: DatatypeProperty
type: FunctionalProperty
domain: Address
range: Literal

name
type: DatatypeProperty
domain: Thing
range: Literal

nickname
type: DatatypeProperty
sub property of: name
domain: Thing
range: Literal

postcode
type: DatatypeProperty
type: FunctionalProperty
domain: Address
range: Literal
label: zipcode

start time
type: DatatypeProperty
sub property of: time
domain: Time interval
range: dateTime
comment: The start time of a time interval.

street number
type: DatatypeProperty
type: FunctionalProperty
domain: Address
range: Literal

text
type: DatatypeProperty
domain: Thing
range: string

time
type: DatatypeProperty

title
type: DatatypeProperty
domain: Thing
range: string

value
type: DatatypeProperty
type: FunctionalProperty
domain: Class
  union of: Music Time Duration
  union of: Music Time Index Component
range: Literal
comment: value

Action
type: Class
comment: A situation with at least one agent that is participant in it, and that executes a specific task that may be defined in a plan, workflow, project, etc.

Address
type: Class
subclass of: Geographical feature
subclass of: Restriction
  on property: has address component
  some values from: Address component
subclass of: Restriction
  on property: postcode
  all values from: Literal
subclass of: Restriction
  on property: street number
  all values from: Literal

Address component
type: Class

Agent
type: Class
comment: Any agentive Object, either physical (e.g. a person, a robot), or social (e.g. a corporation, an institution, a community)

Agent role
type: Class
comment: The situation of an agent having a role.

Alias
type: Class

Collection Membership Strength
type: Class

City
type: Class
subclass of: Geographical feature

Collection
type: Class
subclass of: Restriction
  on property: Has member
  some values from: Thing
subclass of: Restriction
  on property: has part
  all values from: Collection
subclass of: Restriction
  on property: is defined by
  all values from: Collection Concept
comment: A collection of any entities: e.g. groups, repositories, communities, etc., intended as any container for entities that share one or more common properties.

Collection Concept
type: Class
comment: The concept that holds together the members of a collection.

Collection Membership
type: Class
subclass of: Restriction
  on property: Has membership strength
  all values from: Collection Membership Strength
subclass of: Restriction
  on property: Involves collection
  all values from: Collection
comment: The membership of an individual in a collection, which allows to describe attributes of such membership (e.g. Membership Strength).

Concept
type: Class
subclass of: Restriction
  on property: is concept used in
  min cardinality: 1
subclass of: Restriction
  on property: is defined in
  min cardinality: 1
disjoint with: Description
disjoint with: Situation
comment: A concept is a Social Object. The classifies relation relates concepts to entities at some time, but time can only be expressed in the alternative pattern: timeindexedclassification.

Country
type: Class
subclass of: Geographical feature

Description
type: Class
disjoint with: Situation
comment: description.owl
comment: A Description represents a conceptualization. It can be thought also as a 'descriptive context' that defines concepts in order to see a 'relational context' out of a set of data or observations. For example, a Plan is a description of some actions to be executed by agents in a certain way, with certain parameters; a Diagnosis is a description that provides an interpretation to a set of observed entities, etc. A Description typically defines at least one Concept, for example the 'preparing a coffee' Description could define concepts such as 'Heater', 'AmountOfWater', 'CoffeeMix', etc. With respect to other patterns, descriptions are 'abstractions' of situations (cf. the 'situation' pattern), and in some complex use cases (e.g. matching executions to plan models), the two patterns can be composed (see the descriptionsituation pattern).

District
type: Class
subclass of: Geographical feature

Event
type: Class
comment: Any physical, social, or mental process, event, or state.

Explanation
type: Class
subclass of: Restriction
  on property: has condition
  some values from: Situation
subclass of: Restriction
  on property: has explanandum
  some values from: Thing
subclass of: Restriction
  on property: has explanans
  some values from: Thing
comment: Class explanation defined as "when X happens, then, due to a given set of circumstances C, Y will occur because of a given law L". In order to be complete, an explanation needs at least one antecedent event (explanans), a posterior event (a posterior event) and has to happen in a context that relates the two events (the context), governed by a law (theory).

Geographical feature
type: Class
subclass of: Spatial object

Information object
type: Class
comment: A piece of information, such as a musical composition, a text, a word, a picture, independently from how it is concretely and phisically realized.

Information realization
type: Class
comment: A concrete and physical realization of an information object.

Language
type: Class

Music Dataset
type: Class

Music Time Duration
type: Class
subclass of: Restriction
  on property: hasValueType
  all values from: Music Time Value Type
subclass of: Restriction
  on property: hasValueType
  qualified cardinality: 1
  on class: Music Time Value Type
subclass of: Restriction
  on property: value
  all values from: Literal
subclass of: Restriction
  on property: value
  cardinality: 1

Music Time Index
type: Class
subclass of: Restriction
  on property: has music time index component
  all values from: Music Time Index Component
subclass of: Restriction
  on property: has music time index component
  min qualified cardinality: 1
  on class: Music Time Index Component

Music Time Index Component
type: Class
subclass of: Restriction
  on property: hasValueType
  all values from: Music Time Value Type
subclass of: Restriction
  on property: hasValueType
  qualified cardinality: 1
  on class: Music Time Value Type
subclass of: Restriction
  on property: value
  all values from: Literal
subclass of: Restriction
  on property: value
  cardinality: 1

Music Time Interval
type: Class
subclass of: Restriction
  on property: has music time duration
  all values from: Music Time Duration
subclass of: Restriction
  on property: has music time index
  all values from: Music Time Index
subclass of: Restriction
  on property: has music time duration
  qualified cardinality: 1
  on class: Music Time Duration
subclass of: Restriction
  on property: has music time index
  qualified cardinality: 1
  on class: Music Time Index

Music Time Value Type
type: Class

Name
type: Class

Organization
type: Class
subclass of: Agent
comment: An internally structured, conventionally created social agent, needing a specific role and agent that plays it, in order to act.

Person
type: Class
subclass of: Agent

Physical site
type: Class
subclass of: Geographical feature
subclass of: Restriction
  on property: has address
  some values from: Address
comment: This class represents a physical site, that is an area, a structure (e.g. a building) or a group of structures where something was, is or will be located. It is a physical site that situates something.

Place
type: Class
comment: Anything that is intended as a location for something else, e.g. geographical places, spatial objects.

Province
type: Class
subclass of: Geographical feature

Reference
type: Class

Region
type: Class
subclass of: Geographical feature

Role
type: Class
comment: A concept that classifies an object.

Situation
type: Class
subclass of: Restriction
  on property: is setting for
  min cardinality: 1
subclass of: Restriction
  on property: satisfies
  min cardinality: 1
comment: Any entity that typically flows in time, either in the physical or social world Examples include athmospheric phenomena, concerts, travels, institutional processes, etc. It also represents a relational context created by an observer on the basis of a frame.

Source
type: Class

Spatial object
type: Class
subclass of: Place

Street
type: Class
subclass of: Geographical feature

Task
type: Class
comment: A task that classifies an action to be executed.

Theory
type: Class
comment: The theory that has the binding force or effect on some events under analysis. From Dolce: "A theory is a description that represents a set of assumptions for describing something, usually general. Scientific, philosophical, and common-sense theories can be included here"

The situation of an entity having a name valid during a specific time interval.
type: Class
subclass of: Situation
subclass of: Restriction
  on property: has time interval
  some values from: Time interval
subclass of: Restriction
  on property: includes name
  some values from: Name
subclass of: Restriction
  on property: is time indexed name of
  some values from: Thing
subclass of: Restriction
  on property: is valid within
  all values from: Organization
label: Time indexed name

The situation of an entity having a role at a specific time interval.
type: Class
subclass of: Situation
subclass of: Restriction
  on property: has agent
  some values from: Agent
subclass of: Restriction
  on property: has role
  some values from: Role
subclass of: Restriction
  on property: has time interval
  some values from: Time interval

Time indexed situation
type: Class
subclass of: Situation
subclass of: Restriction
  on property: has agent
  some values from: Agent
subclass of: Restriction
  on property: has time interval
  some values from: Time interval
subclass of: Restriction
  on property: has place
  all values from: Place
comment: A situation with a clearly defined time extension.

Time interval
type: Class
subclass of: Restriction
  on property: time
  some values from: dateTime
subclass of: Restriction
  on property: end time
  max qualified cardinality: 1
  on data range: dateTime
subclass of: Restriction
  on property: start time
  max qualified cardinality: 1
  on data range: dateTime
comment: A time interval.

Title
type: Class
comment: The title of an entity.

Type
type: Class
comment: The concept of a type.

End
type: NamedIndividual
type: Music Time Index
comment: Refers to the end of a musical piece.

Start
type: NamedIndividual
type: Music Time Index
comment: Refers to the start of a musical piece.