Ontology Container Information

Namespaces used

default

file:/Applications/OilEd3.5.7/ontologies/DOLCE-Lite-Plus/DLP39/DLP394_indTasks_noLeg.daml.daml.daml

1

http://www.loa-cnr.it/ontologies/Plans#

2

http://www.loa-cnr.it/ontologies/DnS#

3

http://www.loa-cnr.it/ontologies/InformationObjects#

4

http://www.loa-cnr.it/ontologies/CommonSenseMapping#

5

http://www.loa-cnr.it/ontologies/DOLCE-Lite#

6

http://www.loa-cnr.it/ontologies/FunctionalParticipation#

7

http://www.loa-cnr.it/ontologies/TemporalRelations#

8

http://www.loa-cnr.it/ontologies/SpatialRelations#

9

http://www.loa-cnr.it/ontologies/Actions#

10

http://www.loa-cnr.it/ontologies/SocialUnits#

11

http://www.loa-cnr.it/ontologies/Causality#

12

http://www.loa-cnr.it/ontologies/Collections#

13

http://www.loa-cnr.it/ontologies/ModalDescriptions#

14

http://www.loa-cnr.it/ontologies/Systems#

15

http://www.loa-cnr.it/ontologies/Collectives#

16

http://www.loa-cnr.it/ontologies/SemioticCommunicationTheory#

Classes

abstract #5 abstract-plan #1 abstract-quality #5 abstract-region #5 accomplishment #5 achievement #5 action #9 action-task #1 activity #9 agent #5 agent-driven-role #9 agentive-figure #10 agentive-physical-object #5 agentive-social-object #5 amount-of-matter #5 arbitrary-sum #5 atom #5 atomic-interval #5 bag-task #1 biological-collective #15 biological-object #4 causal-role #4 chemical-object #4 circumstantial-plan #1 classification-system #3 cognitive-agentive-physical-object #9 cognitive-event #9 cognitive-modal-description #13 cognitive-state #9 collection #12 collection-role #4 collective #15 combinatorial-system #3 commerce-role #4 commitment #13 communication-event #5 communication-role #16 communication-situation #16 complex-task #1 concept #2 constitutive-description #2 contract #4 control-task #1 country #4 course #2 creative-object #4 decision-activity #1 decision-state #1 dependent-place #5 description #2 description-role #4 design-object-materialization #14 desire #13 diagrammatic-object #3 ecological-collective #15 elementary-task #1 endurant #5 event #5 feature #5 feature-role #4 figure #2 flux #9 formal-expression #3 formal-system #3 functional-matter #4 genetic-collective #15 geographical-object #4 geographical-place #4 gestalt #2 goal #1 goal-qua-main #1 goal-situation #1 grammar #3 hybrid-task #1 iconic-object #3 indicator #9 information-collection #3 information-encoding-system #3 information-gathering #1 information-object #2 information-realization #3 institution #10 intentional-collective #15 interpretation-situation #16 language #16 legal-possession-entity #4 life-cycle #9 linguistic-object #3 locative-role #4 logical-role #4 material-artifact #4 maximal-task #1 measurement-unit #5 mental-object #5 method #2 modal-description #2 morpheme #4 narrative #3 natural-person #5 non-agentive-physical-object #5 non-agentive-social-object #5 non-physical-collection #12 non-physical-endurant #5 non-physical-object #5 non-physical-place #4 norm #4 organization #10 organized-collection #12 organized-collective #15 parameter #2 parametrized-collection #12 particular #5 path #4 perdurant #5 phase-role #4 phenomenon #4 phoneme #3 physical-body #4 physical-endurant #5 physical-object #5 physical-phenomenon #4 physical-place #4 physical-plurality #12 physical-quality #5 physical-realization #2 physical-region #5 plan #2 plan-assessment #1 plan-assessment-task #1 plan-execution #1 planning-activity #1 political-geographic-object #4 practice #2 process #5 production-workflow-execution #14 project #2 promise #13 proposition #5 quale #5 qualitative-role #4 quality #5 quality-space #5 reconstructed-flux #9 region #5 regulation #2 relation #2 relevant-part #5 responsibility #13 role #2 saturated-plan #1 schedule #1 semiotic-code #16 semiotic-role #16 sequential-task #1 set #5 simple-collection #12 simple-collective #15 simple-planned-collective #15 situation #2 social-description #2 social-individual #10 social-object #5 social-relationship #2 social-role #2 social-type-collective #15 social-unit #10 socially-constructed-person #10 space-region #5 spatial-feature #4 spatial-location_q #5 spatio-temporal-region #5 state #5 stative #5 status #9 subplan #1 substance-role #4 symmetric-role #2 system-as-artifact #14 system-as-description #14 system-as-situation #14 system-design #14 system-functionality #14 system-production-workflow #14 task #2 taxonomic-collection #12 taxonomic-collective #15 technique #2 temporal-location_q #5 temporal-quality #5 temporal-region #5 temporary-atom #5 text #3 text-repository #3 theory #2 time-interval #5 type-based-collective #15 word #3 working-system-situation #14

