@prefix : <https://w3id.org/fossr/ontology/bdi/> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix vs: <http://www.w3.org/2003/06/sw-vocab-status/ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rev: <https://w3id.org/fossr/ontology/bdi-rev/> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix vann: <http://purl.org/vocab/vann/> .
@prefix terms: <http://purl.org/dc/terms/> .
@base <https://w3id.org/fossr/ontology/bdi/> .

<https://w3id.org/fossr/ontology/bdi/> rdf:type owl:Ontology ;
                                        owl:versionIRI <https://w3id.org/fossr/bdi/ontology/0.4/> ;
                                        dc:description <https://raw.githubusercontent.com/fossr-project/ontology/refs/heads/main/bdi/bdi.png> ,
                                                       """The BDI Ontology provides a formal framework to model the Belief-Desire-Intention (BDI) architecture for rational agents. It defines key mental states—Beliefs, Desires, and Intentions—and their relationships, capturing the agent’s reasoning, motivation, and commitment to action. Supporting classes include Propositions (content of mental states), Justifications (rationale for mental states), Plans (action sequences for goals), and TimeIntervals (temporal validity of entities).

Key properties like hasBelief, hasDesire, and hasIntention link agents to mental states, while fulfills, adoptsIntention, and motivatesDesire model dynamic interactions. Temporal properties enable reasoning about time-sensitive states and plans. Axioms ensure consistency, such as disjointness between mental states and domain-specific constraints.

This ontology supports reasoning, querying, and analysis of agent behaviour, enabling applications in AI, multi-agent systems, and decision support."""@en ;
                                        terms:creator <https://orcid.org/0000-0001-6577-5606> ,
                                                      <https://orcid.org/0000-0001-8505-5040> ,
                                                      <https://orcid.org/0000-0001-9816-5839> ,
                                                      <https://orcid.org/0000-0002-0266-3452> ,
                                                      <https://orcid.org/0000-0002-2536-8659> ,
                                                      <https://orcid.org/0000-0002-5074-2112> ,
                                                      <https://orcid.org/0000-0003-2928-9496> ,
                                                      <https://orcid.org/0009-0006-3298-6232> ,
                                                      <https://orcid.org/0009-0009-3976-0107> ;
                                        terms:issued "2025-10-28" ;
                                        terms:license <https://creativecommons.org/licenses/by/4.0/> ;
                                        terms:modified "2026-04-13" ;
                                        terms:publisher <https://w3id.org/italia/data/organization/support-unit/cnr-Z6HZEH/stlab> ;
                                        terms:rights "Copyright © 2025 CNR-ISTC, STLab" ;
                                        terms:title "Belief-Desire-Intention Ontology"@en ;
                                        vann:preferredNamespacePrefix "bdi" ,
                                                                      "https://w3id.org/fossr/ontology/bdi/" ;
                                        rdfs:comment """The BDI Ontology provides a formal framework to model the Belief-Desire-Intention (BDI) architecture for rational agents. It defines key mental states—Beliefs, Desires, and Intentions—and their relationships, capturing the agent’s reasoning, motivation, and commitment to action. Supporting classes include Propositions (content of mental states), Justifications (rationale for mental states), Plans (action sequences for goals), and TimeIntervals (temporal validity of entities).

Key properties like hasBelief, hasDesire, and hasIntention link agents to mental states, while fulfills, adoptsIntention, and motivatesDesire model dynamic interactions. Temporal properties enable reasoning about time-sensitive states and plans. Axioms ensure consistency, such as disjointness between mental states and domain-specific constraints.

This ontology supports reasoning, querying, and analysis of agent behaviour, enabling applications in AI, multi-agent systems, and decision support."""@en ;
                                        rdfs:label "Belief-Desire-Intention Ontology"@en ;
                                        owl:versionInfo 0.4 .

#################################################################
#    Annotation properties
#################################################################

###  http://purl.org/dc/elements/1.1/description
dc:description rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/creator
terms:creator rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/issued
terms:issued rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/license
terms:license rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/modified
terms:modified rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/publisher
terms:publisher rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/rights
terms:rights rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/title
terms:title rdf:type owl:AnnotationProperty .


###  http://purl.org/vocab/vann/preferredNamespacePrefix
vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty .


###  http://purl.org/vocab/vann/preferredNamespaceUri
vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .


###  http://www.w3.org/1999/02/22-rdf-syntax-ns#type
rdf:type rdf:type owl:AnnotationProperty .


###  http://www.w3.org/2003/06/sw-vocab-status/ns#term_status
vs:term_status rdf:type owl:AnnotationProperty .


#################################################################
#    Object Properties
#################################################################

###  https://w3id.org/fossr/ontology/bdi/addresses
:addresses rdf:type owl:ObjectProperty ;
           owl:inverseOf :isAddressedBy ;
           rdfs:domain :Plan ;
           rdfs:range :Goal ;
           rdfs:comment "The object property :addresses links a Plan to the Goal it is intended to fulfil. It captures the teleological nature of planning, where a Plan is not arbitrary but constructed with the explicit purpose of realising a desired state of the world, as described by a Goal. This property formalises the intentional link between planning and goal-oriented behaviour in agents. For example, a Plan to deploy renewable energy subsidies may address a Goal of reducing greenhouse gas emissions. The :addresses relation supports reasoning about the relevance and suitability of plans with respect to their objectives, thereby enabling goal-driven agent behaviour and planning traceability."@en ;
           rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
           rdfs:label "addresses"@en ;
           vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/affects
:affects rdf:type owl:ObjectProperty ;
         owl:inverseOf :isAffectedBy ;
         rdfs:domain :MentalProcess ;
         rdfs:range :MentalEntity ;
         rdfs:comment """The object property affects links a MentalProcess to the MentalState(s) 
that it generates, modifies, or suppresses. This property captures the 
dynamic aspect of cognition, where mental states do not remain static 
but evolve through processes such as BeliefProcessing, DesireProcessing, 
and IntentionProcessing. For example, a BeliefProcessing activity may 
affect a Belief by updating its content, while an IntentionProcessing 
activity may affect an Intention by refining or suppressing it. By 
using affects, the ontology provides a uniform mechanism to describe 
the causal or transformative impact of mental processes on mental states, 
supporting reasoning about the lifecycle of cognitive entities and 
enhancing explainability of agent behaviour."""@en ;
         rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
         rdfs:label "affects"@en ;
         vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/atTime
:atTime rdf:type owl:ObjectProperty ;
        rdfs:domain owl:Thing ;
        rdfs:range :TemporalEntity ;
        rdfs:comment "The 'at time' property represents the relationship between a mental entity (such as a belief, desire, or intention) and the temporal entity it produces  or influences. This property is used to model how mental states give rise to time-bound events, processes, or commitments."@en ;
        rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
        rdfs:label "at time"@en ;
        vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/beginsWith
:beginsWith rdf:type owl:ObjectProperty ;
            owl:inverseOf :endsWith ;
            rdfs:domain owl:Thing ;
            rdfs:range owl:Thing ;
            rdfs:comment "The object property :beginsWith identifies the first element in a structured or ordered sequence. It is used to specify which component marks the starting point of a composite entity such as a plan. This property enables the ontology to model linear or sequential structures with clear entry points, which is essential for temporal reasoning, execution tracing, and validating ordering constraints. For example, a Plan may :beginsWith a specific ActionDescription, indicating the first step to be performed. The property is particularly useful in contexts where ordering, precedence, or flow control must be explicitly represented."@en ;
            rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
            rdfs:label "begins with"@en ;
            vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/bringsAbout
:bringsAbout rdf:type owl:ObjectProperty ;
             rdfs:domain [ rdf:type owl:Class ;
                           owl:unionOf ( :Action
                                         :PlanExecution
                                       )
                         ] ;
             rdfs:range :WorldState ;
             rdfs:comment "The object property :bringsAbout links a PlanExecution or an Action to the resulting WorldState it produces, modifies, or realises. It models the causal effect that executing a plan has on the environment, enabling reasoning about how agent actions lead to specific changes in the world. This property supports traceability from intentional behaviour to outcomes, and is essential for representing goal achievement, environmental dynamics, and the effects of decision-making over time."@en ;
             rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
             rdfs:label "brings about"@en ;
             vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/cognises
