<?xml version="1.0"?>


<!DOCTYPE rdf:RDF [
    <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
    <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
    <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
    <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
    <!ENTITY emo "http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets.owl#" >
    <!ENTITY emr "http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets-results.owl#" >
]>


<rdf:RDF xmlns="http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets-results.owl#"
     xml:base="http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets-results.owl"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     xmlns:emo="http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets.owl#"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:emr="http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets-results.owl#">
    <owl:Ontology rdf:about="http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets-results.owl">
        <owl:imports rdf:resource="http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets.owl"/>
    </owl:Ontology>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Object Properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets-results.owl#fromPlayer -->

    <owl:ObjectProperty rdf:about="&emr;fromPlayer">
        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
    </owl:ObjectProperty>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets-results.owl#fromSession -->

    <owl:ObjectProperty rdf:about="&emr;fromSession">
        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
    </owl:ObjectProperty>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets-results.owl#gotResult -->

    <owl:ObjectProperty rdf:about="&emr;gotResult">
        <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
    </owl:ObjectProperty>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Data properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets-results.owl#blockId -->

    <owl:DatatypeProperty rdf:about="&emr;blockId">
        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
    </owl:DatatypeProperty>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets-results.owl#flexibleId -->

    <owl:DatatypeProperty rdf:about="&emr;flexibleId">
        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
    </owl:DatatypeProperty>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets-results.owl#hourlyId -->

    <owl:DatatypeProperty rdf:about="&emr;hourlyId">
        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
    </owl:DatatypeProperty>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets-results.owl#periodNumber -->

    <owl:DatatypeProperty rdf:about="&emr;periodNumber"/>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets-results.owl#removalJustification -->

    <owl:DatatypeProperty rdf:about="&emr;removalJustification"/>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets-results.owl#removed -->

    <owl:DatatypeProperty rdf:about="&emr;removed">
        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
        <rdfs:range>
            <rdfs:Datatype>
                <owl:oneOf>
                    <rdf:Description>
                        <rdf:type rdf:resource="&rdf;List"/>
                        <rdf:first>no</rdf:first>
                        <rdf:rest>
                            <rdf:Description>
                                <rdf:type rdf:resource="&rdf;List"/>
                                <rdf:first>yes</rdf:first>
                                <rdf:rest rdf:resource="&rdf;nil"/>
                            </rdf:Description>
                        </rdf:rest>
                    </rdf:Description>
                </owl:oneOf>
            </rdfs:Datatype>
        </rdfs:range>
    </owl:DatatypeProperty>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Classes
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets-results.owl#BidResult -->

    <owl:Class rdf:about="&emr;BidResult">
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&emo;hasPower"/>
                <owl:onClass rdf:resource="&emr;TradedPower"/>
                <owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&emo;hasPrice"/>
                <owl:onClass rdf:resource="&emr;MarketPrice"/>
                <owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
            </owl:Restriction>
        </rdfs:subClassOf>
        <owl:disjointWith rdf:resource="&emr;PlayerResult"/>
        <owl:disjointWith rdf:resource="&emo;Area"/>
        <owl:disjointWith rdf:resource="&emo;Bid"/>
        <owl:disjointWith rdf:resource="&emo;BilateralContract"/>
        <owl:disjointWith rdf:resource="&emo;Market"/>
        <owl:disjointWith rdf:resource="&emo;MarketType"/>
        <owl:disjointWith rdf:resource="&emo;Offer"/>
        <owl:disjointWith rdf:resource="&emo;Operator"/>
        <owl:disjointWith rdf:resource="&emo;Period"/>
        <owl:disjointWith rdf:resource="&emo;Player"/>
        <owl:disjointWith rdf:resource="&emo;Power"/>
        <owl:disjointWith rdf:resource="&emo;Price"/>
        <owl:disjointWith rdf:resource="&emo;Session"/>
        <rdfs:comment xml:lang="en">This class represents the bid result, i.e. the market&apos;s outcome.</rdfs:comment>
    </owl:Class>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets-results.owl#BlockResult -->

    <owl:Class rdf:about="&emr;BlockResult">
        <rdfs:subClassOf rdf:resource="&emr;BidResult"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&emr;blockId"/>
                <owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
                <owl:onDataRange rdf:resource="&xsd;unsignedLong"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&emr;removed"/>
                <owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
                <owl:onDataRange>
                    <rdfs:Datatype>
                        <owl:oneOf>
                            <rdf:Description>
                                <rdf:type rdf:resource="&rdf;List"/>
                                <rdf:first>no</rdf:first>
                                <rdf:rest>
                                    <rdf:Description>
                                        <rdf:type rdf:resource="&rdf;List"/>
                                        <rdf:first>yes</rdf:first>
                                        <rdf:rest rdf:resource="&rdf;nil"/>
                                    </rdf:Description>
                                </rdf:rest>
                            </rdf:Description>
                        </owl:oneOf>
                    </rdfs:Datatype>
                </owl:onDataRange>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&emr;periodNumber"/>
                <owl:someValuesFrom rdf:resource="&xsd;unsignedInt"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&emr;removalJustification"/>
                <owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
                <owl:onDataRange rdf:resource="&xsd;string"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:comment xml:lang="en">This class represents the result of a block order in the market</rdfs:comment>
    </owl:Class>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets-results.owl#FlexibleResult -->

    <owl:Class rdf:about="&emr;FlexibleResult">
        <rdfs:subClassOf rdf:resource="&emr;BidResult"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&emr;flexibleId"/>
                <owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
                <owl:onDataRange rdf:resource="&xsd;unsignedLong"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&emr;periodNumber"/>
                <owl:someValuesFrom rdf:resource="&xsd;unsignedInt"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:comment xml:lang="en">This class represents the result of a flexible order in the market</rdfs:comment>
    </owl:Class>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets-results.owl#HourlyResult -->

    <owl:Class rdf:about="&emr;HourlyResult">
        <rdfs:subClassOf rdf:resource="&emr;BidResult"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&emr;periodNumber"/>
                <owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
                <owl:onDataRange rdf:resource="&xsd;unsignedInt"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&emr;removed"/>
                <owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
                <owl:onDataRange>
                    <rdfs:Datatype>
                        <owl:oneOf>
                            <rdf:Description>
                                <rdf:type rdf:resource="&rdf;List"/>
                                <rdf:first>no</rdf:first>
                                <rdf:rest>
                                    <rdf:Description>
                                        <rdf:type rdf:resource="&rdf;List"/>
                                        <rdf:first>yes</rdf:first>
                                        <rdf:rest rdf:resource="&rdf;nil"/>
                                    </rdf:Description>
                                </rdf:rest>
                            </rdf:Description>
                        </owl:oneOf>
                    </rdfs:Datatype>
                </owl:onDataRange>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&emr;hourlyId"/>
                <owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
                <owl:onDataRange rdf:resource="&xsd;unsignedLong"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&emr;removalJustification"/>
                <owl:someValuesFrom rdf:resource="&xsd;string"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:comment xml:lang="en">This class represents the result of a single hourly order in the market</rdfs:comment>
    </owl:Class>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets-results.owl#MarketPrice -->

    <owl:Class rdf:about="&emr;MarketPrice">
        <rdfs:subClassOf rdf:resource="&emo;Price"/>
        <rdfs:comment xml:lang="en">This class represented the price achieved in the market.</rdfs:comment>
    </owl:Class>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets-results.owl#PlayerResult -->

    <owl:Class rdf:about="&emr;PlayerResult">
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&emr;fromSession"/>
                <owl:onClass rdf:resource="&emo;Session"/>
                <owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&emr;fromPlayer"/>
                <owl:onClass rdf:resource="&emo;Player"/>
                <owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&emr;gotResult"/>
                <owl:someValuesFrom rdf:resource="&emr;BidResult"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&emr;removed"/>
                <owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
                <owl:onDataRange>
                    <rdfs:Datatype>
                        <owl:oneOf>
                            <rdf:Description>
                                <rdf:type rdf:resource="&rdf;List"/>
                                <rdf:first>no</rdf:first>
                                <rdf:rest>
                                    <rdf:Description>
                                        <rdf:type rdf:resource="&rdf;List"/>
                                        <rdf:first>yes</rdf:first>
                                        <rdf:rest rdf:resource="&rdf;nil"/>
                                    </rdf:Description>
                                </rdf:rest>
                            </rdf:Description>
                        </owl:oneOf>
                    </rdfs:Datatype>
                </owl:onDataRange>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&emr;removalJustification"/>
                <owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
                <owl:onDataRange rdf:resource="&xsd;string"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:comment xml:lang="en">This class represents a player&apos;s result.</rdfs:comment>
    </owl:Class>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets-results.owl#TradedPower -->

    <owl:Class rdf:about="&emr;TradedPower">
        <rdfs:subClassOf rdf:resource="&emo;Power"/>
        <rdfs:comment xml:lang="en">This class representes the power traded in the market.</rdfs:comment>
    </owl:Class>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets.owl#Area -->

    <rdf:Description rdf:about="&emo;Area"/>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets.owl#Bid -->

    <rdf:Description rdf:about="&emo;Bid"/>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets.owl#BilateralContract -->

    <rdf:Description rdf:about="&emo;BilateralContract"/>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets.owl#Market -->

    <rdf:Description rdf:about="&emo;Market"/>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets.owl#MarketType -->

    <rdf:Description rdf:about="&emo;MarketType"/>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets.owl#Offer -->

    <rdf:Description rdf:about="&emo;Offer"/>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets.owl#Operator -->

    <rdf:Description rdf:about="&emo;Operator"/>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets.owl#Period -->

    <rdf:Description rdf:about="&emo;Period"/>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets.owl#Player -->

    <rdf:Description rdf:about="&emo;Player"/>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets.owl#Power -->

    <rdf:Description rdf:about="&emo;Power"/>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets.owl#Price -->

    <rdf:Description rdf:about="&emo;Price"/>
    


    <!-- http://www.mascem.gecad.isep.ipp.pt/ontologies/electricity-markets.owl#Session -->

    <rdf:Description rdf:about="&emo;Session"/>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // General axioms
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    <rdf:Description>
        <rdf:type rdf:resource="&owl;AllDisjointClasses"/>
        <owl:members rdf:parseType="Collection">
            <rdf:Description rdf:about="&emr;PlayerResult"/>
            <rdf:Description rdf:about="&emo;Area"/>
            <rdf:Description rdf:about="&emo;Bid"/>
            <rdf:Description rdf:about="&emo;BilateralContract"/>
            <rdf:Description rdf:about="&emo;Market"/>
            <rdf:Description rdf:about="&emo;MarketType"/>
            <rdf:Description rdf:about="&emo;Offer"/>
            <rdf:Description rdf:about="&emo;Operator"/>
            <rdf:Description rdf:about="&emo;Period"/>
            <rdf:Description rdf:about="&emo;Player"/>
            <rdf:Description rdf:about="&emo;Power"/>
            <rdf:Description rdf:about="&emo;Price"/>
            <rdf:Description rdf:about="&emo;Session"/>
        </owl:members>
    </rdf:Description>
</rdf:RDF>



<!-- Generated by the OWL API (version 3.5.1) http://owlapi.sourceforge.net -->

