Table 3 MIBEL Ontology classes DL syntax

BuyBid\(\sqsubseteq \)EMO:Bid ⊓ EMO:transactionType “buy”

SaleBid\(\sqsubseteq \)EMO:Bid ⊓ EMO:transactionType “sell”

RegularBid\(\sqsubseteq \)EMO:Bid ⊓∃EMO:hasOffer ≤25 EMO:Offer ⊓∃EMO:placedInSinglePeriod 1 EMO:Period

InvalidRegularBid\(\sqsubseteq \)EMO:Bid ⊓∃EMO:hasOffer ≥26 EMO:Offer

ComplexConditions\(\sqsubseteq \top \sqcap \exists \)incorporatedByPlayer 1 EMO:Player

CompleteAcceptanceInEachHourInTheMatchingPeriodOfTheFirst-Bid \(\sqsubseteq \) ComplexConditions

CompleteAcceptanceInTheMatchingProcessOfThe-FirstBlockOfTheBid \(\sqsubseteq \) ComplexConditions

Indivisibility \(\sqsubseteq \) ComplexConditions

LoadGradient\(\sqsubseteq \)ComplexConditions ⊓ 1 EMO:value

MaximumMatchedPower\(\sqsubseteq \)ComplexConditions ⊓ 1 EMO:value

MaximumPayment\(\sqsubseteq \)ComplexConditions ⊓ 1 EMO:value ⊓ 1 valuePerMWh

MinimumIncome\(\sqsubseteq \)ComplexConditions ⊓ 1 EMO:value ⊓ 1 valuePerMWh

MinimumNumberOfConsecutiveHoursOfCompleteAcceptanceOfThe-FirstBlockOfTheBid\(\sqsubseteq \)ComplexConditions ⊓ 1 EMO:value

ScheduledStop \(\sqsubseteq \) ComplexConditions

DayAheadSession\(\sqsubseteq \)EMO:Session ⊓∃hasComplexCondition ≤1 Indivisibility ⊓∃hasComplexCondition ≤1 LoadGradient ⊓∃hasComplexCondition

≤1 MinimumIncome ⊓∃hasComplexCondition ≤1 ScheduledStop

IntradaySession\(\sqsubseteq \)EMO:Session ⊓∃hasComplexCondition ≤1

(MaximumPayment ⊔MinimumIncome) ⊓∃hasComplexCondition ≤1

CompleteAcceptanceInEachHourInTheMatchingPeriodOfTheFirstBlockOfTheBid ⊓∃hasComplexCondition ≤1 CompleteAcceptanceInTheMatchingProcessOfTheFirstBlockOfTheBid ⊓∃hasComplexCondition ≤1 LoadGradient ⊓∃hasComplexCondition ≤1 MaximumMatchedPower ⊓∃hasComplexCondition ≤1 MinimumNumberOfConsecutiveHoursOfCompleteAcceptanceOfTheFirstBlockOfTheBid

Day-Ahead\(\sqsubseteq \)EMO:MarketType ⊓∃EMO:hasSession DayAheadSession

Intraday\(\sqsubseteq \)EMO:MarketType ⊓∃EMO:hasSession IntradaySession

MIBEL\(\sqsubseteq \)EMO:Market ⊓∃EMO:hasMarketType Day-Ahead ⊓∃EMO:hasMarketType Intraday ⊓∃EMO:hasBilateralContract EMO:BilateralContract

ComplexConditions ⊓EMO:Area ⊓EMO:Operator ⊓EMO:Period

⊓EMO:Power ⊓EMO:Price ⊓EMO:Offer ⊓EMO:Player ⊓EMO:Bid

⊓EMO:Session ⊓EMO:Market ⊓EMO:MarketType

⊓EMO:BilateralContract = ⊥