:cognises rdf:type owl:ObjectProperty ;
          owl:inverseOf :isCognisedBy ;
          rdfs:domain :Agent ;
          rdfs:range :MentalEntity ;
          rdfs:comment "The object property :cognises links an Agent to a MentalEntity, capturing the act of mentally entertaining, holding, or being aware of a cognitive entity. It is intended as a general relation that covers different types of propositional attitudes, such as believing, desiring, or intending, without reducing them to specific cases. For example, when an agent has a Belief, a Desire, or an Intention, this can be represented as the agent :cognises the corresponding MentalEntity. Similarly, an agent may cognise a MentalProcess, such as a deliberation or planning activity, that structures its reasoning. By introducing :cognises, the ontology provides a unifying mechanism for relating agents to the mental entities they hold, enabling reasoning across different types of cognitive states and processes while preserving the intentional dimension of cognition."@en ;
          rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
          rdfs:label "cognises"@en ;
          vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/defines
:defines rdf:type owl:ObjectProperty ;
         owl:inverseOf :isDefinedBy ;
         rdfs:domain :Planning ;
         rdfs:range :Plan ;
         rdfs:comment "Relates a Planning entity to one or more Plans, defining the structured actions an agent intends to execute to fulfill its intentions."@en ;
         rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
         rdfs:label "defines"@en ;
         vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/endsWith
:endsWith rdf:type owl:ObjectProperty ;
          rdfs:domain owl:Thing ;
          rdfs:range owl:Thing ;
          rdfs:comment "The object property :endsWith identifies the last element in a structured or ordered sequence. It is used to specify which component marks the ending point of a composite entity such as a plan. This property enables the ontology to model linear or sequential structures with clear entry points, which is essential for temporal reasoning, execution tracing, and validating ordering constraints. For example, a Plan may :endsWith a specific ActionDescription, indicating the last step to be performed. The property is particularly useful in contexts where ordering, precedence, or flow control must be explicitly represented."@en ;
          rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
          rdfs:label "ends with"@en ;
          vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/executes
:executes rdf:type owl:ObjectProperty ;
          owl:inverseOf :isExecutedBy ;
          rdfs:domain :Agent ;
          rdfs:range :PlanExecution ;
          rdfs:comment "The object property :executes links an Agent to a PlanExecution, indicating that the agent is responsible for carrying out a specific instance of plan enactment. This property captures the realisation of an intended course of action, as described by a Plan, in the external world by the agent. For example, if an agent has committed to a plan for implementing a new policy, the actual execution of that plan is connected to the agent through :executes. This relation is essential for modelling the transition from intention to action and for enabling traceability and accountability of agent behaviour."@en ;
          rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
          rdfs:label "executes"@en ;
          vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/follows
:follows rdf:type owl:ObjectProperty ;
         owl:inverseOf :precedes ;
         rdf:type owl:TransitiveProperty ;
         rdfs:domain owl:Thing ;
         rdfs:range owl:Thing ;
         rdfs:comment "The object property :follows represents a temporal or logical ordering between two entities, where the subject is understood to occur or be positioned after the object. This property is transitive, allowing the expression of sequences in which multiple elements are ordered, such as actions within a plan, events in a process, or reasoning steps in a cognitive sequence. For example, in a plan composed of ordered actions, one ActionDescription may :follows another to indicate that it should be performed subsequently. This property supports temporal reasoning, process traceability, and structural consistency within ordered models."@en ;
         rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
         rdfs:label "follows"@en ;
         vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/fulfills
:fulfills rdf:type owl:ObjectProperty ;
          owl:inverseOf :isFulfilledBy ;
          rdfs:domain :Intention ;
          rdfs:range :Desire ;
          rdfs:comment "The fulfills property links an entity, such as an intention or a plan, to the goal it is designed to achieve. It represents the relationship between an agent's commitment or strategy and the desired outcome."@en ;
          rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
          rdfs:label "fulfills"@en ;
          vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/generates
:generates rdf:type owl:ObjectProperty ;
           rdfs:subPropertyOf :affects ;
           owl:inverseOf :isGeneratedBy ;
           rdfs:domain :MentalProcess ;
           rdfs:range :MentalState ;
           rdfs:comment """The object property generates is a subproperty of :affects and captures 
the relation between a MentalProcess and a newly created MentalState. 
It is used when a cognitive process results in the formation of a 
previously non-existent state, such as the generation of a new Belief 
after perceiving a WorldState, the creation of a new Desire in response 
to a motivational factor, or the commitment to a new Intention during 
deliberation. This property explicitly models the generative aspect of 
cognition, ensuring that the ontology can represent the emergence of 
mental states as part of an agent's reasoning dynamics."""@en ;
           rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
           rdfs:label "generates"@en ;
           vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/hasBelief
:hasBelief rdf:type owl:ObjectProperty ;
           rdfs:subPropertyOf :hasMentalState ;
           owl:inverseOf :isBeliefOf ;
           rdfs:domain :Agent ;
           rdfs:range :Belief ;
           rdfs:comment "The hasBelief property links an agent to the belief(s) they hold, representing the agent’s informational state about the world."@en ;
           rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
           rdfs:label "has belief"@en ;
           vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/hasBeliefProcess
:hasBeliefProcess rdf:type owl:ObjectProperty ;
                  rdfs:subPropertyOf :hasMentalProcess ;
                  owl:inverseOf :isBeliefProcessOf ;
                  rdfs:domain :Agent ;
                  rdfs:range :BeliefProcess ;
                  rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
                  vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/hasComponent
:hasComponent rdf:type owl:ObjectProperty ;
              rdfs:subPropertyOf :hasPart ;
              owl:inverseOf :isComponentOf ;
              rdf:type owl:AsymmetricProperty ;
              rdfs:domain owl:Thing ;
              rdfs:range owl:Thing ;
              rdfs:comment "The object property :hasComponent expresses a compositional relationship in which the subject entity includes the object as one of its components. It is used to model structural or functional parts that collectively form a more complex whole, allowing flexible representation of modular systems, compound entities, or hierarchical structures. This property applies broadly to both physical and abstract entities, such as a plan composed of multiple action descriptions, or a mental model composed of interrelated mental states. The use of :hasComponent supports reasoning over part-whole dependencies, system decomposition, and modular analysis."@en ;
              rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
              rdfs:label "has component"@en ;
              vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/hasDesire
:hasDesire rdf:type owl:ObjectProperty ;
           rdfs:subPropertyOf :hasMentalState ;
           owl:inverseOf :isDesireOf ;
           rdfs:domain :Agent ;
           rdfs:range :Desire ;
           rdfs:comment "The hasDesire property links an agent to the desire(s) they aspire to achieve, representing the agent’s motivational preferences."@en ;
           rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
           rdfs:label "has desire"@en ;
           vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/hasDesireProcess
:hasDesireProcess rdf:type owl:ObjectProperty ;
                  rdfs:subPropertyOf :hasMentalProcess ;
                  owl:inverseOf :isDesireProcessOf ;
                  rdfs:domain :Agent ;
                  rdfs:range :DesireProcess ;
                  rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
                  vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/hasEndTime
:hasEndTime rdf:type owl:ObjectProperty ;
            rdfs:domain :TimeInterval ;
            rdfs:range :TimeInstant ;
            rdfs:comment "Defines the temporal istant by specifying when a TimeInterval concludes. This is essential for modeling the execution timeframe of an agent’s plans, actions, or mental states."@en ;
            rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
            rdfs:label "has end time"@en ;
            vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/hasIntention
:hasIntention rdf:type owl:ObjectProperty ;
              rdfs:subPropertyOf :hasMentalState ;
              owl:inverseOf :isIntentionOf ;
              rdfs:domain :Agent ;
              rdfs:range :Intention ;
              rdfs:comment "The hasIntention property links an agent to the intention(s) they commit to, representing the agent’s deliberative state for action."@en ;
              rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
              rdfs:label "has intention"@en ;
              vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/hasIntentionProcess
:hasIntentionProcess rdf:type owl:ObjectProperty ;
                     rdfs:subPropertyOf :hasMentalProcess ;
                     owl:inverseOf :isIntentionProcessOf ;
                     rdfs:domain :Agent ;
                     rdfs:range :IntentionProcess ;
                     rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
                     vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/hasMentalProcess
:hasMentalProcess rdf:type owl:ObjectProperty ;
                  rdfs:subPropertyOf :cognises ;
                  owl:inverseOf :isMentalProcessOf ;
                  rdfs:domain :Agent ;
                  rdfs:range :MentalProcess ;
                  rdfs:comment "\"The hasMentalProcess property is an object property that links an agent to one or more of its mental process, such as beliefs formation, desires formation, or intentions formation. It establishes a relationship between the agent (as the holder of mental process) and the abstract representations of those states, enabling changing the agent's mental state."@en ;
                  rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
                  rdfs:label "has mental process"@en ;
                  vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/hasMentalState
