@prefix : <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@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#> .
@base <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl> .

<http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl> rdf:type owl:Ontology ;
                                                                         owl:imports <http://www.estrellaproject.org/lkif-core/lkif-core.owl> .

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

###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applied_by
:applied_by rdf:type owl:ObjectProperty ;
            rdfs:subPropertyOf <http://www.estrellaproject.org/lkif-core/expression.owl#qualified_by> ;
            owl:inverseOf :applies .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies
:applies rdf:type owl:ObjectProperty ;
         rdfs:subPropertyOf <http://www.estrellaproject.org/lkif-core/expression.owl#qualifies> .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considered_by
:considered_by rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf <http://www.estrellaproject.org/lkif-core/expression.owl#qualified_by> ;
               owl:inverseOf :considers .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers
:considers rdf:type owl:ObjectProperty ;
           rdfs:subPropertyOf <http://www.estrellaproject.org/lkif-core/expression.owl#qualifies> .


###  http://www.estrellaproject.org/lkif-core/expression.owl#attitude
<http://www.estrellaproject.org/lkif-core/expression.owl#attitude> rdf:type owl:ObjectProperty .


###  http://www.estrellaproject.org/lkif-core/expression.owl#evaluated_by
<http://www.estrellaproject.org/lkif-core/expression.owl#evaluated_by> rdf:type owl:ObjectProperty ;
                                                                       rdfs:subPropertyOf :considered_by .


###  http://www.estrellaproject.org/lkif-core/expression.owl#evaluates
<http://www.estrellaproject.org/lkif-core/expression.owl#evaluates> rdf:type owl:ObjectProperty ;
                                                                    rdfs:subPropertyOf :considers .


###  http://www.estrellaproject.org/lkif-core/expression.owl#held_by
<http://www.estrellaproject.org/lkif-core/expression.owl#held_by> rdf:type owl:ObjectProperty .


###  http://www.estrellaproject.org/lkif-core/expression.owl#medium
<http://www.estrellaproject.org/lkif-core/expression.owl#medium> rdf:type owl:ObjectProperty .


###  http://www.estrellaproject.org/lkif-core/expression.owl#qualified_by
<http://www.estrellaproject.org/lkif-core/expression.owl#qualified_by> rdf:type owl:ObjectProperty .


###  http://www.estrellaproject.org/lkif-core/expression.owl#qualifies
<http://www.estrellaproject.org/lkif-core/expression.owl#qualifies> rdf:type owl:ObjectProperty .


###  http://www.estrellaproject.org/lkif-core/norm.owl#allowed_by
<http://www.estrellaproject.org/lkif-core/norm.owl#allowed_by> rdf:type owl:ObjectProperty ;
                                                               rdfs:subPropertyOf :considered_by .


###  http://www.estrellaproject.org/lkif-core/norm.owl#allows
<http://www.estrellaproject.org/lkif-core/norm.owl#allows> rdf:type owl:ObjectProperty ;
                                                           rdfs:subPropertyOf :considers .


###  http://www.estrellaproject.org/lkif-core/norm.owl#disallowed_by
<http://www.estrellaproject.org/lkif-core/norm.owl#disallowed_by> rdf:type owl:ObjectProperty ;
                                                                  rdfs:subPropertyOf :considered_by .


###  http://www.estrellaproject.org/lkif-core/norm.owl#disallows
<http://www.estrellaproject.org/lkif-core/norm.owl#disallows> rdf:type owl:ObjectProperty ;
                                                              rdfs:subPropertyOf :considers .


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

###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Adjudication
:Adjudication rdf:type owl:Class ;
              rdfs:subClassOf :Judgement ,
                              [ rdf:type owl:Restriction ;
                                owl:onProperty :applies ;
                                owl:someValuesFrom :Judicial_Outcome
                              ] ,
                              [ rdf:type owl:Restriction ;
                                owl:onProperty :considers ;
                                owl:someValuesFrom :Judicial_Claim
                              ] ;
              rdfs:comment "The final assessment of a judge on a claim." ;
              rdfs:label "Adjudication" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Agreement
:Agreement rdf:type owl:Class ;
           rdfs:subClassOf <http://www.estrellaproject.org/lkif-core/expression.owl#Communicated_Attitude> ;
           rdfs:comment "The empowering attitude of contractual agreements." ;
           rdfs:label "Agreement" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement
