SandboxConfigOptions
Back to current version Restore this version

configOptions
dco http://denkbares.com/ConfigOptions/

Definitions Configuration Options#

dco.ConfigOptionAssignment
dco:ConfigOptionAssignment
a
owl.Class
owl:Class
.
dco.ConfigOption
dco:ConfigOption
a
owl.Class
owl:Class
.
dco.ChoiceConfigOption
dco:ChoiceConfigOption
rdfs.subClassOf
rdfs:subClassOf
null
ConfigOption
.
dco.ChoiceValue
dco:ChoiceValue
a
owl.Class
owl:Class
.
dco.availableChoice
dco:availableChoice
a
owl.ObjectProperty
owl:ObjectProperty
.

Definitions Constraints#

%%turle dco:Constraint a owl:Class . dco:hasDisjointSet a owl:ObjectProperty . dco:contradicts a owl:ObjectProperty .

%

Definitions Car configuration set#

dco.CarConfigSet
dco:CarConfigSet
a
owl.Class
owl:Class
.
dco.hasConfigAssignments
dco:hasConfigAssignments
a
owl.ObjectProperty
owl:ObjectProperty
.

Option Engine#

dco.Engine
dco:Engine
a
dco.ChoiceConfigOption
dco:ChoiceConfigOption
;
dco.availableChoice
dco:availableChoice
dco.SmallEngine
dco:SmallEngine
,
dco.MediumEngine
dco:MediumEngine
,
dco.Turbo
dco:Turbo
.
dco.SmallEngine
dco:SmallEngine
a
null
ChoiceValue
.
dco.MediumEngine
dco:MediumEngine
a
null
ChoiceValue
.
dco.Turbo
dco:Turbo
a
null
ChoiceValue
.

Option Hitch#

dco.Hitch
dco:Hitch
a
dco.ChoiceConfigOption
dco:ChoiceConfigOption
;
dco.availableChoice
dco:availableChoice
null
WithHitch
,
null
WithoutHitch
.
dco.WithHitch
dco:WithHitch
a
null
ChoiceValue
.
dco.WithoutHitch
dco:WithoutHitch
a
null
ChoiceValue
.

Constraint 1 : Hitch contradicts Small Engine#

dco.HitchConstradictsSmallEngine
dco:HitchConstradictsSmallEngine
a
null
Constraint
;
null
hasDisjointSet
(
dco.WithHitch
dco:WithHitch
dco.SmallEngine
dco:SmallEngine
)
.
configOptions