:hasMentalState rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf :cognises ;
                owl:inverseOf :isMentalStateOf ;
                rdfs:domain :Agent ;
                rdfs:range :MentalState ;
                rdfs:comment "The hasMentalState property is an object property that links an agent to one or more of its mental states, such as beliefs, desires, or intentions. It establishes a relationship between the agent (as the holder of mental states) and the abstract representations of those states, enabling reasoning about the agent's internal cognitive or motivational processes."@en ,
                             "has mental state"@en ;
                rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
                vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/hasPart
:hasPart rdf:type owl:ObjectProperty ;
         owl:inverseOf :isPartOf ;
         rdf:type owl:TransitiveProperty ,
                  owl:ReflexiveProperty ;
         rdfs:domain owl:Thing ;
         rdfs:range owl:Thing ;
         rdfs:comment "The object property hasPart formalises meronymic (part–whole) relations among mental entities. It is used to represent the fact that complex mental constructs—whether mental states or mental processes—can be decomposed into constituent parts. This allows the ontology to capture the compositional structure of cognition: for example, a Belief may have parts corresponding to different propositional components (e.g., time, location, agent), or a PlanningProcess may have parts representing successive reasoning steps. By asserting :hasPart relations, mental entities need not be treated as atomic, but can instead be modelled as structured and analyzable wholes, thereby supporting fine-grained reasoning, updates to specific components, and richer forms of explainability. The inverse relation of hasPart is partOf."@en ;
         rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
         rdfs:label "has part"@en ;
         vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/hasPlanning
:hasPlanning rdf:type owl:ObjectProperty ;
             rdfs:subPropertyOf :hasMentalProcess ;
             owl:inverseOf :isPlanningOf ;
             rdfs:domain :Agent ;
             rdfs:range :Planning ;
             rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
             vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/hasStartTime
:hasStartTime rdf:type owl:ObjectProperty ;
              rdfs:domain :TimeInterval ;
              rdfs:range :TimeInstant ;
              rdfs:comment "Defines the temporal istant by specifying when a TimeInterval starts. This is essential for modeling the execution timeframe of an agent’s plans, actions, or mental states." ;
              rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
              rdfs:label "has start time"@en ;
              vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/hasValidity
:hasValidity rdf:type owl:ObjectProperty ;
             rdfs:subPropertyOf owl:topObjectProperty ;
             owl:inverseOf :isTemporalValidityOf ;
             rdfs:domain owl:Thing ;
             rdfs:range :TimeInterval ;
             rdfs:comment "The hasValidity property links an entity to a TemporalEntity during which it is valid, active, or applicable. This property represents the temporal scope or extent of the entity's relevance or operation."@en ;
             rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
             rdfs:label "has temporal validity"@en ;
             vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isAddressedBy
:isAddressedBy rdf:type owl:ObjectProperty ;
               rdfs:domain :Goal ;
               rdfs:range :Plan ;
               rdfs:comment "The object property :isAddressedBy is the inverse of :addresses and links a Goal to the Plan(s) designed to fulfil it. This property allows reasoning from the perspective of goals, enabling identification of the plans formulated to achieve a given objective. For instance, a Goal such as ensuring public health safety may be :isAddressedBy multiple Plans representing different intervention strategies. The property supports goal monitoring, plan evaluation, and comparative analysis of alternative courses of action, facilitating transparency and justification in goal-oriented agent behaviour."@en ;
               rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
               rdfs:label "is addressed by"@en ;
               vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isAffectedBy
:isAffectedBy rdf:type owl:ObjectProperty ;
              rdfs:domain :MentalEntity ;
              rdfs:range :MentalProcess ;
              rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
              rdfs:label "is affected by"@en ;
              vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isBeliefOf
:isBeliefOf rdf:type owl:ObjectProperty ;
            rdfs:subPropertyOf :isMentalStateOf ;
            rdfs:domain :Belief ;
            rdfs:range :Agent ;
            rdfs:comment "The isBeliefOf property links a belief to the agent that holds it."@en ;
            rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
            rdfs:label "is belief of"@en ;
            vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isBeliefProcessOf
:isBeliefProcessOf rdf:type owl:ObjectProperty ;
                   rdfs:subPropertyOf :isMentalProcessOf ;
                   rdfs:domain :BeliefProcess ;
                   rdfs:range :Agent ;
                   rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
                   vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isCognisedBy
:isCognisedBy rdf:type owl:ObjectProperty ;
              rdfs:domain :MentalEntity ;
              rdfs:range :Agent ;
              rdfs:comment "The object property :isCognisedBy is the inverse of :cognises. It links a MentalEntity to the Agent that entertains, holds, or is aware of it. This property makes explicit which agent is associated with a given mental entity, such as a Belief, Desire, Intention, or MentalProcess. For example, a Belief that 'the meeting is cancelled' may be :isCognisedBy an agent who holds that belief, while a Plan or Intention may be :isCognisedBy the agent that commits to it. This property is essential for reasoning from the perspective of mental entities, as it allows the ontology to trace mental content back to its cognitive bearer. Together with :cognises, it supports explainability by showing both the mental states an agent holds and the agents that cognise specific mental entities."@en ;
              rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
              rdfs:label "is cognised by"@en ;
              vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isComponentOf
:isComponentOf rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf :isPartOf ;
               rdf:type owl:AsymmetricProperty ;
               rdfs:domain owl:Thing ;
               rdfs:range owl:Thing ;
               rdfs:comment "The object property :isComponentOf is the inverse of :hasComponent and denotes that the subject entity functions as a component within a larger structure or system. It captures part-to-whole relationships in various contexts, such as an action step being part of a plan. This property facilitates structural reasoning, enabling the identification of higher-level entities to which a given component belongs. It is particularly useful for representing hierarchical, modular, or compositional models in both cognitive and operational domains."@en ;
               rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
               rdfs:label "is component of"@en ;
               vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isDefinedBy
:isDefinedBy rdf:type owl:ObjectProperty ;
             rdfs:domain :Plan ;
             rdfs:range :Planning ;
             rdfs:comment "Indicates that a Plan instance is defined by a specific Planning entity."@en ;
             rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
             rdfs:label "is defined by"@en ;
             vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isDesireOf
:isDesireOf rdf:type owl:ObjectProperty ;
            rdfs:subPropertyOf :isMentalStateOf ;
            rdfs:domain :Desire ;
            rdfs:range :Agent ;
            rdfs:comment "The isDesireOf property links a desire to the agent that holds it."@en ;
            rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
            rdfs:label "is desire of"@en ;
            vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isDesireProcessOf
:isDesireProcessOf rdf:type owl:ObjectProperty ;
                   rdfs:subPropertyOf :isMentalProcessOf ;
                   rdfs:domain :DesireProcess ;
                   rdfs:range :Agent ;
                   rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
                   vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isExecutedBy
:isExecutedBy rdf:type owl:ObjectProperty ;
              rdfs:domain :PlanExecution ;
              rdfs:range :Agent ;
              rdfs:comment "The object property :isExecutedBy is the inverse of :executes and connects a PlanExecution to the Agent that performs it. It specifies who is enacting a particular plan in a given context. This property is crucial for understanding who is operationally responsible for turning a plan into action, allowing the ontology to support explanations of observed behaviours, audit processes, and verification of agent compliance. For instance, a PlanExecution aimed at deploying a new system may be :isExecutedBy the agent tasked with implementing it."@en ;
              rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
              rdfs:label "is executed by"@en ;
              vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isFulfilledBy
:isFulfilledBy rdf:type owl:ObjectProperty ;
               rdfs:domain :Desire ;
               rdfs:range :Intention ;
               rdfs:comment "The isFulfilledBy property is the inverse of fulfills. It links a goal to the intention(s) or plan(s) that are committed to or designed to achieve it. This property enables reasoning from the perspective of goals to identify the entities working toward their fulfilment."@en ,
                            "is fulfilled by"@en ;
               rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
               vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isGeneratedBy
:isGeneratedBy rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf :isAffectedBy ;
               rdfs:domain :MentalState ;
               rdfs:range :MentalProcess ;
               rdfs:comment "The object property :isGeneratedBy is the inverse of :generates. It links a MentalState to the MentalProcess that created it. This property enables reasoning over the origin of mental states, supporting explainability and traceability of cognitive dynamics. For example, a Belief may be :isGeneratedBy a BeliefProcessing activity triggered by the perception of a WorldState, while an Intention may be :isGeneratedBy an IntentionProcessing activity that selected a Desire for commitment. By modelling generative origins explicitly, the ontology provides mechanisms for explaining why and how specific mental states come into existence."@en ;
               rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
               rdfs:label "is generated by"@en ;
               vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isIntentionOf
