@prefix aff: <http://test.org/affordance.owl#> .
@prefix bft: <http://test.org/bft.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://test.org/affordance.owl> a owl:Ontology .

<http://test.org/bft.owl> a owl:Ontology .

bft:KitchenEntity owl:equivalentClass aff:KitchenEntity .

bft:primary_usage a owl:DatatypeProperty ;
    rdfs:range xsd:string .

bft:used_with a owl:ObjectProperty,
        owl:SymmetricProperty ;
    rdfs:domain bft:Cutlery,
        bft:Plate ;
    rdfs:range bft:Food .

aff:Action a owl:Class ;
    rdfs:subClassOf owl:Thing .

aff:Affordance a owl:Class ;
    rdfs:subClassOf owl:Thing .

aff:affords a owl:ObjectProperty ;
    rdfs:domain aff:KitchenEntity ;
    rdfs:range aff:Action .

aff:color a owl:ObjectProperty ;
    rdfs:range xsd:string ;
    rdfs:subPropertyOf aff:quality .

aff:form a owl:ObjectProperty ;
    rdfs:range xsd:string ;
    rdfs:subPropertyOf aff:quality .

aff:implies a owl:ObjectProperty ;
    rdfs:domain aff:Quality ;
    rdfs:range aff:Affordance .

aff:location a owl:ObjectProperty ;
    rdfs:range xsd:string ;
    rdfs:subPropertyOf aff:quality .

bft:Coffee a owl:Class ;
    rdfs:subClassOf bft:Drink .

bft:Fork a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom owl:Nothing ;
            owl:onProperty bft:can_cut ],
        [ a owl:Restriction ;
            owl:allValuesFrom owl:Nothing ;
            owl:onProperty bft:can_spread ],
        bft:Cutlery .

bft:Milk a owl:Class ;
    rdfs:subClassOf bft:Drink .

bft:Spoon a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom owl:Nothing ;
            owl:onProperty bft:can_spread ],
        [ a owl:Restriction ;
            owl:allValuesFrom owl:Nothing ;
            owl:onProperty bft:can_cut ],
        bft:Cutlery .

bft:Table a owl:Class ;
    rdfs:subClassOf [ a owl:Class ;
            owl:oneOf ( bft:table ) ],
        bft:Furniture ;
    owl:disjointWith bft:Chair .

bft:Tea a owl:Class ;
    rdfs:subClassOf bft:Drink .

bft:cupboard a bft:Storage,
        owl:NamedIndividual .

bft:garnish a bft:Food,
        owl:NamedIndividual .

bft:milk_pitcher a bft:Kitchenware,
        owl:NamedIndividual .

aff:Quality a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom owl:Nothing ;
            owl:onProperty aff:implies ],
        owl:Thing .

bft:Bread a owl:Class ;
    rdfs:subClassOf [ a owl:Class ;
            owl:oneOf ( bft:croissant ) ],
        bft:Food .

bft:Chair a owl:Class ;
    rdfs:subClassOf [ a owl:Class ;
            owl:oneOf ( bft:dining_chair ) ],
        bft:Furniture .

bft:Knife a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:oneOf ( bft:butter ) ] ;
            owl:onProperty bft:can_spread ],
        [ a owl:Class ;
            owl:oneOf ( bft:butter_knife ) ],
        [ a owl:Restriction ;
            owl:allValuesFrom owl:Nothing ;
            owl:onProperty bft:can_cut ],
        bft:Cutlery .

bft:Spread a owl:Class ;
    rdfs:subClassOf [ a owl:Class ;
            owl:oneOf ( bft:butter ) ],
        [ a owl:Restriction ;
            owl:allValuesFrom owl:Nothing ;
            owl:onProperty bft:spread_on ],
        [ a owl:Restriction ;
            owl:allValuesFrom owl:Nothing ;
            owl:onProperty bft:served_with ],
        bft:Condiment .

bft:Storage a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:hasValue false ;
            owl:onProperty bft:is_edible ],
        [ a owl:Class ;
            owl:oneOf ( bft:cupboard ) ],
        owl:Thing .

bft:apple_juice a bft:Juice,
        owl:NamedIndividual .

bft:bread_basket a bft:Tableware,
        owl:NamedIndividual .

bft:croissant a bft:Bread,
        owl:NamedIndividual .

bft:dining_chair a bft:Chair,
        owl:NamedIndividual .

bft:egg_cup a bft:Tableware,
        owl:NamedIndividual .

bft:orange_juice a bft:Juice,
        owl:NamedIndividual .

bft:pepper_shaker a bft:Tableware,
        owl:NamedIndividual .

bft:salt_shaker a bft:Tableware,
        owl:NamedIndividual .

bft:spread_on a owl:ObjectProperty ;
    rdfs:domain bft:Spread ;
    rdfs:range bft:Food .

bft:table a bft:Table,
        owl:NamedIndividual .

aff:KitchenEntity a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom owl:Nothing ;
            owl:onProperty aff:quality ],
        [ a owl:Restriction ;
            owl:allValuesFrom owl:Nothing ;
            owl:onProperty aff:location ],
        [ a owl:Restriction ;
            owl:allValuesFrom owl:Nothing ;
            owl:onProperty aff:affords ],
        [ a owl:Restriction ;
            owl:allValuesFrom owl:Nothing ;
            owl:onProperty aff:color ],
        [ a owl:Restriction ;
            owl:allValuesFrom owl:Nothing ;
            owl:onProperty aff:form ],
        owl:Thing .

bft:Condiment a owl:Class ;
    rdfs:subClassOf [ a owl:Class ;
            owl:oneOf ( bft:butter ) ],
        [ a owl:Restriction ;
            owl:allValuesFrom owl:Nothing ;
            owl:onProperty bft:served_with ],
        bft:Food .

bft:Furniture a owl:Class ;
    rdfs:subClassOf [ a owl:Class ;
            owl:oneOf ( bft:table bft:dining_chair ) ],
        [ a owl:Restriction ;
            owl:hasValue false ;
            owl:onProperty bft:is_edible ],
        owl:Thing .

bft:Glassware a owl:Class ;
    rdfs:subClassOf [ a owl:Class ;
            owl:oneOf ( bft:glass bft:teacup ) ],
        bft:Tableware .

bft:Juice a owl:Class ;
    rdfs:subClassOf [ a owl:Class ;
            owl:oneOf ( bft:apple_juice bft:orange_juice ) ],
        bft:Drink .

bft:Kitchenware a owl:Class ;
    rdfs:subClassOf [ a owl:Class ;
            owl:oneOf ( bft:teacup_plate bft:pepper_shaker bft:bread_plate bft:teacup bft:milk_pitcher bft:egg_cup bft:glass bft:sauce_dish bft:butter_dish bft:butter_knife bft:salt_shaker bft:bread_basket ) ],
        [ a owl:Restriction ;
            owl:hasValue false ;
            owl:onProperty bft:is_edible ],
        owl:Thing .

bft:fried a bft:Egg,
        owl:NamedIndividual .

bft:glass a bft:Glassware,
        owl:NamedIndividual .

bft:hardboiled a bft:Egg,
        owl:NamedIndividual .

bft:scrambled a bft:Egg,
        owl:NamedIndividual .

bft:served_with a owl:ObjectProperty,
        owl:SymmetricProperty ;
    rdfs:domain bft:Condiment ;
    rdfs:range bft:Food .

bft:teacup a bft:Glassware,
        owl:NamedIndividual .

aff:quality a owl:ObjectProperty ;
    rdfs:domain aff:KitchenEntity ;
    rdfs:range aff:Quality .

bft:Egg a owl:Class ;
    rdfs:subClassOf [ a owl:Class ;
            owl:oneOf ( bft:hardboiled bft:scrambled bft:fried ) ],
        bft:Food .

bft:bread_plate a bft:Plate,
        owl:NamedIndividual .

bft:butter_dish a bft:Plate,
        owl:NamedIndividual .

bft:butter_knife a [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:oneOf ( bft:butter ) ] ;
            owl:onProperty bft:can_spread ],
        [ a owl:Restriction ;
            owl:allValuesFrom owl:Nothing ;
            owl:onProperty bft:can_cut ],
        bft:Knife,
        owl:NamedIndividual ;
    bft:can_spread bft:butter .

bft:is_edible a owl:DatatypeProperty ;
    rdfs:range xsd:boolean .

bft:sauce_dish a bft:Plate,
        owl:NamedIndividual .

bft:teacup_plate a bft:Plate,
        owl:NamedIndividual .

bft:Drink a owl:Class ;
    rdfs:subClassOf [ a owl:Class ;
            owl:oneOf ( bft:apple_juice bft:orange_juice ) ],
        owl:Thing .

bft:can_cut a owl:ObjectProperty ;
    rdfs:domain bft:Cutlery ;
    rdfs:range bft:Food .

bft:can_spread a owl:ObjectProperty ;
    rdfs:domain bft:Cutlery ;
    rdfs:range bft:Food .

bft:Cutlery a owl:Class ;
    rdfs:subClassOf [ a owl:Class ;
            owl:oneOf ( bft:butter_knife ) ],
        [ a owl:Restriction ;
            owl:allValuesFrom owl:Nothing ;
            owl:onProperty bft:can_cut ],
        [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:oneOf ( bft:butter ) ] ;
            owl:onProperty bft:can_spread ],
        bft:Tableware .

bft:Plate a owl:Class ;
    rdfs:subClassOf [ a owl:Class ;
            owl:oneOf ( bft:sauce_dish bft:bread_plate bft:butter_dish bft:teacup_plate ) ],
        bft:Tableware .

bft:Tableware a owl:Class ;
    rdfs:subClassOf [ a owl:Class ;
            owl:oneOf ( bft:teacup_plate bft:pepper_shaker bft:bread_plate bft:teacup bft:egg_cup bft:glass bft:sauce_dish bft:butter_dish bft:butter_knife bft:salt_shaker bft:bread_basket ) ],
        bft:Kitchenware .

bft:butter a [ a owl:Restriction ;
            owl:allValuesFrom owl:Nothing ;
            owl:onProperty bft:spread_on ],
        [ a owl:Restriction ;
            owl:allValuesFrom owl:Nothing ;
            owl:onProperty bft:served_with ],
        bft:Spread,
        owl:NamedIndividual .

bft:Food a owl:Class ;
    rdfs:subClassOf [ a owl:Class ;
            owl:oneOf ( bft:fried bft:hardboiled bft:croissant bft:butter bft:scrambled bft:garnish ) ],
        [ a owl:Restriction ;
            owl:hasValue true ;
            owl:onProperty bft:is_edible ],
        owl:Thing .

[] a owl:AllDifferent ;
    owl:distinctMembers ( bft:sauce_dish bft:bread_plate bft:butter_dish bft:teacup_plate ) .

[] a owl:AllDifferent ;
    owl:distinctMembers ( bft:hardboiled bft:scrambled bft:fried ) .

[] a owl:AllDisjointClasses ;
    owl:members ( bft:Juice bft:Coffee bft:Milk bft:Tea ) .

[] a owl:AllDisjointClasses ;
    owl:members ( bft:Glassware bft:Plate bft:Fork bft:Knife bft:Spoon ) .

[] a owl:AllDisjointClasses ;
    owl:members ( bft:Food bft:Drink bft:Storage bft:Kitchenware bft:Furniture ) .

[] a owl:AllDisjointClasses ;
    owl:members ( bft:Bread bft:Egg bft:Condiment ) .