:Contractual_Agreement rdf:type owl:Class ;
                       rdfs:subClassOf <http://www.estrellaproject.org/lkif-core/expression.owl#Expression> ,
                                       <http://www.estrellaproject.org/lkif-core/norm.owl#Norm> ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty :applies ;
                                         owl:someValuesFrom :Legal_Status
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty :considers ;
                                         owl:someValuesFrom :Material_Circumstance
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty <http://www.estrellaproject.org/lkif-core/expression.owl#attitude> ;
                                         owl:someValuesFrom :Agreement
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty <http://www.estrellaproject.org/lkif-core/expression.owl#medium> ;
                                         owl:someValuesFrom <http://www.estrellaproject.org/lkif-core/norm.owl#Contract>
                                       ] ;
                       rdfs:comment "The content of a contract. Takes into consideration a specific Material circumstance and applies a legal status to it." ;
                       rdfs:label "Contractual Agreement" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judgement
:Judgement rdf:type owl:Class ;
           rdfs:subClassOf <http://www.estrellaproject.org/lkif-core/expression.owl#Expression> ,
                           <http://www.estrellaproject.org/lkif-core/expression.owl#Qualification> ,
                           [ rdf:type owl:Restriction ;
                             owl:onProperty <http://www.estrellaproject.org/lkif-core/expression.owl#attitude> ;
                             owl:someValuesFrom :Jurisdiction
                           ] ,
                           [ rdf:type owl:Restriction ;
                             owl:onProperty <http://www.estrellaproject.org/lkif-core/expression.owl#medium> ;
                             owl:someValuesFrom <http://www.estrellaproject.org/lkif-core/norm.owl#Precedent>
                           ] ;
           rdfs:comment "The syntactic representation of a judicial decision's contents" ;
           rdfs:label "Judgement" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Claim
:Judicial_Claim rdf:type owl:Class ;
                rdfs:subClassOf :Judicially_Qualified ;
                rdfs:comment "Is the claim brought in front of the judge by one of the parties." ;
                rdfs:label "Judicial Claim" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation
:Judicial_Interpretation rdf:type owl:Class ;
                         rdfs:subClassOf :Judgement ,
                                         [ rdf:type owl:Restriction ;
                                           owl:onProperty :applies ;
                                           owl:someValuesFrom :Legal_Status
                                         ] ,
                                         [ rdf:type owl:Restriction ;
                                           owl:onProperty :considers ;
                                           owl:someValuesFrom :Material_Circumstance
                                         ] ;
                         rdfs:comment "Judicial interpretations are performative expressions contained in sentences (i.e. subsumptions). They take into consideration a Factual circumstance and apply a legal status to it." ;
                         rdfs:label "Judicial Interpretation" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Outcome
:Judicial_Outcome rdf:type owl:Class ;
                  rdfs:subClassOf :Judicially_Qualified ;
                  rdfs:label "Judicial Outcome" ;
                  owl:incompatibleWith "Is the outcome applied by the judge to every judicial claim. i.e. \"accepted\", \"rejected\"" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicially_Qualified
:Judicially_Qualified rdf:type owl:Class ;
                      owl:equivalentClass [ rdf:type owl:Restriction ;
                                            owl:onProperty :considered_by ;
                                            owl:someValuesFrom :Judgement
                                          ] ;
                      rdfs:subClassOf <http://www.estrellaproject.org/lkif-core/expression.owl#Qualified> ;
                      rdfs:comment "Anything that is qualified by a judicial expression." ;
                      rdfs:label "Judicially Qualified" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Jurisdiction
:Jurisdiction rdf:type owl:Class ;
              rdfs:subClassOf <http://www.estrellaproject.org/lkif-core/expression.owl#Declaration> ,
                              [ rdf:type owl:Restriction ;
                                owl:onProperty <http://www.estrellaproject.org/lkif-core/expression.owl#held_by> ;
                                owl:allValuesFrom <http://www.estrellaproject.org/lkif-core/legal-action.owl#Public_Body>
                              ] ;
              rdfs:comment "The empowering attitude of judgements" ;
              rdfs:label "Jurisdiction" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Law_Declaration
:Law_Declaration rdf:type owl:Class ;
                 rdfs:subClassOf <http://www.estrellaproject.org/lkif-core/expression.owl#Declaration> ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty <http://www.estrellaproject.org/lkif-core/expression.owl#held_by> ;
                                   owl:allValuesFrom <http://www.estrellaproject.org/lkif-core/legal-action.owl#Legislative_Body>
                                 ] ;
                 rdfs:comment "The empowering attitude of legal rules" ;
                 rdfs:label "Law Declaration" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Consequence
:Legal_Consequence rdf:type owl:Class ;
                   rdfs:subClassOf <http://www.estrellaproject.org/lkif-core/norm.owl#Normatively_Qualified> ;
                   rdfs:comment "A legal consequence is the consequent of a legal rule. In the form of regulative rules \"if A then B\", B is the Legal Consequence. i.e. a sanction." ;
                   rdfs:label "Legal Consequence" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Rule