:isIntentionOf rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf :isMentalStateOf ;
               rdfs:domain :Intention ;
               rdfs:range :Agent ;
               rdfs:comment "The isIntentionOf property links an intention to the agent that holds it."@en ;
               rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
               rdfs:label "is intention of"@en ;
               vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isIntentionProcessOf
:isIntentionProcessOf rdf:type owl:ObjectProperty ;
                      rdfs:subPropertyOf :isMentalProcessOf ;
                      rdfs:domain :IntentionProcess ;
                      rdfs:range :Agent ;
                      rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
                      vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isJustifiedBy
:isJustifiedBy rdf:type owl:ObjectProperty ;
               owl:inverseOf :justifies ;
               rdfs:domain :MentalEntity ;
               rdfs:range :Justification ;
               rdfs:comment "The isJustifiedBy property is the inverse of justifies. It links a mental entity to the justification(s) that support it, enabling reasoning about the basis for the mental entity."@en ;
               rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
               rdfs:label "is justified by"@en ;
               vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isMentalProcessOf
:isMentalProcessOf rdf:type owl:ObjectProperty ;
                   rdfs:subPropertyOf :isCognisedBy ;
                   rdfs:domain :MentalProcess ;
                   rdfs:range :Agent ;
                   rdfs:comment "The isMentalProcessOf property is the inverse object property of hasMentalProcess. It links a mental priocess (such as a belief formation, desire formation, or intentio formationn) to the agent that holds it. This property allows for reasoning and querying in the opposite direction, starting from a mental process and identifying the associated agent."@en ;
                   rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
                   rdfs:label "is mental process of"@en ;
                   vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isMentalStateOf
:isMentalStateOf rdf:type owl:ObjectProperty ;
                 rdfs:subPropertyOf :isCognisedBy ;
                 rdfs:domain :MentalState ;
                 rdfs:range :Agent ;
                 rdfs:comment "The isMentalStateOf property is the inverse object property of hasMentalState. It links a mental state (such as a belief, desire, or intention) to the agent that holds it. This property allows for reasoning and querying in the opposite direction, starting from a mental state and identifying the associated agent."@en ;
                 rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
                 rdfs:label "is mental state of"@en ;
                 vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isModifiedBy
:isModifiedBy rdf:type owl:ObjectProperty ;
              rdfs:subPropertyOf :isAffectedBy ;
              owl:inverseOf :modifies ;
              rdfs:domain :MentalState ;
              rdfs:range :MentalProcess ;
              rdfs:comment "The object property :isModifiedBy is the inverse of :modifies. It links a MentalState to the MentalProcess that has altered it. This property is used to capture the history of changes that a mental state undergoes over time, such as updates, refinements, or adjustments. For instance, a Desire may be :isModifiedBy a DesireProcessing activity that adjusts its priority, or a Belief may be :isModifiedBy a BeliefProcessing activity that incorporates new evidence. The property ensures that modifications to cognitive states can be explicitly represented and traced for purposes of explainability and reasoning about cognitive dynamics."@en ;
              rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
              rdfs:label "is modified by"@en ;
              vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isMotivatedBy
:isMotivatedBy rdf:type owl:ObjectProperty ;
               owl:inverseOf :motivates ;
               rdfs:domain :Desire ;
               rdfs:range :Belief ;
               rdfs:comment "The isDesireMotivatedBy property is the inverse of motivatesDesire. It links a desire to the belief(s) that provide the motivational basis for its formation. This property captures the relationship where a belief influences an agent to form or hold a specific desire."@en ;
               rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
               rdfs:label "is desire motivated by"@en ;
               vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isPartOf
:isPartOf rdf:type owl:ObjectProperty ,
                   owl:TransitiveProperty ,
                   owl:ReflexiveProperty ;
          rdfs:domain owl:Thing ;
          rdfs:range owl:Thing ;
          rdfs:comment """The object property isPartOf represents the inverse of hasPart, 
capturing the fact that a mental entity is a constituent part of another 
mental entity. This property supports reasoning over hierarchical and 
compositional structures of cognition: for example, a propositional 
component may be part of a complex Belief, or a reasoning step may be 
part of a broader PlanningProcess. The use of isPartOf allows the ontology 
to reconstruct the larger cognitive structures to which a mental entity 
belongs, complementing the decomposition enabled by hasPart."""@en ;
          rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
          rdfs:label "is part of"@en ;
          vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isPerceivedBy
:isPerceivedBy rdf:type owl:ObjectProperty ;
               owl:inverseOf :perceives ;
               rdfs:domain :WorldState ;
               rdfs:range :Agent ;
               rdfs:comment """The object property isPerceivedBy links a WorldState to an Agent,  indicating that the state of the world is perceived by that agent. This property allows world states to be contextualised with respect to specific agents, supporting reasoning about which agents have knowledge of, or awareness of, a given condition in the environment. For example, a WorldState describing 'the room is cold' may be 
:isPerceivedBy an agent, which in turn can generate corresponding beliefs, desires, or intentions. This property is the inverse of perceives."""@en ;
               rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
               rdfs:label "is perceived by"@en ;
               vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isPlanningOf
:isPlanningOf rdf:type owl:ObjectProperty ;
              rdfs:subPropertyOf :isMentalProcessOf ;
              rdfs:domain :Planning ;
              rdfs:range :Agent ;
              rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
              vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isProcessedBy
:isProcessedBy rdf:type owl:ObjectProperty ;
               owl:inverseOf :processes ;
               rdfs:domain :MentalProcess ;
               rdfs:range :Agent ;
               rdfs:comment "Indicates that a MentalProcess is performed or carried out by a specific Agent as part of its cognitive activities" ;
               rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
               rdfs:label "is processed by"@en ;
               vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isReasonedUponBy
:isReasonedUponBy rdf:type owl:ObjectProperty ;
                  owl:inverseOf :reasonsUpon ;
                  rdfs:domain :MentalState ;
                  rdfs:range :MentalProcess ;
                  rdfs:comment "The object property :isReasonedUponBy is the inverse of :reasonsUpon. It links a MentalState to the MentalProcess that uses it as input for cognitive deliberation or transformation. This property supports reasoning from the perspective of the mental state, enabling the ontology to answer questions suc as which processes have operated on a given belief, desire, or intention. For example, a Desire may be :isReasonedUponBy an IntentionProcess that evaluates its feasibility and selects it for commitment. The property plays a key role in making explicit the dependency chains within an agent’s reasoning process, thus enhancing explainability and traceability of cognitive dynamics."@en ;
                  rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
                  rdfs:label "is reasoned upon by"@en ;
                  vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isReferredBy
:isReferredBy rdf:type owl:ObjectProperty ;
              owl:inverseOf :refersTo ;
              rdfs:domain :WorldState ;
              rdfs:range :MentalEntity ;
              rdfs:comment "The object property isReferredBy is defined as the inverse of :refersTo. It links a WorldState to the MentalEntities (beliefs, desires, intentions) that are directed toward it. This property is useful for tracing how a given world state is cognitively represented across different agents, thereby enabling reasoning over shared beliefs, conflicting desires, or multiple intentions that concern the same state of affairs."@en ;
              rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
              rdfs:label "is referred by"@en ;
              vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isSatisfiedBy
:isSatisfiedBy rdf:type owl:ObjectProperty ;
               owl:inverseOf :satisfies ;
               rdfs:domain :Plan ;
               rdfs:range :PlanExecution ;
               rdfs:comment "The object property :isSatisfiedBy links a Plan to its corresponding PlanExecution, representing the realisation of the plan in a concrete, time-bounded context. While a Plan describes a structured set of intended actions aimed at achieving a Goal, the PlanExecution represents the actual enactment of that plan by an agent. This property allows the ontology to trace how abstract intentions are translated into actions, enabling reasoning over whether and how a plan has been carried out. For example, a Plan for emergency response may have an associated PlanExecution that occurred during a specific crisis scenario. The :isSatisfiedBy relation supports temporal monitoring, evaluation, and explanation of agent behaviour."@en ;
               rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
               rdfs:label "is satisfied by"@en ;
               vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isSpecifiedBy