Properties

Individuals

class abstract #5

namespace:

http://www.loa-cnr.it/ontologies/DOLCE-Lite#

documentation:

The main characteristic of abstract entities is that they do not have spatial nor temporal qualities, and they are not qualities themselves. The only class of abstract entities we consider in the present version of the upper ontology is that of quality regions (or simply regions). Quality spaces are special kinds of quality regions, being mereological sums of all the regions related to a certain quality type. The other examples of abstract entities (sets and facts) are only indicative.

type:

primitive

superclasses:

particular #5

constraints:

restriction has-quality #5 to-class (not spatial-location_q #5)
restriction has-quality #5 to-class (not temporal-location_q #5)

known subclasses:

proposition #5
region #5
set #5

used in classes:

proposition #5
region #5
set #5

axioms:

disjoint situation #2 abstract #5
disjoint quality #5 abstract #5
disjoint abstract #5 perdurant #5
disjoint abstract #5 endurant #5

class abstract-plan #1

namespace:

http://www.loa-cnr.it/ontologies/Plans#

documentation:

An abstract plan is a plan whose roles and tasks only specify classes of entities that can be included in a plan execution. In other words, a component from an abstract plan does not select any named entity. This condition cannot be formalized in FOL, since we would like to express a condition by which an instance of an abstract plan specifies instances of plan components, but no instances of situation elements, e.g. that 'manager' selects some (if any) instance of person, but not a specified (named) person.

type:

primitive

superclasses:

plan #2

class abstract-quality #5

namespace:

http://www.loa-cnr.it/ontologies/DOLCE-Lite#

documentation:

A quality inherent in a non-physical endurant.

type:

primitive

superclasses:

quality #5

constraints:

restriction q-location #5 to-class abstract-region #5
restriction has-quality #5 to-class abstract-quality #5
restriction inherent-in #5 to-class non-physical-endurant #5
restriction inherent-in #5 has-class non-physical-endurant #5

used in classes:

abstract-quality #5
abstract-region #5
non-physical-endurant #5

axioms:

disjoint abstract-quality #5 physical-quality #5
disjoint abstract-quality #5 temporal-quality #5

class abstract-region #5

namespace:

http://www.loa-cnr.it/ontologies/DOLCE-Lite#

documentation:

A region at which only abstract qualities can be directly located. It assumes some metrics for abstract (neither physical nor temporal) properties.

type:

primitive

superclasses:

region #5

constraints:

restriction part #5 to-class abstract-region #5
restriction q-location-of #5 to-class abstract-quality #5

known subclasses:

measurement-unit #5

used in classes:

abstract-quality #5
abstract-region #5
measurement-unit #5

used in properties:

abstract-location #5
abstract-location-of #5

axioms:

disjoint abstract-region #5 physical-region #5
disjoint abstract-region #5 temporal-region #5

class accomplishment #5

namespace:

http://www.loa-cnr.it/ontologies/DOLCE-Lite#

documentation:

Eventive occurrences (events) are called achievements if they are atomic, otherwise they are accomplishments. Further developments: being 'achievement', 'accomplishment', 'state', 'event', etc. can be also considered 'aspects' of processes or of parts of them. For example, the same process 'rock erosion in the Sinni valley' can be seen as an accomplishment (what has brought the current state that e.g. we are trying to explain), as an achievement (the erosion process as the result of a previous accomplishment), as a state (collapsing the time interval of the erosion into a time point), as an event (what has changed our focus from a state to another). In the erosion case, we could have good motivations to shift from one aspect to another: a) causation focus, b) effectual focus, c) condensation d) transition (causality).

type:

primitive

superclasses:

event #5

known subclasses:

action #9
communication-event #5
phenomenon #4

used in classes:

action #9
communication-event #5
flux #9
phenomenon #4
reconstructed-flux #9

class achievement #5

namespace:

http://www.loa-cnr.it/ontologies/DOLCE-Lite#

documentation:

Eventive occurrences (events) are called achievements if they are atomic, otherwise they are accomplishments. Further developments: being 'achievement', 'accomplishment', 'state', 'event', etc. can be also considered 'aspects' of processes or of parts of them. For example, the same process 'rock erosion in the Sinni valley' can be seen as an accomplishment (what has brought the current state that e.g. we are trying to explain), as an achievement (the erosion process as the result of a previous accomplishment), as a state (collapsing the time interval of the erosion into a time point), as an event (what has changed our focus from a state to another). In the erosion case, we could have good motivations to shift from one aspect to another: a) causation focus, b) effectual focus, c) condensation d) transition (causality).

type:

primitive

superclasses:

event #5

class action #9

namespace:

http://www.loa-cnr.it/ontologies/Actions#

documentation:

A Perdurant that exemplifies the intentionality of an agent. Could it be aborted, incomplete, mislead, while remaining a (potential) accomplishment ... The point here is that having a result depends on a method, then an action remains an action under incomplete results. As a matter of fact, if we neutralize intentionality, a purely topological, post-hoc view is at odds with the notion of incomplete accomplishments.

type:

primitive

superclasses:

accomplishment #5

constraints:

restriction participant #5 has-class (agentive-physical-object #5 or agentive-social-object #5)
restriction generically-dependent-on #5 has-class cognitive-state #9

known subclasses:

activity #9

used in classes:

activity #9

used in properties:

performed-by #6
performs #6
prescribed-by #6
prescribes #6
use-of #6
used-in #6

class action-task #1

namespace:

http://www.loa-cnr.it/ontologies/Plans#

documentation:

An action task is an elementary task that sequences non-planning activities, like: moving, exercising forces, gathering information, etc. Planning activites are mental events involving some rational event.

type:

defined

superclasses:

elementary-task #1

constraints:

restriction sequences #2 to-class (not planning-activity #1)

used in classes:

hybrid-task #1
sequential-task #1

used in individuals:

activation-task #1
synchro-task #1

axioms:

disjoint action-task #1 control-task #1

class activity #9

namespace:

http://www.loa-cnr.it/ontologies/Actions#

documentation:

In dependency terms, an activity is an action that is generically constantly dependent on a conventional, shared description (course) adopted by participants. Intuitively, activities are complex actions that are at least partly conventionally planned.

type:

primitive

superclasses:

action #9

constraints:

restriction sequenced-by #2 has-class course #2
restriction generically-dependent-on #5 has-class course #2

known subclasses:

information-gathering #1
planning-activity #1

used in classes:

information-gathering #1
planning-activity #1

used in properties:

generic-target #6
generic-target-of #6
has-method #9
instrument #6
instrument-of #6
method-of #9
product #6
product-of #6
resource #6
resource-for #6
result #6
result-of #6

used in individuals:

parallel-task #1

axioms:

covered functional-matter #4 by (restriction used-in #6 has-class activity #9)

class agent #5

namespace:

http://www.loa-cnr.it/ontologies/DOLCE-Lite#

documentation:

A dummy class used to join agentive objects (either physical or social). Agents are dispositionally so, in the sense that they are able to conceive descriptions and possible actions, but they do not necessarily act. In everyday language, agent is used in this sense, but also to tell that something has acted in a certain way, or to say that something has an initiator or leading role in some action. In DLP, the performs relation encodes these notions.

type:

primitive

