<?xml version="1.0"?>
<Ontology xmlns="http://www.w3.org/2002/07/owl#"
     xml:base="http://www.lesfleursdunormal.fr/static/_downloads/pizza_onto.owl"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:xml="http://www.w3.org/XML/1998/namespace"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     ontologyIRI="http://www.lesfleursdunormal.fr/static/_downloads/pizza_onto.owl">
    <Prefix name="" IRI="http://www.lesfleursdunormal.fr/static/_downloads/pizza_onto.owl"/>
    <Prefix name="owl" IRI="http://www.w3.org/2002/07/owl#"/>
    <Prefix name="rdf" IRI="http://www.w3.org/1999/02/22-rdf-syntax-ns#"/>
    <Prefix name="xml" IRI="http://www.w3.org/XML/1998/namespace"/>
    <Prefix name="xsd" IRI="http://www.w3.org/2001/XMLSchema#"/>
    <Prefix name="rdfs" IRI="http://www.w3.org/2000/01/rdf-schema#"/>
    <Declaration>
        <Class IRI="#CheeseTopping"/>
    </Declaration>
    <Declaration>
        <Class IRI="#FishTopping"/>
    </Declaration>
    <Declaration>
        <Class IRI="#MeatTopping"/>
    </Declaration>
    <Declaration>
        <Class IRI="#Pizza"/>
    </Declaration>
    <Declaration>
        <Class IRI="#TomatoTopping"/>
    </Declaration>
    <Declaration>
        <Class IRI="#Topping"/>
    </Declaration>
    <Declaration>
        <ObjectProperty IRI="#has_topping"/>
    </Declaration>
    <Declaration>
        <NamedIndividual IRI="#meatTopping1"/>
    </Declaration>
    <Declaration>
        <NamedIndividual IRI="#pizza1"/>
    </Declaration>
    <Declaration>
        <NamedIndividual IRI="#pizza2"/>
    </Declaration>
    <SubClassOf>
        <Class IRI="#CheeseTopping"/>
        <Class IRI="#Topping"/>
    </SubClassOf>
    <SubClassOf>
        <Class IRI="#FishTopping"/>
        <Class IRI="#Topping"/>
    </SubClassOf>
    <SubClassOf>
        <Class IRI="#MeatTopping"/>
        <Class IRI="#Topping"/>
    </SubClassOf>
    <SubClassOf>
        <Class IRI="#TomatoTopping"/>
        <Class IRI="#Topping"/>
    </SubClassOf>
    <DisjointClasses>
        <Class IRI="#CheeseTopping"/>
        <Class IRI="#FishTopping"/>
        <Class IRI="#MeatTopping"/>
        <Class IRI="#TomatoTopping"/>
    </DisjointClasses>
    <DisjointClasses>
        <Class IRI="#Pizza"/>
        <Class IRI="#Topping"/>
    </DisjointClasses>
    <ClassAssertion>
        <Class IRI="#MeatTopping"/>
        <NamedIndividual IRI="#meatTopping1"/>
    </ClassAssertion>
    <ClassAssertion>
        <Class IRI="#Pizza"/>
        <NamedIndividual IRI="#pizza1"/>
    </ClassAssertion>
    <SameIndividual>
        <NamedIndividual IRI="#pizza1"/>
        <NamedIndividual IRI="#pizza2"/>
    </SameIndividual>
    <ObjectPropertyAssertion>
        <ObjectProperty IRI="#has_topping"/>
        <NamedIndividual IRI="#pizza1"/>
        <NamedIndividual IRI="#meatTopping1"/>
    </ObjectPropertyAssertion>
    <ObjectPropertyDomain>
        <ObjectProperty IRI="#has_topping"/>
        <Class IRI="#Pizza"/>
    </ObjectPropertyDomain>
    <ObjectPropertyRange>
        <ObjectProperty IRI="#has_topping"/>
        <Class IRI="#Topping"/>
    </ObjectPropertyRange>
</Ontology>



<!-- Generated by the OWL API (version 4.5.7.2018-12-02T02:23:35Z) https://github.com/owlcs/owlapi -->