:isSpecifiedBy rdf:type owl:ObjectProperty ;
               owl:inverseOf :specifies ;
               rdfs:domain :Plan ;
               rdfs:range :Intention ;
               rdfs:comment "The isSpecifiedBy property is the inverse of specifiesPlan. It links a plan to the intention it is designed to fulfil, enabling reasoning about the motivational context behind the plan."@en ;
               rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
               rdfs:label "is specified by"@en ;
               vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isSupportedBy
:isSupportedBy rdf:type owl:ObjectProperty ;
               owl:inverseOf :supports ;
               rdfs:domain :Intention ;
               rdfs:range :Belief ;
               rdfs:comment "The isIntentionSupportedBy property is the inverse of supportsIntention. It links an intention to the belief(s) that justify or support the agent’s decision to pursue it."@en ;
               rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
               rdfs:label "is intention supported by"@en ;
               vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isSuppressedBy
:isSuppressedBy rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf :isAffectedBy ;
                owl:inverseOf :suppresses ;
                rdfs:domain :MentalState ;
                rdfs:range :MentalProcess ;
                rdfs:comment "The object property :isSuppressedBy is the inverse of :suppresses. It links a MentalState to the MentalProcess that deactivated, abandoned, or removed it from the agent’s active repertoire. This property is particularly important for modelling cognitive adaptability, where agents discard outdated beliefs, abandon unfeasible desires, or drop intentions that are no longer relevant. For example, a Belief may be :isSuppressedBy a BeliefProcessing activity invalidating it, or an Intention may be :isSuppressedBy an IntentionProcessing activity that reprioritises goals. By making suppression explicit, the ontology can represent the disappearance of mental states and support reasoning about why they ceased to influence agent behaviour."@en ;
                rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
                rdfs:label "is suppressed by"@en ;
                vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isTemporalValidityOf
:isTemporalValidityOf rdf:type owl:ObjectProperty ;
                      rdfs:domain :TimeInterval ;
                      rdfs:range owl:Thing ;
                      rdfs:comment "The isTemporalValidityOf property is the inverse of hasTemporalValidity. It links a TimeInterval to the entity it defines the temporal validity for, specifying the time period during which the entity is active or applicable."@en ;
                      rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
                      rdfs:label "is temporal validity of"@en ;
                      vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/isTriggeredBy
:isTriggeredBy rdf:type owl:ObjectProperty ;
               owl:inverseOf :triggers ;
               rdfs:domain :MentalProcess ;
               rdfs:range :MentalEntity ;
               rdfs:comment "Indicates that a MentalProcess is initiated or caused by a specific mental entity, leading to a modification in the agent’s cognitive state."@en ;
               rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
               rdfs:label "is triggered by"@en ;
               vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/justifies
:justifies rdf:type owl:ObjectProperty ;
           rdfs:domain :Justification ;
           rdfs:range :MentalEntity ;
           rdfs:comment "The justifies property links a justification to the mental entity it supports, providing the rationale, evidence, or explanation for why the mental entity is held."@en ;
           rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
           rdfs:label "justifies"@en ;
           vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/modifies
:modifies rdf:type owl:ObjectProperty ;
          rdfs:subPropertyOf :affects ;
          rdfs:domain :MentalProcess ,
                      :MentalState ;
          rdfs:comment """The object property modifies is a subproperty of :affects and describes 
the relation between a MentalProcess and an existing MentalState whose 
content or structure is altered by the process. Modification can involve 
refinement, enrichment, or updating of a state in light of new information, 
constraints, or deliberative reasoning. For example, a BeliefProcessing 
activity may modify a Belief when new evidence is integrated, or an 
IntentionProcessing activity may modify an Intention by refining its 
scope or adjusting its temporal constraints. This property reflects the 
fact that mental states are dynamic entities subject to continual revision."""@en ;
          rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
          rdfs:label "modifies"@en ;
          vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/motivates
:motivates rdf:type owl:ObjectProperty ;
           rdfs:domain :Belief ;
           rdfs:range :Desire ;
           rdfs:comment "Beliefs often influence or motivate the formation of desires. For example, if an agent believes that exercising improves health, this belief may motivate a desire to exercise."@en ;
           rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
           rdfs:label "motivates desire"@en ;
           vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/perceives
:perceives rdf:type owl:ObjectProperty ;
           rdfs:domain :Agent ;
           rdfs:range :WorldState ;
           rdfs:comment "The object property perceives links an Agent to a WorldState,  representing the act of perceiving or becoming aware of a state of the world. This property captures the epistemic grounding of beliefs: an agent's mental states are often derived from, or justified by, the world states it perceives. The relation is intended to model the cognitive act of perception in a broad sense, encompassing direct sensory input, mediated observations, or information received through communication. By asserting that an Agent :perceives a WorldState, the ontology enables reasoning over how mental entities such as beliefs are anchored in external conditions. This property is the inverse of isPerceivedBy."@en ;
           rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
           rdfs:label "perceives"@en ;
           vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/precedes
:precedes rdf:type owl:ObjectProperty ,
                   owl:TransitiveProperty ;
          rdfs:domain owl:Thing ;
          rdfs:range owl:Thing ;
          rdfs:comment "The object property :precedes is the inverse of :follows and indicates that the subject occurs or is intended to occur before the object. It captures the precedence relation between entities, such as actions, events, or cognitive steps. This property is useful for representing structured sequences where the ordering of components is essential to understanding the process or plan. For example, one ActionDescription may :precedes another to define execution order. Used in combination with :follows, this property enables flexible modelling and reasoning over ordered structures in both physical and cognitive domains."@en ;
          rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
          rdfs:label "precedes"@en ;
          vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/processes
:processes rdf:type owl:ObjectProperty ;
           rdfs:domain :Agent ;
           rdfs:range :MentalProcess ;
           rdfs:comment "Represents the relationship where an Agent actively engages in a MentalProcess, such as evaluating beliefs, forming desires, or adopting intentions, as part of its cognitive functioning within a BDI framework."@en ;
           rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
           rdfs:label "processes"@en ;
           vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/reasonsUpon
:reasonsUpon rdf:type owl:ObjectProperty ;
             rdfs:subPropertyOf owl:topObjectProperty ;
             rdfs:domain :MentalProcess ;
             rdfs:range :MentalState ;
             rdfs:comment "The object property :reasonsUpon links a MentalProcess to the MentalState(s) that serve as its cognitive basis. It captures the fact that a mental process — such as planning, deliberation, or belief revision — operates by drawing upon existing mental states, including beliefs, desires, or intentions. This property models the internal reasoning dynamics of an agent, where the mental process depends on or is triggered by certain mental states in order to produce new cognitive outcomes (e.g., new plans or revised beliefs). For example, an IntentionProcess may reason upon a Desire to form a commitment to action. This relation is essential for reconstructing cognitive explanations and supports transparency in decision-making and mental state transitions."@en ;
             rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
             rdfs:label "reasons upon"@en ;
             vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/refersTo
:refersTo rdf:type owl:ObjectProperty ;
          rdfs:domain :MentalEntity ;
          rdfs:range :WorldState ;
          rdfs:comment "The object property refersTo links a MentalEntity (e.g. belief, desire, intention) to the WorldState it is about. This property captures the intentional nature of mental states: they are always directed toward or concerned with some state of the world, whether actual, possible, or hypothetical. For example, a belief such as “the meeting is cancelled” refersTo a world state representing the cancellation of the meeting. Similarly, a desire or an intention can refersTo a world state describing a condition that the agent wishes to bring about. By introducing refersTo, the ontology formally encodes the aboutness relation, which is essential for modelling propositional attitudes and supporting explainability."@en ;
          rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
          rdfs:label "refers to"@en ;
          vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/satisfies
:satisfies rdf:type owl:ObjectProperty ;
           rdfs:domain :PlanExecution ;
           rdfs:range :Plan ;
           rdfs:comment "The object property :satisfies is the inverse of :isSatisfiedBy and connects a PlanExecution to the Plan that it realises. This property captures the instantiation of an abstract plan into a concrete sequence of actions or behaviours carried out by an agent. It enables reasoning from the execution perspective, such as verifying which plan was implemented, comparing intended and actual outcomes, and auditing agent behaviour. For example, a PlanExecution performed by a response team may be :satisfies a Plan for disaster mitigation. This property is central to supporting traceability, accountability, and simulation of agent decision-making in dynamic environments."@en ;
           rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
           rdfs:label "satisfies"@en ;
           vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/specifies
:specifies rdf:type owl:ObjectProperty ;
           rdfs:domain :Intention ;
           rdfs:range :Plan ;
           rdfs:comment "The specifies property links an intention to the plan that operationalises it. This property represents how an agent’s commitment to achieving a goal (intention) is translated into a structured sequence of actions (plan)."@en ;
           rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
           rdfs:label "specifies"@en ;
           vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/supports
:supports rdf:type owl:ObjectProperty ;
          rdfs:domain :Belief ;
          rdfs:range :Intention ;
          rdfs:comment "The supportsIntention property links a belief to the intention it provides justification or epistemic support for, representing the reasoning or evidence behind the agent’s commitment to act."@en ;
          rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
          rdfs:label "supports intention"@en ;
          vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/suppresses
:suppresses rdf:type owl:ObjectProperty ;
            rdfs:subPropertyOf :affects ;
            rdfs:domain :MentalProcess ;
            rdfs:range :MentalState ;
            rdfs:comment """The object property suppresses is a subproperty of :affects and models 
the relation between a MentalProcess and a MentalState that is deactivated, 
abandoned, or removed as a result of the process. Suppression may occur 
when a Belief is invalidated, a Desire is judged unfeasible or conflicting, 
or an Intention is abandoned due to changing priorities or resource 
constraints. By representing suppression explicitly, the ontology can 
capture the disappearance of mental states from the agent’s active 
cognitive repertoire, which is essential for modelling realistic 
decision-making and adaptability."""@en ;
            rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
            rdfs:label "suppresses"@en ;
            vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/triggers
:triggers rdf:type owl:ObjectProperty ;
          rdfs:domain :MentalEntity ;
          rdfs:range :MentalProcess ;
          rdfs:comment "Defines a causal relationship where a Mental Entity triggers a MentalProcess, leading to a change in the agent’s internal state, such as updating beliefs, forming new desires, or adopting intentions."@en ;
          rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
          rdfs:label "triggers"@en ;
          vs:term_status "stable" .


#################################################################
#    Data properties
#################################################################

###  https://w3id.org/fossr/ontology/bdi/time
:time rdf:type owl:DatatypeProperty ;
      rdfs:domain :TimeInterval ;
      rdfs:range xsd:dateTime ;
      rdfs:comment "Specifies the value of a temporal entity."@en ;
      rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
      rdfs:label "time"@en ;
      vs:term_status "stable" .


#################################################################
#    Classes
#################################################################

###  http://purl.org/vocommons/voaf#Vocabulary
<http://purl.org/vocommons/voaf#Vocabulary> rdf:type owl:Class .


###  https://w3id.org/fossr/ontology/bdi/Action
:Action rdf:type owl:Class ;
        rdfs:subClassOf [ rdf:type owl:Restriction ;
                          owl:onProperty :atTime ;
                          owl:someValuesFrom :TemporalEntity
                        ] ,
                        [ rdf:type owl:Restriction ;
                          owl:onProperty :bringsAbout ;
                          owl:someValuesFrom :WorldState
                        ] ;
        owl:disjointWith :Task ;
        rdfs:comment "The class :Action represents a concrete activity carried out by an agent within the environment. Unlike :ActionDescription, which models the abstract or planned specification of an activity, :Action captures the actual execution or occurrence of that activity in time and space. Actions may be physical, communicative, or cognitive, and are typically associated with agents, plans, and goals. This class supports the representation of observable behaviours that result from deliberative processes such as planning and intention formation. By distinguishing between action descriptions and executed actions, the ontology enables clear reasoning over the alignment between what was intended and what was performed, supporting traceability, validation, and explanation of agent behaviour."@en ;
        rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
        rdfs:label "Action"@en ;
        vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/Agent
:Agent rdf:type owl:Class ;
       rdfs:subClassOf [ rdf:type owl:Restriction ;
                         owl:onProperty :cognises ;
                         owl:someValuesFrom :MentalEntity
                       ] ,
                       [ rdf:type owl:Restriction ;
                         owl:onProperty :executes ;
                         owl:someValuesFrom :PlanExecution
                       ] ,
                       [ rdf:type owl:Restriction ;
                         owl:onProperty :hasMentalState ;
                         owl:someValuesFrom :MentalState
                       ] ,
                       [ rdf:type owl:Restriction ;
                         owl:onProperty :perceives ;
                         owl:someValuesFrom :WorldState
                       ] ;
       owl:disjointWith :WorldState ;
       rdfs:comment "An Agent is an autonomous entity capable of perceiving its environment, reasoning about it, and acting upon it to achieve specific goals or objectives. Agents can hold mental states such as beliefs, desires, and intentions, which guide their decision-making processes and interactions with the world. Agents may be individuals, organisations, or artificial systems, depending on the context."@en ;
       rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
       rdfs:label "Agent"@en ;
       vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/Belief
:Belief rdf:type owl:Class ;
        rdfs:subClassOf :MentalState ,
                        [ rdf:type owl:Restriction ;
                          owl:onProperty :motivates ;
                          owl:someValuesFrom :Desire
                        ] ,
                        [ rdf:type owl:Restriction ;
                          owl:onProperty :hasPart ;
                          owl:allValuesFrom :Belief
                        ] ,
                        [ rdf:type owl:Restriction ;
                          owl:onProperty :isBeliefOf ;
                          owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                          owl:onClass :Agent
                        ] ;
        rdfs:comment "The Belief class represents the mental state of an agent regarding something that the agent holds to be true. It captures the subjective perception or understanding of the world by an agent, which may or may not align with objective reality. In this ontology, beliefs are modelled as descriptions that connect"@en ;
        rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
        rdfs:label "Belief"@en ;
        vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/BeliefProcess
:BeliefProcess rdf:type owl:Class ;
               rdfs:subClassOf :MentalProcess ,
                               [ rdf:type owl:Restriction ;
                                 owl:onProperty :affects ;
                                 owl:allValuesFrom :Belief
                               ] ,
                               [ rdf:type owl:Restriction ;
                                 owl:onProperty :hasPart ;
                                 owl:allValuesFrom :BeliefProcess
                               ] ;
               rdfs:comment """BeliefFormation is the cognitive process through which an agent generates, updates, or modifies beliefs based on perception, inference, or communication with other agents. This process allows agents to maintain a dynamically evolving mental representation of their environment and internal states.
For example, an agent monitoring a public health database initially holds the belief that a disease outbreak is contained. However, upon processing new epidemiological reports, the agent updates its belief to reflect the risk of a wider spread and adjusts its reasoning accordingly."""@en ;
               rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
               rdfs:label "Belief Formation"@en ;
               vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/Desire
:Desire rdf:type owl:Class ;
        rdfs:subClassOf :MentalState ,
                        [ rdf:type owl:Restriction ;
                          owl:onProperty :isMotivatedBy ;
                          owl:someValuesFrom :Belief
                        ] ,
                        [ rdf:type owl:Restriction ;
                          owl:onProperty :hasPart ;
                          owl:allValuesFrom :Desire
                        ] ,
                        [ rdf:type owl:Restriction ;
                          owl:onProperty :isDesireOf ;
                          owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                          owl:onClass :Agent
                        ] ;
        rdfs:comment "The Desire class represents a motivational mental state of an agent, encapsulating what the agent wishes or aspires to bring about in the world. Desires are expressions of preferences or goals, but unlike intentions, they do not imply a commitment to act. Desires serve as the driving force behind an agent’s decision-making process, often interacting with beliefs and intentions to influence behaviour."@en ;
        rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
        rdfs:label "Desire"@en ;
        vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/DesireProcess
:DesireProcess rdf:type owl:Class ;
               rdfs:subClassOf :MentalProcess ,
                               [ rdf:type owl:Restriction ;
                                 owl:onProperty :affects ;
                                 owl:allValuesFrom :Desire
                               ] ,
                               [ rdf:type owl:Restriction ;
                                 owl:onProperty :hasPart ;
                                 owl:allValuesFrom :DesireProcess
                               ] ;
               rdfs:comment """DesireFormation is the mental process by which an agent generates, modifies, or updates desires based on internal motivations, contextual changes, or interactions with external information sources. This process helps agents structure goal-oriented behaviour before intentions are formed.
For example, a decision-support agent in a climate policy system initially lacks any specific desire regarding renewable energy subsidies. After analysing recent economic and environmental reports, it generates a new desire to advocate for increased subsidies, which may later influence its intentions and actions."""@en ;
               rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
               rdfs:label "Desire Formation"@en ;
               vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/Goal
