Web sémantique et modélisation ontologique (avec G-OWL):
Le guide du développeur Java sous Eclipse
calcultauximposition.owl
@prefix : //java-ws.com/ontologie/calcultauximposition.owl#> .
@prefix owl://www.w3.org/2002/07/owl#> .
@prefix rdf://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml://www.w3.org/XML/1998/namespace> .
@prefix xsd://www.w3.org/2001/XMLSchema#> .
@prefix rdfs://www.w3.org/2000/01/rdf-schema#> .
@base//java-ws.com/ontologie/calcultauximposition.owl> .
//java-ws.com/ontologie/calcultauximposition.owl> rdf:type owl:Ontology ;
rdfs:label """Ontologie d'OntoDeTai: Chap 10 Projet synthese : Implanter
un arbre de decision"""@fr ;
rdfs:isDefinedBy "Michel Heon PhD http://www.cotechnoe.com"^^xsd:Name ;
rdfs:comment """This file is part of the book:
Michel Heon
Web semantique et modelisation ontologique - Guide du developpeur Java sous Eclipse
2014
Editions ENI
ISBN : 978-2-7460-8869-6
EAN : 9782746088696
France
The contents of this file are subject to the LGPL License, Version 3.0.
Copyright (C) 2014, Cotechnoe inc. http://www.cotechnoe.com, http://java-ws.com
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see http://www.gnu.org/licenses/.
Alternatively, the contents of this file may be used under the terms of the Apache License, Version 2.0
in which case, the provisions of the Apache License Version 2.0 are applicable instead of those above.
Copyright (C) 2014, Cotechnoe inc.
Licensed under the Apache License, Version 2.0 (the \"License\");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an \"AS IS\" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License."""@fr .
#################################################################
#
# Datatypes
#
#################################################################
### http://java-ws.com/ontologie/calcultauximposition.owl#Personne_a_charge
:Personne_a_charge rdf:type rdfs:Datatype ;
owl:equivalentClass xsd:boolean .
### http://java-ws.com/ontologie/calcultauximposition.owl#Revenu
:Revenu rdf:type rdfs:Datatype ;
owl:equivalentClass xsd:float .
### http://java-ws.com/ontologie/calcultauximposition.owl#Revenu_eleve_type
:Revenu_eleve_type rdf:type rdfs:Datatype ;
owl:equivalentClass [ rdf:type rdfs:Datatype ;
owl:onDatatype xsd:float ;
owl:withRestrictions ( [ xsd:minInclusive "55000.0"^^xsd:float
]
)
] .
### http://java-ws.com/ontologie/calcultauximposition.owl#Revenu_faible_type
:Revenu_faible_type rdf:type rdfs:Datatype ;
owl:equivalentClass [ rdf:type rdfs:Datatype ;
owl:onDatatype xsd:float ;
owl:withRestrictions ( [ xsd:maxExclusive "15000.0"^^xsd:float
]
[ xsd:minInclusive "0.0"^^xsd:float
]
)
] .
### http://java-ws.com/ontologie/calcultauximposition.owl#Revenu_moyen_type
:Revenu_moyen_type rdf:type rdfs:Datatype ;
owl:equivalentClass [ rdf:type rdfs:Datatype ;
owl:onDatatype xsd:float ;
owl:withRestrictions ( [ xsd:minInclusive "15000.0"^^xsd:float
]
[ xsd:maxExclusive "55000.0"^^xsd:float
]
)
] .
### http://java-ws.com/ontologie/calcultauximposition.owl#Taux_imposition
:Taux_imposition rdf:type rdfs:Datatype ;
owl:equivalentClass [ rdf:type rdfs:Datatype ;
owl:oneOf [ rdf:type rdf:List ;
rdf:first "0.0"^^xsd:float ;
rdf:rest [ rdf:type rdf:List ;
rdf:first "10.0"^^xsd:float ;
rdf:rest [ rdf:type rdf:List ;
rdf:first "15.0"^^xsd:float ;
rdf:rest [ rdf:type rdf:List ;
rdf:first "20.0"^^xsd:float ;
rdf:rest [ rdf:type rdf:List ;
rdf:first "25.0"^^xsd:float ;
rdf:rest [ rdf:type rdf:List ;
rdf:first "30.0"^^xsd:float ;
rdf:rest [ rdf:type rdf:List ;
rdf:first "35.0"^^xsd:float ;
rdf:rest [ rdf:type rdf:List ;
rdf:first "40.0"^^xsd:float ;
rdf:rest [ rdf:type rdf:List ;
rdf:first "50.0"^^xsd:float ;
rdf:rest rdf:nil
]
]
]
]
]
]
]
]
]
] .
#################################################################
#
# Object Properties
#
#################################################################
### http://java-ws.com/ontologie/calcultauximposition.owl#est_de_etat_matrimonial
:est_de_etat_matrimonial rdf:type owl:FunctionalProperty ,
owl:ObjectProperty ;
rdfs:range :Etat_matrimonial .
### http://java-ws.com/ontologie/calcultauximposition.owl#est_de_la_categorie_de_revenu
:est_de_la_categorie_de_revenu rdf:type owl:FunctionalProperty ,
owl:ObjectProperty ;
rdfs:range :Revenu_imposable .
#################################################################
#
# Data properties
#
#################################################################
### http://java-ws.com/ontologie/calcultauximposition.owl#a_pour_revenu
:a_pour_revenu rdf:type owl:DatatypeProperty ,
owl:FunctionalProperty ;
rdfs:range :Revenu .
### http://java-ws.com/ontologie/calcultauximposition.owl#a_pour_taux_imposition
:a_pour_taux_imposition rdf:type owl:DatatypeProperty ,
owl:FunctionalProperty ;
rdfs:range :Taux_imposition .
### http://java-ws.com/ontologie/calcultauximposition.owl#avec_personne_a_charge
:avec_personne_a_charge rdf:type owl:DatatypeProperty ,
owl:FunctionalProperty ;
rdfs:range xsd:boolean .
#################################################################
#
# Classes
#
#################################################################
### http://java-ws.com/ontologie/calcultauximposition.owl#Axiome
:Axiome rdf:type owl:Class .
### http://java-ws.com/ontologie/calcultauximposition.owl#Axiome_taux_a_0
:Axiome_taux_a_0 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:intersectionOf ( :Contribuable
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_etat_matrimonial ;
owl:hasValue :marie
]
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_faible
]
[ rdf:type owl:Restriction ;
owl:onProperty :avec_personne_a_charge ;
owl:hasValue "true"^^xsd:boolean
]
)
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :a_pour_taux_imposition ;
owl:hasValue "0.0"^^xsd:float
] ;
rdfs:subClassOf :Axiome .
### http://java-ws.com/ontologie/calcultauximposition.owl#Axiome_taux_a_10
:Axiome_taux_a_10 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:intersectionOf ( :Contribuable
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_etat_matrimonial ;
owl:hasValue :marie
]
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_faible
]
[ rdf:type owl:Restriction ;
owl:onProperty :avec_personne_a_charge ;
owl:hasValue "false"^^xsd:boolean
]
)
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :a_pour_taux_imposition ;
owl:hasValue "10.0"^^xsd:float
] ;
rdfs:subClassOf :Axiome .
### http://java-ws.com/ontologie/calcultauximposition.owl#Axiome_taux_a_15
:Axiome_taux_a_15 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:intersectionOf ( :Contribuable
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_etat_matrimonial ;
owl:hasValue :celibataire
]
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_faible
]
)
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :a_pour_taux_imposition ;
owl:hasValue "15.0"^^xsd:float
] ;
rdfs:subClassOf :Axiome .
### http://java-ws.com/ontologie/calcultauximposition.owl#Axiome_taux_a_20
:Axiome_taux_a_20 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
owl:onProperty :a_pour_taux_imposition ;
owl:hasValue "20.0"^^xsd:float
] ,
[ rdf:type owl:Class ;
owl:intersectionOf ( :Contribuable
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_etat_matrimonial ;
owl:hasValue :marie
]
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_moyen
]
[ rdf:type owl:Restriction ;
owl:onProperty :avec_personne_a_charge ;
owl:hasValue "true"^^xsd:boolean
]
)
] ;
rdfs:subClassOf :Axiome .
### http://java-ws.com/ontologie/calcultauximposition.owl#Axiome_taux_a_25
:Axiome_taux_a_25 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
owl:onProperty :a_pour_taux_imposition ;
owl:hasValue "25.0"^^xsd:float
] ,
[ rdf:type owl:Class ;
owl:intersectionOf ( :Contribuable
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_etat_matrimonial ;
owl:hasValue :marie
]
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_moyen
]
[ rdf:type owl:Restriction ;
owl:onProperty :avec_personne_a_charge ;
owl:hasValue "false"^^xsd:boolean
]
)
] ;
rdfs:subClassOf :Axiome .
### http://java-ws.com/ontologie/calcultauximposition.owl#Axiome_taux_a_30
:Axiome_taux_a_30 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:intersectionOf ( :Contribuable
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_etat_matrimonial ;
owl:hasValue :celibataire
]
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_moyen
]
)
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :a_pour_taux_imposition ;
owl:hasValue "30.0"^^xsd:float
] ;
rdfs:subClassOf :Axiome .
### http://java-ws.com/ontologie/calcultauximposition.owl#Axiome_taux_a_35
:Axiome_taux_a_35 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:intersectionOf ( :Contribuable
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_etat_matrimonial ;
owl:hasValue :marie
]
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_eleve
]
[ rdf:type owl:Restriction ;
owl:onProperty :avec_personne_a_charge ;
owl:hasValue "true"^^xsd:boolean
]
)
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :a_pour_taux_imposition ;
owl:hasValue "35.0"^^xsd:float
] ;
rdfs:subClassOf :Axiome .
### http://java-ws.com/ontologie/calcultauximposition.owl#Axiome_taux_a_40
:Axiome_taux_a_40 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:intersectionOf ( :Contribuable
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_etat_matrimonial ;
owl:hasValue :marie
]
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_eleve
]
[ rdf:type owl:Restriction ;
owl:onProperty :avec_personne_a_charge ;
owl:hasValue "false"^^xsd:boolean
]
)
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :a_pour_taux_imposition ;
owl:hasValue "40.0"^^xsd:float
] ;
rdfs:subClassOf :Axiome .
### http://java-ws.com/ontologie/calcultauximposition.owl#Axiome_taux_a_50
:Axiome_taux_a_50 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
owl:onProperty :a_pour_taux_imposition ;
owl:hasValue "50.0"^^xsd:float
] ,
[ rdf:type owl:Class ;
owl:intersectionOf ( :Contribuable
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_etat_matrimonial ;
owl:hasValue :celibataire
]
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_eleve
]
)
] ;
rdfs:subClassOf :Axiome .
### http://java-ws.com/ontologie/calcultauximposition.owl#Contribuable
:Contribuable rdf:type owl:Class .
### http://java-ws.com/ontologie/calcultauximposition.owl#Etat_matrimonial
:Etat_matrimonial rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:oneOf ( :marie
:celibataire
)
] .
### http://java-ws.com/ontologie/calcultauximposition.owl#Revenu_eleve_axiome
:Revenu_eleve_axiome rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_eleve
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :a_pour_revenu ;
owl:someValuesFrom :Revenu_eleve_type
] ;
rdfs:subClassOf :Axiome .
### http://java-ws.com/ontologie/calcultauximposition.owl#Revenu_faible_axiome
:Revenu_faible_axiome rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_faible
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :a_pour_revenu ;
owl:someValuesFrom :Revenu_faible_type
] ;
rdfs:subClassOf :Axiome .
### http://java-ws.com/ontologie/calcultauximposition.owl#Revenu_imposable
:Revenu_imposable rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:oneOf ( :revenu_faible
:revenu_moyen
:revenu_eleve
)
] .
### http://java-ws.com/ontologie/calcultauximposition.owl#Revenu_moyen_axiome
:Revenu_moyen_axiome rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_moyen
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :a_pour_revenu ;
owl:someValuesFrom :Revenu_moyen_type
] ;
rdfs:subClassOf :Axiome .
#################################################################
#
# Individuals
#
#################################################################
### http://java-ws.com/ontologie/calcultauximposition.owl#celibataire
:celibataire rdf:type :Etat_matrimonial ,
owl:NamedIndividual .
### http://java-ws.com/ontologie/calcultauximposition.owl#marie
:marie rdf:type :Etat_matrimonial ,
owl:NamedIndividual .
### http://java-ws.com/ontologie/calcultauximposition.owl#revenu_eleve
:revenu_eleve rdf:type :Revenu_imposable ,
owl:NamedIndividual .
### http://java-ws.com/ontologie/calcultauximposition.owl#revenu_faible
:revenu_faible rdf:type :Revenu_imposable ,
owl:NamedIndividual .
### http://java-ws.com/ontologie/calcultauximposition.owl#revenu_moyen
:revenu_moyen rdf:type :Revenu_imposable ,
owl:NamedIndividual .
### Generated by the OWL API (version 3.4.2) http://owlapi.sourceforge.net
@prefix owl:
@prefix rdf:
@prefix xml:
@prefix xsd:
@prefix rdfs:
@base
rdfs:label """Ontologie d'OntoDeTai: Chap 10 Projet synthese : Implanter
un arbre de decision"""@fr ;
rdfs:isDefinedBy "Michel Heon PhD http://www.cotechnoe.com"^^xsd:Name ;
rdfs:comment """This file is part of the book:
Michel Heon
Web semantique et modelisation ontologique - Guide du developpeur Java sous Eclipse
2014
Editions ENI
ISBN : 978-2-7460-8869-6
EAN : 9782746088696
France
The contents of this file are subject to the LGPL License, Version 3.0.
Copyright (C) 2014, Cotechnoe inc. http://www.cotechnoe.com, http://java-ws.com
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see http://www.gnu.org/licenses/.
Alternatively, the contents of this file may be used under the terms of the Apache License, Version 2.0
in which case, the provisions of the Apache License Version 2.0 are applicable instead of those above.
Copyright (C) 2014, Cotechnoe inc.
Licensed under the Apache License, Version 2.0 (the \"License\");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an \"AS IS\" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License."""@fr .
#################################################################
#
# Datatypes
#
#################################################################
### http://java-ws.com/ontologie/calcultauximposition.owl#Personne_a_charge
:Personne_a_charge rdf:type rdfs:Datatype ;
owl:equivalentClass xsd:boolean .
### http://java-ws.com/ontologie/calcultauximposition.owl#Revenu
:Revenu rdf:type rdfs:Datatype ;
owl:equivalentClass xsd:float .
### http://java-ws.com/ontologie/calcultauximposition.owl#Revenu_eleve_type
:Revenu_eleve_type rdf:type rdfs:Datatype ;
owl:equivalentClass [ rdf:type rdfs:Datatype ;
owl:onDatatype xsd:float ;
owl:withRestrictions ( [ xsd:minInclusive "55000.0"^^xsd:float
]
)
] .
### http://java-ws.com/ontologie/calcultauximposition.owl#Revenu_faible_type
:Revenu_faible_type rdf:type rdfs:Datatype ;
owl:equivalentClass [ rdf:type rdfs:Datatype ;
owl:onDatatype xsd:float ;
owl:withRestrictions ( [ xsd:maxExclusive "15000.0"^^xsd:float
]
[ xsd:minInclusive "0.0"^^xsd:float
]
)
] .
### http://java-ws.com/ontologie/calcultauximposition.owl#Revenu_moyen_type
:Revenu_moyen_type rdf:type rdfs:Datatype ;
owl:equivalentClass [ rdf:type rdfs:Datatype ;
owl:onDatatype xsd:float ;
owl:withRestrictions ( [ xsd:minInclusive "15000.0"^^xsd:float
]
[ xsd:maxExclusive "55000.0"^^xsd:float
]
)
] .
### http://java-ws.com/ontologie/calcultauximposition.owl#Taux_imposition
:Taux_imposition rdf:type rdfs:Datatype ;
owl:equivalentClass [ rdf:type rdfs:Datatype ;
owl:oneOf [ rdf:type rdf:List ;
rdf:first "0.0"^^xsd:float ;
rdf:rest [ rdf:type rdf:List ;
rdf:first "10.0"^^xsd:float ;
rdf:rest [ rdf:type rdf:List ;
rdf:first "15.0"^^xsd:float ;
rdf:rest [ rdf:type rdf:List ;
rdf:first "20.0"^^xsd:float ;
rdf:rest [ rdf:type rdf:List ;
rdf:first "25.0"^^xsd:float ;
rdf:rest [ rdf:type rdf:List ;
rdf:first "30.0"^^xsd:float ;
rdf:rest [ rdf:type rdf:List ;
rdf:first "35.0"^^xsd:float ;
rdf:rest [ rdf:type rdf:List ;
rdf:first "40.0"^^xsd:float ;
rdf:rest [ rdf:type rdf:List ;
rdf:first "50.0"^^xsd:float ;
rdf:rest rdf:nil
]
]
]
]
]
]
]
]
]
] .
#################################################################
#
# Object Properties
#
#################################################################
### http://java-ws.com/ontologie/calcultauximposition.owl#est_de_etat_matrimonial
:est_de_etat_matrimonial rdf:type owl:FunctionalProperty ,
owl:ObjectProperty ;
rdfs:range :Etat_matrimonial .
### http://java-ws.com/ontologie/calcultauximposition.owl#est_de_la_categorie_de_revenu
:est_de_la_categorie_de_revenu rdf:type owl:FunctionalProperty ,
owl:ObjectProperty ;
rdfs:range :Revenu_imposable .
#################################################################
#
# Data properties
#
#################################################################
### http://java-ws.com/ontologie/calcultauximposition.owl#a_pour_revenu
:a_pour_revenu rdf:type owl:DatatypeProperty ,
owl:FunctionalProperty ;
rdfs:range :Revenu .
### http://java-ws.com/ontologie/calcultauximposition.owl#a_pour_taux_imposition
:a_pour_taux_imposition rdf:type owl:DatatypeProperty ,
owl:FunctionalProperty ;
rdfs:range :Taux_imposition .
### http://java-ws.com/ontologie/calcultauximposition.owl#avec_personne_a_charge
:avec_personne_a_charge rdf:type owl:DatatypeProperty ,
owl:FunctionalProperty ;
rdfs:range xsd:boolean .
#################################################################
#
# Classes
#
#################################################################
### http://java-ws.com/ontologie/calcultauximposition.owl#Axiome
:Axiome rdf:type owl:Class .
### http://java-ws.com/ontologie/calcultauximposition.owl#Axiome_taux_a_0
:Axiome_taux_a_0 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:intersectionOf ( :Contribuable
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_etat_matrimonial ;
owl:hasValue :marie
]
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_faible
]
[ rdf:type owl:Restriction ;
owl:onProperty :avec_personne_a_charge ;
owl:hasValue "true"^^xsd:boolean
]
)
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :a_pour_taux_imposition ;
owl:hasValue "0.0"^^xsd:float
] ;
rdfs:subClassOf :Axiome .
### http://java-ws.com/ontologie/calcultauximposition.owl#Axiome_taux_a_10
:Axiome_taux_a_10 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:intersectionOf ( :Contribuable
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_etat_matrimonial ;
owl:hasValue :marie
]
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_faible
]
[ rdf:type owl:Restriction ;
owl:onProperty :avec_personne_a_charge ;
owl:hasValue "false"^^xsd:boolean
]
)
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :a_pour_taux_imposition ;
owl:hasValue "10.0"^^xsd:float
] ;
rdfs:subClassOf :Axiome .
### http://java-ws.com/ontologie/calcultauximposition.owl#Axiome_taux_a_15
:Axiome_taux_a_15 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:intersectionOf ( :Contribuable
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_etat_matrimonial ;
owl:hasValue :celibataire
]
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_faible
]
)
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :a_pour_taux_imposition ;
owl:hasValue "15.0"^^xsd:float
] ;
rdfs:subClassOf :Axiome .
### http://java-ws.com/ontologie/calcultauximposition.owl#Axiome_taux_a_20
:Axiome_taux_a_20 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
owl:onProperty :a_pour_taux_imposition ;
owl:hasValue "20.0"^^xsd:float
] ,
[ rdf:type owl:Class ;
owl:intersectionOf ( :Contribuable
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_etat_matrimonial ;
owl:hasValue :marie
]
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_moyen
]
[ rdf:type owl:Restriction ;
owl:onProperty :avec_personne_a_charge ;
owl:hasValue "true"^^xsd:boolean
]
)
] ;
rdfs:subClassOf :Axiome .
### http://java-ws.com/ontologie/calcultauximposition.owl#Axiome_taux_a_25
:Axiome_taux_a_25 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
owl:onProperty :a_pour_taux_imposition ;
owl:hasValue "25.0"^^xsd:float
] ,
[ rdf:type owl:Class ;
owl:intersectionOf ( :Contribuable
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_etat_matrimonial ;
owl:hasValue :marie
]
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_moyen
]
[ rdf:type owl:Restriction ;
owl:onProperty :avec_personne_a_charge ;
owl:hasValue "false"^^xsd:boolean
]
)
] ;
rdfs:subClassOf :Axiome .
### http://java-ws.com/ontologie/calcultauximposition.owl#Axiome_taux_a_30
:Axiome_taux_a_30 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:intersectionOf ( :Contribuable
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_etat_matrimonial ;
owl:hasValue :celibataire
]
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_moyen
]
)
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :a_pour_taux_imposition ;
owl:hasValue "30.0"^^xsd:float
] ;
rdfs:subClassOf :Axiome .
### http://java-ws.com/ontologie/calcultauximposition.owl#Axiome_taux_a_35
:Axiome_taux_a_35 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:intersectionOf ( :Contribuable
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_etat_matrimonial ;
owl:hasValue :marie
]
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_eleve
]
[ rdf:type owl:Restriction ;
owl:onProperty :avec_personne_a_charge ;
owl:hasValue "true"^^xsd:boolean
]
)
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :a_pour_taux_imposition ;
owl:hasValue "35.0"^^xsd:float
] ;
rdfs:subClassOf :Axiome .
### http://java-ws.com/ontologie/calcultauximposition.owl#Axiome_taux_a_40
:Axiome_taux_a_40 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:intersectionOf ( :Contribuable
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_etat_matrimonial ;
owl:hasValue :marie
]
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_eleve
]
[ rdf:type owl:Restriction ;
owl:onProperty :avec_personne_a_charge ;
owl:hasValue "false"^^xsd:boolean
]
)
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :a_pour_taux_imposition ;
owl:hasValue "40.0"^^xsd:float
] ;
rdfs:subClassOf :Axiome .
### http://java-ws.com/ontologie/calcultauximposition.owl#Axiome_taux_a_50
:Axiome_taux_a_50 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
owl:onProperty :a_pour_taux_imposition ;
owl:hasValue "50.0"^^xsd:float
] ,
[ rdf:type owl:Class ;
owl:intersectionOf ( :Contribuable
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_etat_matrimonial ;
owl:hasValue :celibataire
]
[ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_eleve
]
)
] ;
rdfs:subClassOf :Axiome .
### http://java-ws.com/ontologie/calcultauximposition.owl#Contribuable
:Contribuable rdf:type owl:Class .
### http://java-ws.com/ontologie/calcultauximposition.owl#Etat_matrimonial
:Etat_matrimonial rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:oneOf ( :marie
:celibataire
)
] .
### http://java-ws.com/ontologie/calcultauximposition.owl#Revenu_eleve_axiome
:Revenu_eleve_axiome rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_eleve
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :a_pour_revenu ;
owl:someValuesFrom :Revenu_eleve_type
] ;
rdfs:subClassOf :Axiome .
### http://java-ws.com/ontologie/calcultauximposition.owl#Revenu_faible_axiome
:Revenu_faible_axiome rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_faible
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :a_pour_revenu ;
owl:someValuesFrom :Revenu_faible_type
] ;
rdfs:subClassOf :Axiome .
### http://java-ws.com/ontologie/calcultauximposition.owl#Revenu_imposable
:Revenu_imposable rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:oneOf ( :revenu_faible
:revenu_moyen
:revenu_eleve
)
] .
### http://java-ws.com/ontologie/calcultauximposition.owl#Revenu_moyen_axiome
:Revenu_moyen_axiome rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
owl:onProperty :est_de_la_categorie_de_revenu ;
owl:hasValue :revenu_moyen
] ,
[ rdf:type owl:Restriction ;
owl:onProperty :a_pour_revenu ;
owl:someValuesFrom :Revenu_moyen_type
] ;
rdfs:subClassOf :Axiome .
#################################################################
#
# Individuals
#
#################################################################
### http://java-ws.com/ontologie/calcultauximposition.owl#celibataire
:celibataire rdf:type :Etat_matrimonial ,
owl:NamedIndividual .
### http://java-ws.com/ontologie/calcultauximposition.owl#marie
:marie rdf:type :Etat_matrimonial ,
owl:NamedIndividual .
### http://java-ws.com/ontologie/calcultauximposition.owl#revenu_eleve
:revenu_eleve rdf:type :Revenu_imposable ,
owl:NamedIndividual .
### http://java-ws.com/ontologie/calcultauximposition.owl#revenu_faible
:revenu_faible rdf:type :Revenu_imposable ,
owl:NamedIndividual .
### http://java-ws.com/ontologie/calcultauximposition.owl#revenu_moyen
:revenu_moyen rdf:type :Revenu_imposable ,
owl:NamedIndividual .
### Generated by the OWL API (version 3.4.2) http://owlapi.sourceforge.net
Copyright © 2018 Michel Héon. Tous droits réservés. www.cotechnoe.com