:Legal_Rule rdf:type owl:Class ;
            rdfs:subClassOf <http://www.estrellaproject.org/lkif-core/norm.owl#Legal_Expression> ,
                            <http://www.estrellaproject.org/lkif-core/norm.owl#Norm> ,
                            [ rdf:type owl:Restriction ;
                              owl:onProperty :applies ;
                              owl:someValuesFrom :Legal_Consequence
                            ] ,
                            [ rdf:type owl:Restriction ;
                              owl:onProperty :considers ;
                              owl:someValuesFrom :Legal_Status
                            ] ,
                            [ rdf:type owl:Restriction ;
                              owl:onProperty <http://www.estrellaproject.org/lkif-core/expression.owl#attitude> ;
                              owl:allValuesFrom :Law_Declaration
                            ] ,
                            [ rdf:type owl:Restriction ;
                              owl:onProperty <http://www.estrellaproject.org/lkif-core/expression.owl#medium> ;
                              owl:allValuesFrom <http://www.estrellaproject.org/lkif-core/norm.owl#Legal_Document>
                            ] ;
            rdfs:comment "The content of a legal document. considers anything having a given (combination of) legal status(es) and applies a (combination of) legal consequence(s) to it." ;
            rdfs:label "Legal Rule" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status
:Legal_Status rdf:type owl:Class ;
              rdfs:subClassOf <http://www.estrellaproject.org/lkif-core/norm.owl#Normatively_Qualified> ;
              rdfs:comment "A legal status is an abstract concept which is created by a law (or more rarely by doctrine or customs). It can be taken by a judgement or a contract and applied to some Factual circumstance, more or less arbitrarily. I.e. \"knowable\" is a legal status." ;
              rdfs:label "Legal Status" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Material_Circumstance
:Material_Circumstance rdf:type owl:Class ;
                       rdfs:subClassOf :Judicially_Qualified ,
                                       <http://www.estrellaproject.org/lkif-core/norm.owl#Normatively_Qualified> ;
                       rdfs:comment "a Factual Circumstance is any fact or act which occurred in the Factual world, and which is taken into consideration by a law, a contract, or a judgement." ;
                       rdfs:label "Material Circumstance" .


###  http://www.estrellaproject.org/lkif-core/expression.owl#Communicated_Attitude
<http://www.estrellaproject.org/lkif-core/expression.owl#Communicated_Attitude> rdf:type owl:Class .


###  http://www.estrellaproject.org/lkif-core/expression.owl#Declaration
<http://www.estrellaproject.org/lkif-core/expression.owl#Declaration> rdf:type owl:Class .


###  http://www.estrellaproject.org/lkif-core/expression.owl#Expression
<http://www.estrellaproject.org/lkif-core/expression.owl#Expression> rdf:type owl:Class .


###  http://www.estrellaproject.org/lkif-core/expression.owl#Qualification
<http://www.estrellaproject.org/lkif-core/expression.owl#Qualification> rdf:type owl:Class .


###  http://www.estrellaproject.org/lkif-core/expression.owl#Qualified
<http://www.estrellaproject.org/lkif-core/expression.owl#Qualified> rdf:type owl:Class .


###  http://www.estrellaproject.org/lkif-core/legal-action.owl#Legislative_Body
<http://www.estrellaproject.org/lkif-core/legal-action.owl#Legislative_Body> rdf:type owl:Class .


###  http://www.estrellaproject.org/lkif-core/legal-action.owl#Public_Body
<http://www.estrellaproject.org/lkif-core/legal-action.owl#Public_Body> rdf:type owl:Class .


###  http://www.estrellaproject.org/lkif-core/norm.owl#Contract
<http://www.estrellaproject.org/lkif-core/norm.owl#Contract> rdf:type owl:Class .


###  http://www.estrellaproject.org/lkif-core/norm.owl#Legal_Document
<http://www.estrellaproject.org/lkif-core/norm.owl#Legal_Document> rdf:type owl:Class .


###  http://www.estrellaproject.org/lkif-core/norm.owl#Legal_Expression
<http://www.estrellaproject.org/lkif-core/norm.owl#Legal_Expression> rdf:type owl:Class .


###  http://www.estrellaproject.org/lkif-core/norm.owl#Norm
<http://www.estrellaproject.org/lkif-core/norm.owl#Norm> rdf:type owl:Class .


###  http://www.estrellaproject.org/lkif-core/norm.owl#Normatively_Qualified
<http://www.estrellaproject.org/lkif-core/norm.owl#Normatively_Qualified> rdf:type owl:Class .


###  http://www.estrellaproject.org/lkif-core/norm.owl#Precedent
<http://www.estrellaproject.org/lkif-core/norm.owl#Precedent> rdf:type owl:Class .


###  Generated by the OWL API (version 4.5.29) https://github.com/owlcs/owlapi