:Goal rdf:type owl:Class ;
      rdfs:subClassOf [ rdf:type owl:Restriction ;
                        owl:onProperty :isAddressedBy ;
                        owl:allValuesFrom :Plan
                      ] ;
      rdfs:comment """A Goal represents a desired state or outcome that an agent aspires to achieve. Goals reflect the agent's motivational preferences but do not imply any commitment to act or the feasibility of achieving them. Goals serve as the foundation for forming intentions when prioritised and deemed actionable.

A example of goal is: \"Learn Python programming.\". This goal may later lead to an intention: \"I intend to enrol in a Python course.\"."""@en ;
      rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
      rdfs:label "Goal"@en ;
      vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/GoalProcess
:GoalProcess rdf:type owl:Class ;
             rdfs:subClassOf :MentalProcess ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty :affects ;
                               owl:allValuesFrom :Goal
                             ] ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty :hasPart ;
                               owl:allValuesFrom :GoalProcess
                             ] ;
             rdfs:comment """GoalProcess is the mental process by which an agent generates, refines, or revises goals based on its current desires, beliefs, and contextual conditions. This process bridges the motivational layer of the agent, where desires express general preferences, and the deliberative layer, where  intentions represent committed courses of action. By elaborating and prioritising goals, the GoalProcess determines which desired outcomes are worth pursuing and prepares them for adoption as actionable intentions.

For example, an agent holding a general desire to improve its programming skills  undergoes a GoalProcess that refines this broad aspiration into a concrete and actionable goal: learning Python programming. This goal may subsequently lead to the formation of an intention: \\\"I intend to enrol in a Python course.\\\", triggering the planning of a structured sequence of learning activities."""@en ;
             rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
             rdfs:label "Goal Process"@en ;
             vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/Intention
:Intention rdf:type owl:Class ;
           rdfs:subClassOf :MentalState ,
                           [ rdf:type owl:Restriction ;
                             owl:onProperty :fulfills ;
                             owl:someValuesFrom :Goal
                           ] ,
                           [ rdf:type owl:Restriction ;
                             owl:onProperty :hasPart ;
                             owl:allValuesFrom :Intention
                           ] ,
                           [ rdf:type owl:Restriction ;
                             owl:onProperty :isIntentionOf ;
                             owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                             owl:onClass :Agent
                           ] ;
           rdfs:comment """The Intention class represents a deliberative mental state of an agent, characterised by the agent’s commitment to achieving a specific goal or executing a plan. Unlike a desire, which expresses a motivational preference, an intention reflects a higher degree of resolve, where the agent actively decides to pursue the desired outcome.

Intentions bridge the gap between an agent’s desires and actions, driving goal-oriented behaviour based on the agent’s beliefs about feasibility and circumstances.

Intentions depend on beliefs about feasibility and current conditions (e.g., \"I believe the store is open.\").
Intentions emerge from prioritised desires or goals (e.g., \"I desire to buy groceries.\")."""@en ;
           rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
           rdfs:label "Intention"@en ;
           vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/IntentionProcess
:IntentionProcess rdf:type owl:Class ;
                  rdfs:subClassOf :MentalProcess ,
                                  [ rdf:type owl:Restriction ;
                                    owl:onProperty :affects ;
                                    owl:allValuesFrom :Intention
                                  ] ,
                                  [ rdf:type owl:Restriction ;
                                    owl:onProperty :hasPart ;
                                    owl:allValuesFrom :IntentionProcess
                                  ] ;
                  rdfs:comment """IntentionFormation is the process by which an agent selects, commits to, and refines intentions based on its desires, available resources, and deliberative reasoning. It determines which desires are pursued as actionable commitments and adapts them as new information emerges.
For example, an autonomous assistant tasked with monitoring policy compliance may develop a desire to verify the implementation of a new regulation. After assessing feasibility and priority, it forms an intention to generate a compliance report, refining it further as new data becomes available."""@en ;
                  rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
                  rdfs:label "Intention Formation"@en ;
                  vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/Justification
:Justification rdf:type owl:Class ;
               rdfs:subClassOf [ rdf:type owl:Restriction ;
                                 owl:onProperty :justifies ;
                                 owl:someValuesFrom :MentalEntity
                               ] ;
               rdfs:comment "A justification is a reason, evidence, or explanation that supports a mental state (e.g., belief, intention). It provides the grounds or basis for a mental state (e.g., why a belief is held or a goal is pursued) and Explains or supports mental states (e.g., \"I believe it will rain because the forecast says so\"). Justifications are typically agent-specific, reflecting the reasoning or evidence considered by an agent."@en ;
               rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
               rdfs:label "Justification"@en ;
               vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/MentalEntity
:MentalEntity rdf:type owl:Class ;
              rdfs:subClassOf [ rdf:type owl:Restriction ;
                                owl:onProperty :hasValidity ;
                                owl:someValuesFrom :TemporalEntity
                              ] ,
                              [ rdf:type owl:Restriction ;
                                owl:onProperty :isCognisedBy ;
                                owl:someValuesFrom :Agent
                              ] ,
                              [ rdf:type owl:Restriction ;
                                owl:onProperty :isJustifiedBy ;
                                owl:someValuesFrom :Justification
                              ] ,
                              [ rdf:type owl:Restriction ;
                                owl:onProperty :refersTo ;
                                owl:someValuesFrom :WorldState
                              ] ,
                              [ rdf:type owl:Restriction ;
                                owl:onProperty :hasPart ;
                                owl:allValuesFrom :MentalEntity
                              ] ;
              rdfs:comment """MentalEntity is an abstract class that serves as a unifying concept for representing both mental states and mental processes within an agent's cognitive framework. It provides a high-level categorisation for all entities related to an agent’s reasoning, decision-making, and goal-directed behaviour.

Mental states, such as Belief, Desire, and Intention, represent the informational and motivational aspects of an agent’s cognition. These states can influence and be influenced by mental processes, such as BeliefFormation, DesireFormation, and IntentionFormation, which govern their generation, modification, and updating over time.

By structuring mental states and processes under a common superclass, MentalEntity facilitates a coherent representation of cognitive dynamics, supporting interoperability and reasoning within the ontology."""@en ;
              rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
              rdfs:label "Mental entity"@en ;
              vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/MentalProcess
:MentalProcess rdf:type owl:Class ;
               rdfs:subClassOf :MentalEntity ,
                               [ rdf:type owl:Restriction ;
                                 owl:onProperty :isTriggeredBy ;
                                 owl:someValuesFrom :MentalEntity
                               ] ,
                               [ rdf:type owl:Restriction ;
                                 owl:onProperty :reasonsUpon ;
                                 owl:someValuesFrom :MentalState
                               ] ,
                               [ rdf:type owl:Restriction ;
                                 owl:onProperty :hasPart ;
                                 owl:allValuesFrom :MentalProcess
                               ] ,
                               [ rdf:type owl:Restriction ;
                                 owl:onProperty :isMentalProcessOf ;
                                 owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                 owl:onClass :Agent
                               ] ;
               owl:disjointWith :MentalState ;
               rdfs:comment "The class :MentalProcess represents the cognitive operations through which an agent reasons upon, transforms, or generates mental content. It encompasses processes such as belief revision, desire formation, intention refinement, and planning. Each MentalProcess is understood as a type of activity (subclass of d0:Activity) that operates over one or more MentalStates and may lead to the creation, modification, or suppression of new or existing mental entities. For example, an agent may engage in a BeliefProcess that updates its beliefs in response to new perceptions, or perform a Planning process that generates a Plan from a set of intentions. By modelling such cognitive activities explicitly, :MentalProcess enables the ontology to describe not only the states held by agents, but also the reasoning dynamics and deliberative mechanisms that underpin agent behaviour. This class is essential for supporting explainability, simulation, and agent-based modelling of mental state evolution."@en ;
               rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
               rdfs:label "Mental Process"@en ;
               vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/MentalState
:MentalState rdf:type owl:Class ;
             rdfs:subClassOf :MentalEntity ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty :hasValidity ;
                               owl:someValuesFrom :TimeInterval
                             ] ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty :isJustifiedBy ;
                               owl:someValuesFrom :Justification
                             ] ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty :hasPart ;
                               owl:allValuesFrom :MentalState
                             ] ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty :isReasonedUponBy ;
                               owl:allValuesFrom :MentalProcess
                             ] ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty :isMentalStateOf ;
                               owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                               owl:onClass :Agent
                             ] ;
             rdfs:comment "A mental state is a conceptual representation of an agent's internal condition, which encompasses beliefs, desires, intentions, emotions, and other cognitive or affective states. It is the foundation of an agent’s reasoning, decision-making, and behaviour. Mental states are dynamic and context-dependent, changing in response to external stimuli, internal deliberations, or interactions with other agents."@en ;
             rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
             rdfs:label "Mental state"@en ;
             vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/Plan
