SandboxConfigOptions

dco http://denkbares.com/ConfigOptions/

c http://denkbares.com/ConfigOptionsDemo/

Definitions Configuration Options#

dco.ConfigOption
dco:ConfigOption
a
owl.Class
owl:Class
.
dco.ChoiceConfigOption
dco:ChoiceConfigOption
rdfs.subClassOf
rdfs:subClassOf
dco.ConfigOption
ConfigOption
.
dco.NumConfigOption
dco:NumConfigOption
rdfs.subClassOf
rdfs:subClassOf
dco.ConfigOption
ConfigOption
.
dco.ConfigOptionAssignment
dco:ConfigOptionAssignment
a
owl.Class
owl:Class
.
dco.option
dco:option
a
owl.ObjectProperty
owl:ObjectProperty
.
dco.is
dco:is
a
owl.ObjectProperty
owl:ObjectProperty
.
dco.isNot
dco:isNot
a
owl.ObjectProperty
owl:ObjectProperty
.
dco.ChoiceValue
dco:ChoiceValue
a
owl.Class
owl:Class
.
dco.availableChoice
dco:availableChoice
a
owl.ObjectProperty
owl:ObjectProperty
.

Definitions Constraints#

dco.Constraint
dco:Constraint
a
owl.Class
owl:Class
.
dco.ContradictingConstraint
dco:ContradictingConstraint
rdfs.subClassOf
rdfs:subClassOf
dco.Constraint
Constraint
.
dco.hasDisjointSet
dco:hasDisjointSet
a
owl.ObjectProperty
owl:ObjectProperty
.
dco.assignmentA
dco:assignmentA
a
owl.ObjectProperty
owl:ObjectProperty
.
dco.assignmentB
dco:assignmentB
a
owl.ObjectProperty
owl:ObjectProperty
.
dco.min
dco:min
a
owl.DatatypeProperty
owl:DatatypeProperty
.
dco.max
dco:max
a
owl.DatatypeProperty
owl:DatatypeProperty
.

Definitions Car configuration set#

dco.CarConfigSet
dco:CarConfigSet
a
owl.Class
owl:Class
.
dco.hasConfiguration
dco:hasConfiguration
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
dco.ChoiceValue
ChoiceValue
.
dco.MediumEngine
dco:MediumEngine
a
dco.ChoiceValue
ChoiceValue
.
dco.Turbo
dco:Turbo
a
dco.ChoiceValue
ChoiceValue
.

Option Hitch#

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

Option Edition#

dco.Edition
dco:Edition
a
dco.ChoiceConfigOption
dco:ChoiceConfigOption
;
dco.availableChoice
dco:availableChoice
dco.FamilyEdition
FamilyEdition
,
dco.SportsEdition
SportsEdition
,
dco.OffroadEdition
OffroadEdition
.
dco.FamilyEdition
dco:FamilyEdition
a
dco.ChoiceValue
ChoiceValue
.
dco.SportsEdition
dco:SportsEdition
a
dco.ChoiceValue
ChoiceValue
.
dco.OffroadEdition
dco:OffroadEdition
a
dco.ChoiceValue
ChoiceValue
.

Option Number of Doors#

dco.NumberOfDoors
dco:NumberOfDoors
a
dco.NumConfigOption
dco:NumConfigOption
;
dco.min
dco:min
"3"
;
dco.max
dco:max
"5"
.

Constraint 1 : Hitch contradicts Small Engine#

dco.HitchConstradictsSmallEngine
dco:HitchConstradictsSmallEngine
a
dco.ContradictingConstraint
ContradictingConstraint
;
rdfs.label
rdfs:label
"Anhängerkupplung nicht mit kleinem Motor"
;
dco.assignmentA
assignmentA
[
dco.option
option
dco.Hitch
Hitch
;
dco.is
is
dco.WithHitch
WithHitch
]
;
dco.assignmentB
assignmentB
[
dco.option
option
dco.Engine
Engine
;
dco.is
is
dco.SmallEngine
SmallEngine
]
.

Constraint 2 : Family Edition contradict 3 doors#

dco.FamilyConstradicts3Doors
dco:FamilyConstradicts3Doors
a
dco.ContradictingConstraint
ContradictingConstraint
;
dco.assignmentA
assignmentA
[
dco.option
option
dco.Edition
Edition
;
dco.is
is
dco.FamilyEdition
FamilyEdition
]
;
dco.assignmentB
assignmentB
[
dco.option
option
dco.NumberOfDoors
NumberOfDoors
;
dco.is
is
"3" ]
.

