@prefix c: .
@prefix dco: .
@prefix owl: .
@prefix rdf: .
@prefix rdfs: .
@prefix xsd: .
dco:NumberOfDoors a dco:NumConfigOption;
dco:max "5";
dco:min "3" .
dco:Edition a dco:ChoiceConfigOption;
dco:availableChoice dco:FamilyEdition, dco:OffroadEdition, dco:SportsEdition .
dco:Hitch a dco:ChoiceConfigOption;
dco:availableChoice dco:WithHitch, dco:WithoutHitch .
dco:FamilyConstradicts3Doors a dco:ContradictingConstraint;
dco:assignmentA [
dco:is dco:FamilyEdition;
dco:option dco:Edition
];
dco:assignmentB [
dco:is "3";
dco:option dco:NumberOfDoors
] .
dco:ChoiceValue a owl:Class .
dco:option a owl:ObjectProperty .
dco:Car4 a dco:CarConfigSet;
dco:hasConfiguration [
dco:is dco:FamilyEdition;
dco:option dco:Edition
], [
dco:is "5";
dco:option dco:NumberOfDoors
] .
dco:Car1 a dco:CarConfigSet;
dco:hasConfiguration [
dco:is dco:MediumEngine;
dco:option dco:Engine
], [
dco:is dco:WithHitch;
dco:option dco:Hitch
] .
dco:WithHitch a dco:ChoiceValue .
dco:CarX a dco:CarConfigSet;
dco:hasConfiguration [
dco:is dco:WithHitch;
dco:option dco:Engine
], [
dco:is dco:SportsEdition;
dco:option dco:Hitch
], [
dco:is "99";
dco:option dco:NumberOfDoors
] .
dco:assignmentB a owl:ObjectProperty .
dco:Car3 a dco:CarConfigSet;
dco:hasConfiguration [
dco:is dco:FamilyEdition;
dco:option dco:Edition
], [
dco:is "3";
dco:option dco:NumberOfDoors
] .
dco:OffroadRequiresTurboEngine a dco:ContradictingConstraint;
dco:assignmentA [
dco:is dco:OffroadEdition;
dco:option dco:Edition
];
dco:assignmentB [
dco:isNot dco:Turbo;
dco:option dco:Engine
] .
dco:HitchConstradictsSmallEngine a dco:ContradictingConstraint;
dco:assignmentA [
dco:is dco:WithHitch;
dco:option dco:Hitch
];
dco:assignmentB [
dco:is dco:SmallEngine;
dco:option dco:Engine
];
rdfs:label "Anhängerkupplung nicht mit kleinem Motor" .
dco:Constraint a owl:Class;
c:color "orange" .
dco:hasConfiguration a owl:ObjectProperty .
dco:Car2 a dco:CarConfigSet;
dco:hasConfiguration [
dco:is dco:SmallEngine;
dco:option dco:Engine
], [
dco:is dco:WithHitch;
dco:option dco:Hitch
], [
dco:is dco:OffroadEdition;
dco:option dco:Edition
] .
dco:ConfigOption a owl:Class;
c:color "#80ccff" .
dco:NumConfigOption rdfs:subClassOf dco:ConfigOption .
dco:Turbo a dco:ChoiceValue .
dco:MediumEngine a dco:ChoiceValue .
dco:ContradictingConstraint rdfs:subClassOf dco:Constraint .
dco:Engine a dco:ChoiceConfigOption;
dco:availableChoice dco:MediumEngine, dco:SmallEngine, dco:Turbo .
dco:assignmentA a owl:ObjectProperty .
dco:is a owl:ObjectProperty .
dco:min a owl:DatatypeProperty .
dco:max a owl:DatatypeProperty .
c:color a owl:DatatypeProperty .
dco:SmallEngine a dco:ChoiceValue .
dco:WithoutHitch a dco:ChoiceValue .
dco:SportsEdition a dco:ChoiceValue .
dco:ChoiceConfigOption rdfs:subClassOf dco:ConfigOption .
dco:FamilyEdition a dco:ChoiceValue .
dco:CarConfigSet a owl:Class .
dco:ConfigOptionAssignment a owl:Class .
dco:isNot a owl:ObjectProperty .
dco:OffroadEdition a dco:ChoiceValue .
dco:availableChoice a owl:ObjectProperty .
dco:hasDisjointSet a owl:ObjectProperty .