Definitions Configuration Options#
dco#ConfigOption
dco:ConfigOptiona
owl#Class
owl:Class .
dco#ChoiceConfigOption
dco:ChoiceConfigOptionrdfs#subClassOf
rdfs:subClassOfdco#ConfigOption
ConfigOption .
dco#NumConfigOption
dco:NumConfigOptionrdfs#subClassOf
rdfs:subClassOfdco#ConfigOption
ConfigOption .
dco#ConfigOptionAssignment
dco:ConfigOptionAssignmenta
owl#Class
owl:Class .
dco#option
dco:optiona
owl#ObjectProperty
owl:ObjectProperty .
dco#is
dco:isa
owl#ObjectProperty
owl:ObjectProperty .
dco#isNot
dco:isNota
owl#ObjectProperty
owl:ObjectProperty .
dco#ChoiceValue
dco:ChoiceValuea
owl#Class
owl:Class .
dco#availableChoice
dco:availableChoicea
owl#ObjectProperty
owl:ObjectProperty .
Definitions Constraints#
dco#Constraint
dco:Constrainta
owl#Class
owl:Class .
dco#ContradictingConstraint
dco:ContradictingConstraintrdfs#subClassOf
rdfs:subClassOfdco#Constraint
Constraint .
dco#hasDisjointSet
dco:hasDisjointSeta
owl#ObjectProperty
owl:ObjectProperty .
dco#assignmentA
dco:assignmentAa
owl#ObjectProperty
owl:ObjectProperty .
dco#assignmentB
dco:assignmentBa
owl#ObjectProperty
owl:ObjectProperty .
dco#min
dco:mina
owl#DatatypeProperty
owl:DatatypeProperty .
dco#max
dco:maxa
owl#DatatypeProperty
owl:DatatypeProperty .
Definitions Car configuration set#
Option Engine#
dco#Engine
dco:Enginea
dco#ChoiceConfigOption
dco:ChoiceConfigOption ;
dco#availableChoice
dco:availableChoicedco#SmallEngine
dco:SmallEngine,
dco#MediumEngine
dco:MediumEngine,
dco#Turbo
dco:Turbo .
dco#SmallEngine
dco:SmallEnginea
dco#ChoiceValue
ChoiceValue .
dco#MediumEngine
dco:MediumEnginea
dco#ChoiceValue
ChoiceValue .
dco#Turbo
dco:Turboa
dco#ChoiceValue
ChoiceValue .
Option Hitch#
Option Edition#
dco#Edition
dco:Editiona
dco#ChoiceConfigOption
dco:ChoiceConfigOption ;
dco#availableChoice
dco:availableChoicedco#FamilyEdition
FamilyEdition,
dco#SportsEdition
SportsEdition,
dco#OffroadEdition
OffroadEdition .
dco#FamilyEdition
dco:FamilyEditiona
dco#ChoiceValue
ChoiceValue .
dco#SportsEdition
dco:SportsEditiona
dco#ChoiceValue
ChoiceValue .
dco#OffroadEdition
dco:OffroadEditiona
dco#ChoiceValue
ChoiceValue .
Option Number of Doors#
Constraint 1 : Hitch contradicts Small Engine#
dco#HitchConstradictsSmallEngine
dco:HitchConstradictsSmallEnginea
dco#ContradictingConstraint
ContradictingConstraint ;
rdfs#label
rdfs:label ;
dco#assignmentA
assignmentAdco#option
optiondco#Hitch
Hitch;
dco#is
isdco#WithHitch
WithHitch ;
dco#assignmentB
assignmentBdco#option
optiondco#Engine
Engine;
dco#is
isdco#SmallEngine
SmallEngine .
Constraint 2 : Family Edition contradict 3 doors#
dco#FamilyConstradicts3Doors
dco:FamilyConstradicts3Doorsa
dco#ContradictingConstraint
ContradictingConstraint ;
dco#assignmentA
assignmentAdco#option
optiondco#Edition
Edition;
dco#is
isdco#FamilyEdition
FamilyEdition ;
dco#assignmentB
assignmentBdco#option
optiondco#NumberOfDoors
NumberOfDoors;
dco#is
is .
Constraint 3 : Offroad Edition requires TurboEngine#
dco#OffroadRequiresTurboEngine
dco:OffroadRequiresTurboEnginea
dco#ContradictingConstraint
ContradictingConstraint ;
dco#assignmentA
assignmentAdco#option
optiondco#Edition
Edition;
dco#is
isdco#OffroadEdition
OffroadEdition ;
dco#assignmentB
assignmentBdco#option
optiondco#Engine
Engine;
dco#isNot
isNotdco#Turbo
Turbo .
Car 1#
Car 2#
dco#Car2
dco:Car2a
dco#CarConfigSet
CarConfigSet ;
dco#hasConfiguration
hasConfigurationdco#option
optiondco#Engine
Engine;
dco#is
isdco#SmallEngine
SmallEngine ,
[ dco#option
optiondco#Edition
Edition;
dco#is
isdco#OffroadEdition
OffroadEdition ,
[ dco#option
optiondco#Hitch
Hitch;
dco#is
isdco#WithHitch
WithHitch .
Car 3#
Car 4#
Ill-defined Car#
dco#CarX
dco:CarXa
dco#CarConfigSet
CarConfigSet ;
dco#hasConfiguration
hasConfigurationdco#option
optiondco#Engine
Engine;
dco#is
isdco#WithHitch
WithHitch ,
[ dco#option
optiondco#NumberOfDoors
NumberOfDoors;
dco#is
is ,
[ dco#option
optiondco#Hitch
Hitch;
dco#is
isdco#SportsEdition
SportsEdition .
Assignment Consistency Query #
Constraint Validation Query#
Violated Constraints:
