%%ontology
@uses: configOptions
%

%%namespace
dco http://denkbares.com/ConfigOptions/
%

%%turtle
dco:ConfigOptionAssignment a owl:Class .
dco:ConfigOption a owl:Class .
dco:ChoiceConfigOption rdfs:subClassOf ConfigOption .
dco:ChoiceValue a owl:Class .


dco:contradicts a owl:ObjectProperty .

dco:instance rdf:type owl:ObjectProperty ;
	owl:inverseOf rdf:type .

% 


! Option Engine

%%turtle
dco:Engine a dco:ChoiceConfigOption ; 
	dco:availableChoice dco:SmallEngine, dco:MediumEngine, dco:Turbo ;
	dco:max 1 ;
	dco:min 0 .
	
ChoiceValue instance dco:SmallEngine, dco:MediumEngine, dco:Turbo .

%


! Constraint: 

%%package configOptions