dco http://denkbares.com/ConfigOptions/

c http://denkbares.com/ConfigOptionsDemo/

Definitions Configuration Options#

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

Definitions Constraints#

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

Definitions Car configuration set#

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

Option Engine#

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

Option Hitch#

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

Option Edition#

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

Option Number of Doors#

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

Constraint 1 : Hitch contradicts Small Engine#

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

Constraint 2 : Family Edition contradict 3 doors#

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

Constraint 3 : Offroad Edition requires TurboEngine#

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

Car 1#

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

Car 2#

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

Car 3#

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

Car 4#

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

Ill-defined Car#

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

Assignment Consistency Query #

Constraint Validation Query#

Violated Constraints:

VisualizationConfig
@name: configVis @colors: c:color

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

Add new attachment

Only authorized users are allowed to upload new attachments.
This page (revision-180) was last changed on 05-May-2017 09:17 by Jochen Reutelshöfer