superclasses:

(agentive-physical-object #5 or agentive-social-object #5)

class agent-driven-role #9

namespace:

http://www.loa-cnr.it/ontologies/Actions#

documentation:

A role that can only be played by agents. Here mainly for alignment purpose of WordNet.

type:

defined

superclasses:

role #2

constraints:

restriction played-by #2 to-class (agentive-physical-object #5 or agentive-social-object #5)

used in classes:

task #2

used in properties:

attitude-target-of #2
attitude-towards #2
bdi #13
bdi-target-of #13
desire-target-of #13
desire-towards #13
empowered-for #9
empowered-to #9
obligation-for #9
obliged-to #9
right-task-for #9
right-to #9
subject-target-of #13
subjected-to #13

used in individuals:

decoder-role #16
encoder-role #16
interpreter-role #16

class agentive-figure #10

namespace:

http://www.loa-cnr.it/ontologies/SocialUnits#

documentation:

Agentive figures are those which are assigned (agentive) roles from a society or community; hence, they can act like a physical agent: AgentiveFigure(x) ? Figure(x) ? ?y,z,w. Description(y) ? Role(z) ? Description(w) ? y­w ? Defines(y,z) ? Defines(w,x) ? Selects(z,x) Typical agentive figures are societies, organizations, and in general all socially constructed persons. Figures are not dependent on roles defined or used in the same descriptions they are defined or used, but they can act because they depute some powers to some of those roles. In other words, a figure selected by some agentive role can play that role because there are other roles in the descriptions that define or use the figure. Those roles select endurants that result to act for the figure: DeputedBy(r,f) ? Role(r) ? Figure(f) ? ?d. Description(d) ? Uses(d,r) ? Uses(d,f) DeputedBy(r,f) ? ?r1. Role(r1) ? Selects(r1,f) ActsFor(e,f) ? ?r. Role(r) ? DeputedBy(r,f) ? Selects(r,e) For example, an employee acts for an organization that deputes the role (e.g. turner) that classifies the employee. Simply put, a guy working as a turner at FIAT acts for (or on behalf of) FIAT. In complex figures, like organizations or societies, a total agency is possible when an endurant plays a delegate, or representative role of the figure. Since figures are social objects, it is conceivable to find figures that act for other figures.

type:

defined

superclasses:

figure #2
agentive-social-object #5

constraints:

restriction acted-by #2 to-class (agentive-physical-object #5 or agentive-social-object #5)
restriction conceives #2 has-class description #2
restriction plays #2 has-class role #2
restriction deputes #2 to-class role #2

known subclasses:

social-individual #10

used in classes:

social-individual #10
task #2

used in properties:

attitude-target-of #2
attitude-towards #2
bdi #13
bdi-target-of #13
desire-target-of #13
desire-towards #13
empowered-for #9
empowered-to #9
obligation-for #9
obliged-to #9
right-task-for #9
right-to #9
subject-target-of #13
subjected-to #13

class agentive-physical-object #5

namespace:

http://www.loa-cnr.it/ontologies/DOLCE-Lite#

documentation:

Within Physical objects, a special place have those to which we ascribe generic intentionality (compatibly to Brentano's distinction, the ability to conceive a description). These are called Agentive, as opposite to Non-agentive. In general, we assume that agentive objects are constituted by non-agentive objects: a person is constituted by an organism, a robot is constituted by some machinery, and so on. Among non-agentive physical objects we have for example houses, body organs, pieces of wood, etc. Generic agentivity is defined here in a wide sense as implying conception (to be characterized in a dedicated Ð but not developed as yet Ð ontology of mind). A conception only requires intentionality in BrentanoÕs terms (i.e., the ability to represent something to oneself). See also 'cognitive agentive physical object'.

type:

defined

superclasses:

physical-object #5

constraints:

restriction conceives #2 has-class description #2

known subclasses:

cognitive-agentive-physical-object #9
natural-person #5

used in classes:

action #9
agent #5
agent-driven-role #9
agentive-figure #10
cognitive-agentive-physical-object #9
collective #15
description #2
information-object #2
mental-object #5
natural-person #5
plan #2
social-object #5

used in properties:

acted-by #2
acts-for #2
conceived-by #2
conceives #2
interpreted-by #2
interprets #2
performed-by #6
performs #6
prescribed-by #6
prescribes #6
referred-by #3
refers-to #3

axioms:

disjoint non-agentive-physical-object #5 agentive-physical-object #5

class agentive-social-object #5

namespace:

http://www.loa-cnr.it/ontologies/DOLCE-Lite#

documentation:

A social object that is assumed to have intentionality (in the wider sense of conceiving some description). Since a social object is dependent on physical ones, it is not trivial to interpret the local sense in which a social object 'conceives' a description. For example, an institution can have the belief in the existence of some physical person, but this is possible by means of the powers conferred by some legal system, through its representatives, and that belief has to verified or 'used' by means of the physical agents that 'act for' the institution. A different sense of social object conceiving descriptions holds for collectives, which ground the overall conception on either a shared, or distributed, or external description conceived by either members of the collective, or by some non-member agent.

type:

defined

superclasses:

social-object #5

constraints:

restriction conceives #2 has-class description #2

known subclasses:

agentive-figure #10
collective #15

used in classes:

action #9
agent #5
agent-driven-role #9
agentive-figure #10
collective #15
desire #13
information-object #2
plan #2
practice #2
social-relationship #2

used in properties:

acted-by #2
acts-for #2
adopted-by #9
adopts #9
adopts-goal #1
adopts-plan #1
conceived-by #2
conceives #2
created-by #9
creates #9
interpreted-by #2
interprets #2
performed-by #6
performs #6
prescribed-by #6
prescribes #6
referred-by #3
refers-to #3

class amount-of-matter #5

namespace:

http://www.loa-cnr.it/ontologies/DOLCE-Lite#

documentation:

The common trait of amounts of matter is that they are endurants with no unity (according to Gangemi et a. 2001 none of them is an essential whole). Amounts of matter - 'stuffs' referred to by mass nouns like 'gold', 'iron', 'wood', 'sand', 'meat', etc. - are mereologically invariant, in the sense that they change their identity when they change some parts.

type:

primitive

superclasses:

physical-endurant #5

known subclasses:

functional-matter #4

used in classes:

functional-matter #4
substance-role #4

used in properties:

resource #6
resource-for #6

axioms:

disjoint physical-object #5 amount-of-matter #5
disjoint feature #5 amount-of-matter #5

class arbitrary-sum #5

namespace:

http://www.loa-cnr.it/ontologies/DOLCE-Lite#

documentation:

AKA arbitrary-collection. The mereological sum of any two or more endurants (physical or not). Arbitrary sums have no unity criterion (they are 'extensional').

type:

primitive

superclasses:

endurant #5

constraints:

restriction part #5 has-class endurant #5
property-constraint part #5 min-cardinality 2 endurant #5

axioms:

disjoint non-physical-endurant #5 arbitrary-sum #5
disjoint physical-endurant #5 arbitrary-sum #5

class atom #5

namespace:

http://www.loa-cnr.it/ontologies/DOLCE-Lite#

documentation:

A particular with no proper parts.

type:

defined

superclasses:

particular #5

constraints:

restriction proper-part #5 to-class (not particular #5)

used in properties:

atomic-part #5
atomic-part-of #5
temporary-atomic-part #5
temporary-atomic-part-of #5

class atomic-interval #5

namespace:

http://www.loa-cnr.it/ontologies/DOLCE-Lite#

documentation:

A time interval with no proper parts (within the clocktick chosen for the time-interval quality space).

type:

defined

superclasses:

time-interval #5

constraints:

restriction part #5 to-class (not time-interval #5)

class bag-task #1

namespace:

http://www.loa-cnr.it/ontologies/Plans#

documentation:

A bag task is a complex task that does not include either a control task, or a successor relation among any two component tasks. The last condition cannot be stated in OWL-DL, because it needs a coreference.

type:

primitive

superclasses:

complex-task #1

constraints:

restriction component #2 to-class (not control-task #1)

class biological-collective #15

namespace:

http://www.loa-cnr.it/ontologies/Collectives#

documentation:

Biological collectives are type-based collectives that are *covered* by roles typical of the biological world. They can be divided into various kinds (genetic, taxonomic, epidemiological, etc.). Biological properties produce either crisp or fuzzy/probabilistic types.

type:

primitive

superclasses:

type-based-collective #15

known subclasses:

genetic-collective #15
taxonomic-collective #15

used in classes:

genetic-collective #15
taxonomic-collective #15

class biological-object #4

namespace:

http://www.loa-cnr.it/ontologies/CommonSenseMapping#

documentation:

Any physical body at the biological granularity level. They are (generically) constituted by chemical objects.

type:

primitive

superclasses:

physical-body #4

constraints:

restriction generic-constituent #5 has-class chemical-object #4

class causal-role #4

namespace:

http://www.loa-cnr.it/ontologies/CommonSenseMapping#

documentation:

A role defined (not just used!) by a causal description, and exploited to conceptualize some causation invariants. Causal notions are still primitive in this version of DLP.

type:

primitive

superclasses:

role #2

class chemical-object #4

namespace:

http://www.loa-cnr.it/ontologies/CommonSenseMapping#

documentation:

Any physical body at the chemical granularity level.

type:

primitive

superclasses:

physical-body #4

used in classes:

biological-object #4

class circumstantial-plan #1

namespace:

http://www.loa-cnr.it/ontologies/Plans#

documentation:

A circumstantial plan has all components selecting named individuals from the ground ontology (e.g. only specific persons, specified resources, a finite number of time intervals and space regions, etc.). This condition cannot be formalized in FOL, since we would like to express a condition by which an instance of an circumstantial plan specifies both instances of plan components, and instances of situation elements, e.g. that 'manager' selects a specified (named) person.

type:

defined

superclasses:

plan #2

constraints:

restriction d-uses #2 to-class (concept #2 and (restriction classifies #2 has-class particular #5))

class classification-system #3

namespace:

http://www.loa-cnr.it/ontologies/InformationObjects#

documentation:

An information encoding system that provides rules for (ev. ordered) lists of information objects, e.g terminologies, subjects, knowledge domains.

type:

primitive

superclasses:

information-encoding-system #3

constraints:

restriction involves #2 has-class information-object #2

class cognitive-agentive-physical-object #9

namespace:

http://www.loa-cnr.it/ontologies/Actions#

documentation:

An agentive physical object that is able to have desires and intentions, besides beliefs. In this ontology, this is encoded as having the ability to conceive plans.

type:

defined

superclasses:

agentive-physical-object #5

constraints:

restriction conceives #2 has-class plan #2

used in classes:

desire #13
social-relationship #2

used in properties:

adopted-by #9
adopts #9
adopts-goal #1
adopts-plan #1
created-by #9
creates #9

class cognitive-event #9

namespace:

http://www.loa-cnr.it/ontologies/Actions#

documentation:

An event occurring in the (embodied) mind.

type:

primitive

superclasses:

event #5

constraints:

restriction substrate #6 has-class natural-person #5

class cognitive-modal-description #13

namespace:

http://www.loa-cnr.it/ontologies/ModalDescriptions#

documentation:

The modal descriptions depending on some mental attitude, represented here by means of a relation between roles and tasks.

type:

primitive

superclasses:

modal-description #2

known subclasses:

commitment #13
desire #13

used in classes:

commitment #13
desire #13

class cognitive-state #9

namespace:

http://www.loa-cnr.it/ontologies/Actions#

documentation:

A state of the (embodied) mind

type:

primitive

superclasses:

state #5

constraints:

restriction substrate #6 has-class natural-person #5

used in classes:

action #9

class collection #12

namespace:

http://www.loa-cnr.it/ontologies/Collections#

documentation:

Collections are social objects (either agentive or not), which are not defined by a description, but they depend both on member entities and on some concepts, figures, and indirectly on descriptions. While we could talk in general of collections of any kind of entities (events, objects, abstracts, etc.), we restrict here our attention to collections of endurants, and therefore to their roles (not to concepts whatsoever).

type:

defined

superclasses:

social-object #5

constraints:

restriction member #12 has-class endurant #5
restriction member #12 to-class endurant #5
property-constraint member #12 min-cardinality 2 endurant #5
restriction covered-by #12 has-class role #2

known subclasses:

collective #15
non-physical-collection #12
organized-collection #12
simple-collection #12

used in classes:

collection-role #4
collective #15
non-physical-collection #12
organized-collection #12
physical-plurality #12
simple-collection #12
system-as-artifact #14

used in properties:

characterized-by #12
characterizes #12
covered-by #12
covers #12
extensionally-equivalent #12
member #12
member-of #12
unified-by #12
unifies #12

axioms:

disjoint concept #2 collection #12
disjoint description #2 collection #12
disjoint figure #2 collection #12
disjoint information-object #2 collection #12

class collection-role #4

namespace:

http://www.loa-cnr.it/ontologies/CommonSenseMapping#

documentation:

A role only played by collections.

type:

defined

superclasses:

role #2

constraints:

restriction played-by #2 to-class collection #12

class collective #15

namespace:

http://www.loa-cnr.it/ontologies/Collectives#

documentation:

A collection whose members are only agents.

type:

defined

superclasses:

collection #12
agentive-social-object #5

constraints:

restriction member #12 to-class (agentive-physical-object #5 or agentive-social-object #5)

known subclasses:

organized-collective #15
simple-collective #15

used in classes:

organized-collective #15
simple-collective #15
social-description #2
social-individual #10

class combinatorial-system #3

namespace:

http://www.loa-cnr.it/ontologies/InformationObjects#

documentation:

An information encoding system that provides roles and operations to create valid information objects (e.g. grammars, templates, codes).

type:

primitive

superclasses:

information-encoding-system #3

constraints:

restriction orders #3 to-class information-object #2

known subclasses:

grammar #3
semiotic-code #16

used in classes:

grammar #3
semiotic-code #16

class commerce-role #4

namespace:

http://www.loa-cnr.it/ontologies/CommonSenseMapping#

documentation:

A role played by some substance or object within a commercial transaction description.

type:

primitive

superclasses:

social-role #2

class commitment #13

namespace:

http://www.loa-cnr.it/ontologies/ModalDescriptions#

documentation:

A commitment is a cognitive modal description, characterized by certain obligations and rights targeted by at least one of its roles.

type:

primitive

superclasses:

cognitive-modal-description #13

known subclasses:

promise #13
responsibility #13

used in classes:

promise #13
responsibility #13

class communication-event #5

namespace:

http://www.loa-cnr.it/ontologies/DOLCE-Lite#

documentation:

Here communication is taken in a rather wide sense, being possible as an (intentional) activity as well as a phenomenon.

type:

primitive

superclasses:

accomplishment #5

used in classes:

social-object #5

class communication-role #16

namespace:

http://www.loa-cnr.it/ontologies/SemioticCommunicationTheory#

documentation:

The roles employed to characterize communication. E.g. the roles from Jakobson's theory of communication.

type:

primitive

superclasses:

role #2

used in classes:

semiotic-role #16

used in individuals:

c-context #16
channel-role #16
code-role #16
decoder-role #16
encoder-role #16
interpreter-role #16
message-role #16

class communication-situation #16

namespace:

http://www.loa-cnr.it/ontologies/SemioticCommunicationTheory#

documentation:

Any situation that satisfies Jakobson's communication theory.

type:

defined

superclasses:

situation #2

constraints:

restriction satisfies #2 has-class one-of (Jakobson's-communication-theory #16)

class complex-task #1

namespace:

http://www.loa-cnr.it/ontologies/Plans#

documentation:

A task that has at least two other tasks as components.

type:

defined

superclasses:

task #2

constraints:

restriction component #2 has-class task #2
property-constraint component #2 min-cardinality 2 task #2

known subclasses:

bag-task #1
hybrid-task #1
maximal-task #1
sequential-task #1

used in classes:

bag-task #1
hybrid-task #1
maximal-task #1
sequential-task #1

used in individuals:

synchro-task #1

class concept #2

namespace:

http://www.loa-cnr.it/ontologies/DnS#

documentation:

AKA C-Description. A non-physical object that is defined by a description s, and whose function is classifying entities from a ground ontology in order to build situations that can satisfy s.

type:

primitive

superclasses:

non-agentive-social-object #5

constraints:

restriction defined-by #2 has-class description #2
restriction refined-by #2 to-class concept #2

known subclasses:

course #2
parameter #2
role #2

used in classes:

circumstantial-plan #1
concept #2
course #2
description #2
parameter #2
role #2

used in properties:

classified-by #2
classifies #2
d-used-by #2
d-uses #2
defined-by #2
defines #2
optionally-used-by #2
optionally-uses #2
refined-by #2
refines #2

axioms:

disjoint concept #2 description #2
disjoint concept #2 figure #2
disjoint concept #2 information-object #2
disjoint concept #2 collection #12

class constitutive-description #2

namespace:

http://www.loa-cnr.it/ontologies/DnS#

documentation:

A description whose main purpose is defining a figure.

type:

primitive

superclasses:

description #2

constraints:

restriction defines #2 has-class figure #2

used in classes:

figure #2

class contract #4

namespace:

http://www.loa-cnr.it/ontologies/CommonSenseMapping#

documentation:

A binding agreement that is possibly enforceable by law.

type:

primitive

superclasses:

regulation #2

constraints:

restriction part #5 has-class promise #13

class control-task #1

namespace:

http://www.loa-cnr.it/ontologies/Plans#

documentation:

A control task is an elementary task that sequences a planning activity, e.g. an activity aimed at (cognitively or via simulation) anticipating other activities. Therefore, control tasks have usually at least one direct successor task (the controlled one), with the exception of ending tasks. The reification of control constructs allows to represent procedural knowledge into the same ontology including controlled action. Besides cognitive transparency and independency from a particular grounding system, a further advantage is enable the representation of coordination tasks. For example, a manager that coordinates the execution of several related activities can be represented as a role with a responsibility (duty+right) towards some complex task.

type:

defined

superclasses:

elementary-task #1

constraints:

restriction sequences #2 to-class (planning-activity #1 or decision-state #1)

known subclasses:

plan-assessment-task #1

used in classes:

bag-task #1
hybrid-task #1
plan-assessment-task #1
sequential-task #1

used in properties:

exit-condition #1
exit-condition-of #1

used in individuals:

abandonment-task #1
abortion-task #1
activation-task #1
alternate-task #1
any-order-task #1
beginning-task #1
branching-task #1
case-task #1
completion-task #1
concurrency-task #1
deliberation-task #1
ending-task #1
loop-for #1
loop-task #1
loop-until #1
parallel-task #1
partly-case-task #1
reactivation-task #1
suspension-task #1
synchro-task #1

axioms:

disjoint action-task #1 control-task #1

class country #4

namespace:

http://www.loa-cnr.it/ontologies/CommonSenseMapping#

documentation:

A political geographic object that is (generically) dependent on some physical place (in principle, countries can change their borders).

type:

primitive

superclasses:

political-geographic-object #4

constraints:

restriction generically-dependent-on #5 has-class physical-place #4

class course #2

namespace:

http://www.loa-cnr.it/ontologies/DnS#

documentation:

A concept that selects (in particular, it 'sequences') perdurants (processes, events, or states), as a component of some s-description. Courses are the descriptive counterpart of perdurants, and, as perdurants have endurants as participatants, they are usually the target of attitudes of some functional role. This relation is named 'modality target of', because it actually reifies at first order a typology of modal relations.

type:

primitive

superclasses:

concept #2

constraints:

restriction defined-by #2 has-class description #2
restriction sequences #2 to-class perdurant #5
restriction modal-target-of #2 to-class (role #2 or figure #2)
restriction part #5 to-class course #2

known subclasses:

life-cycle #9
path #4
task #2

used in classes:

activity #9
course #2
life-cycle #9
modal-description #2
parameter #2
path #4
role #2
task #2

used in properties:

attitude-target-of #2
attitude-towards #2
desire-target-of #13
desire-towards #13
expected-setting #2
expected-setting-for #2
modal-target #2
modal-target-of #2
requisite #2