Constraint 3 : Offroad Edition requires TurboEngine#

dco.OffroadRequiresTurboEngine
dco:OffroadRequiresTurboEngine
a
dco.ContradictingConstraint
ContradictingConstraint
;
dco.assignmentA
assignmentA
[
dco.option
option
dco.Edition
Edition
;
dco.is
is
dco.OffroadEdition
OffroadEdition
]
;
dco.assignmentB
assignmentB
[
dco.option
option
dco.Engine
Engine
;
dco.isNot
isNot
dco.Turbo
Turbo
]
.

Car 1#

dco.Car1
dco:Car1
a
dco.CarConfigSet
CarConfigSet
;
dco.hasConfiguration
hasConfiguration
[
dco.option
option
dco.Engine
Engine
;
dco.is
is
dco.MediumEngine
MediumEngine
]
,
[
dco.option
option
dco.Hitch
Hitch
;
dco.is
is
dco.WithHitch
WithHitch
]
.

Show rows (overall number unknown)
Rows to         20 
Show rows (overall number unknown)
Rows to         20 

Car 2#

dco.Car2
dco:Car2
a
dco.CarConfigSet
CarConfigSet
;
dco.hasConfiguration
hasConfiguration
[
dco.option
option
dco.Engine
Engine
;
dco.is
is
dco.SmallEngine
SmallEngine
]
,
[
dco.option
option
dco.Edition
Edition
;
dco.is
is
dco.OffroadEdition
OffroadEdition
]
,
[
dco.option
option
dco.Hitch
Hitch
;
dco.is
is
dco.WithHitch
WithHitch
]
.

Show rows (overall number unknown)
Rows to         20 
Show rows (overall number unknown)
Rows to         20 

Car 3#

dco.Car3
dco:Car3
a
dco.CarConfigSet
CarConfigSet
;
dco.hasConfiguration
hasConfiguration
[
dco.option
option
dco.Edition
Edition
;
dco.is
is
dco.FamilyEdition
FamilyEdition
]
,
[
dco.option
option
dco.NumberOfDoors
NumberOfDoors
;
dco.is
is
"3"]
.

Show rows (overall number unknown)
Rows to         20 
Show rows (overall number unknown)
Rows to         20 

Car 4#

dco.Car4
dco:Car4
a
dco.CarConfigSet
CarConfigSet
;
dco.hasConfiguration
hasConfiguration
[
dco.option
option
dco.Edition
Edition
;
dco.is
is
dco.FamilyEdition
FamilyEdition
]
,
[
dco.option
option
dco.NumberOfDoors
NumberOfDoors
;
dco.is
is
"5"]
.

Show rows (overall number unknown)
Rows to         20 
Show rows (overall number unknown)
Rows to         20 

Ill-defined Car#

dco.CarX
dco:CarX
a
dco.CarConfigSet
CarConfigSet
;
dco.hasConfiguration
hasConfiguration
[
dco.option
option
dco.Engine
Engine
;
dco.is
is
dco.WithHitch
WithHitch
]
,
[
dco.option
option
dco.NumberOfDoors
NumberOfDoors
;
dco.is
is
"99" ]
,
[
dco.option
option
dco.Hitch
Hitch
;
dco.is
is
dco.SportsEdition
SportsEdition
]
.

Show rows (overall number unknown)
Rows to         20 
Show rows (overall number unknown)
Rows to         20 

Assignment Consistency Query #

Show rows (overall number unknown)
Rows to         20 
Show rows (overall number unknown)
Rows to         20 

Constraint Validation Query#

Violated Constraints:

Show rows (overall number unknown)
Rows to         20 
Show rows (overall number unknown)
Rows to         20 

Show rows (overall number unknown)
Rows to         20 
Show rows (overall number unknown)
Rows to         20 

Show of 6 rows
Rows to 6 
Show of 6 rows
Rows to 6 

VisualizationConfig
@name: configVis@colors: c:color

c.color
c:color
a
owl.DatatypeProperty
owl:DatatypeProperty
.
dco.Constraint
dco:Constraint
c.color
c:color
"orange"
.
dco.ConfigOption
dco:ConfigOption
c.color
c:color
"#80ccff"
.

configOptions