:Plan rdf:type owl:Class ;
      rdfs:subClassOf [ rdf:type owl:Restriction ;
                        owl:onProperty :addresses ;
                        owl:someValuesFrom :Goal
                      ] ,
                      [ rdf:type owl:Restriction ;
                        owl:onProperty :beginsWith ;
                        owl:someValuesFrom :Task
                      ] ,
                      [ rdf:type owl:Restriction ;
                        owl:onProperty :endsWith ;
                        owl:someValuesFrom :Task
                      ] ,
                      [ rdf:type owl:Restriction ;
                        owl:onProperty :isDefinedBy ;
                        owl:someValuesFrom :Planning
                      ] ,
                      [ rdf:type owl:Restriction ;
                        owl:onProperty :beginsWith ;
                        owl:allValuesFrom :Task
                      ] ,
                      [ rdf:type owl:Restriction ;
                        owl:onProperty :endsWith ;
                        owl:allValuesFrom :Task
                      ] ,
                      [ rdf:type owl:Restriction ;
                        owl:onProperty :hasComponent ;
                        owl:allValuesFrom :Task
                      ] ,
                      [ rdf:type owl:Restriction ;
                        owl:onProperty :hasPart ;
                        owl:allValuesFrom :Plan
                      ] ,
                      [ rdf:type owl:Restriction ;
                        owl:onProperty :isSatisfiedBy ;
                        owl:allValuesFrom :PlanExecution
                      ] ;
      owl:disjointWith :PlanExecution ;
      rdfs:comment "A plan is a structured sequence of actions or steps devised by an agent to achieve a specific goal or fulfil an intention. It serves as an operational framework that translates an agent’s intentions into actionable strategies, guiding behaviour toward a desired goal."@en ;
      rdfs:isDefinedBy "https://w3id.org/fossr/ontology/bdi/" ;
      rdfs:label "Plan"@en ;
      vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/PlanExecution
:PlanExecution rdf:type owl:Class ;
               rdfs:subClassOf [ rdf:type owl:Restriction ;
                                 owl:onProperty :atTime ;
                                 owl:someValuesFrom :TemporalEntity
                               ] ,
                               [ rdf:type owl:Restriction ;
                                 owl:onProperty :bringsAbout ;
                                 owl:someValuesFrom :WorldState
                               ] ,
                               [ rdf:type owl:Restriction ;
                                 owl:onProperty :isExecutedBy ;
                                 owl:someValuesFrom :Agent
                               ] ,
                               [ rdf:type owl:Restriction ;
                                 owl:onProperty :satisfies ;
                                 owl:someValuesFrom :Plan
                               ] ;
               rdfs:comment "The class :PlanExecution represents the actual enactment of a Plan by an Agent within a specific temporal and environmental context.  While a Plan provides a structured description of actions or steps intended to achieve a Goal, a PlanExecution captures the situated, real-world unfolding of that plan. This includes the execution of actions, interaction with the environment, and the potential influence of contingencies or external events. By modelling PlanExecution explicitly, the ontology supports reasoning over whether, how, and to what extent plans have been carried out, enabling comparisons between intended and actual behaviour. It also provides a foundation for temporal monitoring, traceability, and post-hoc analysis of agent decisions, which is crucial for explainability and accountability in both human and artificial agents."@en ;
               rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
               rdfs:label "Plan"@en ;
               vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/Planning
:Planning rdf:type owl:Class ;
          rdfs:subClassOf :MentalProcess ,
                          [ rdf:type owl:Restriction ;
                            owl:onProperty :defines ;
                            owl:someValuesFrom :Plan
                          ] ,
                          [ rdf:type owl:Restriction ;
                            owl:onProperty :reasonsUpon ;
                            owl:someValuesFrom :Intention
                          ] ,
                          [ rdf:type owl:Restriction ;
                            owl:onProperty :hasPart ;
                            owl:allValuesFrom :Planning
                          ] ,
                          [ rdf:type owl:Restriction ;
                            owl:onProperty :reasonsUpon ;
                            owl:allValuesFrom :Intention
                          ] ;
          rdfs:comment """Planning is the cognitive process through which an agent generates, structures, and organises a sequence of actions to achieve a desired goal. It transforms an agent’s intentions into a concrete plan that can guide execution. This process involves selecting appropriate steps, considering constraints, and adapting the plan based on available information.

For example, an autonomous agent responsible for disaster response may form the intention to deliver medical supplies to a remote area. Through the Planning process, it determines the optimal route, identifies necessary resources, and structures the sequence of actions required to execute the delivery efficiently."""@en ;
          rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
          rdfs:label "Planning"@en ;
          vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/Task
:Task rdf:type owl:Class ;
      rdfs:subClassOf [ rdf:type owl:Restriction ;
                        owl:onProperty :follows ;
                        owl:allValuesFrom :Task
                      ] ,
                      [ rdf:type owl:Restriction ;
                        owl:onProperty :precedes ;
                        owl:allValuesFrom :Task
                      ] ;
      rdfs:comment "The class :Task represents the abstract specification of an action within a plan. It defines the intended activity an agent should perform, including its purpose, expected effects, preconditions, and any constraints relevant to its execution. Unlike concrete actions or events that occur in the world, a Task is a descriptive construct that guides or informs PlanExecutions. This class enables the ontology to model the internal structure of plans as sequences of intentional steps, supporting reasoning over action dependencies, execution order, and alignment with goals. It is particularly useful for representing deliberative and goal-directed behaviour in agent-based systems."@en ;
      rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
      rdfs:label "Task"@en ;
      vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/TemporalEntity
:TemporalEntity rdf:type owl:Class ;
                rdfs:comment """The TemporalEntity class represents a general temporal concept that can be either a specific point in time (instant) or a time span (interval). 
This class is useful for modeling events, schedules, and historical data where time-related attributes are essential."""@en ;
                rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
                rdfs:label "Temporal entity"@en ;
                vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/TimeInstant
:TimeInstant rdf:type owl:Class ;
             rdfs:subClassOf :TemporalEntity ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty :time ;
                               owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                               owl:onDataRange xsd:dateTime
                             ] ;
             rdfs:comment "The TimeInstant class represents an exact time. It is used to specify the time when events occur, start and end."@en ;
             rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
             rdfs:label "Time istant"@en ;
             vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/TimeInterval
:TimeInterval rdf:type owl:Class ;
              rdfs:subClassOf :TemporalEntity ,
                              [ rdf:type owl:Restriction ;
                                owl:onProperty :hasStartTime ;
                                owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                owl:onClass :TimeInstant
                              ] ,
                              [ rdf:type owl:Restriction ;
                                owl:onProperty :hasEndTime ;
                                owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                owl:onClass :TimeInstant
                              ] ;
              rdfs:comment "The TimeInterval class represents a bounded period of time with a defined start and end. It is used to specify the temporal extent of events, states, or processes."@en ;
              rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
              rdfs:label "Time interval"@en ;
              vs:term_status "stable" .


###  https://w3id.org/fossr/ontology/bdi/WorldState
:WorldState rdf:type owl:Class ;
            rdfs:subClassOf [ rdf:type owl:Restriction ;
                              owl:onProperty :isPerceivedBy ;
                              owl:allValuesFrom :Agent
                            ] ,
                            [ rdf:type owl:Restriction ;
                              owl:onProperty :isReferredBy ;
                              owl:allValuesFrom :MentalEntity
                            ] ;
            rdfs:comment "A World state represents a temporally situated condition of the environment as perceived or described by an agent. It captures facts, circumstances, or events that hold at a given time, and serves as the basis upon which agents form their beliefs, generate desires, and adopt intentions. A world state can change over time, be influenced by agents’ actions or external events, and may function as a target outcome for plans aiming to realise a specific goal."@en ;
            rdfs:isDefinedBy <https://w3id.org/fossr/ontology/bdi/> ;
            rdfs:label "World state"@en ;
            vs:term_status "stable" .


#################################################################
#    Individuals
#################################################################

###  https://w3id.org/fossr/ontology/bdi/
<https://w3id.org/fossr/ontology/bdi/> rdf:type owl:NamedIndividual ,
                                                <http://purl.org/vocommons/voaf#Vocabulary> .


#################################################################
#    General axioms
#################################################################

[ rdf:type owl:AllDisjointClasses ;
  owl:members ( :Belief
                :Desire
                :Intention
              )
] .


###  Generated by the OWL API (version 4.5.29.2024-05-13T12:11:03Z) https://github.com/owlcs/owlapi