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:
