SandboxConfigOptions
Back to current version Restore this version

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

Definitions Configuration Options#

dco.ConfigOption
dco:ConfigOption
a
owl.Class
owl:Class
.
dco.ChoiceConfigOption
dco:ChoiceConfigOption
rdfs.subClassOf
rdfs:subClassOf
null
ConfigOption
.
dco.NumConfigOption
dco:NumConfigOption
rdfs.subClassOf
rdfs:subClassOf
null
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.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
null
Constraint
.
dco.hasDisjointSet
dco:hasDisjointSet
a
owl.ObjectProperty
owl:ObjectProperty
.
dco.hasValueA
dco:hasValueA
a
owl.ObjectProperty
owl:ObjectProperty
.
dco.hasValueB
dco:hasValueB
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
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
.

Option Edition#

dco.Edition
dco:Edition
a
dco.ChoiceConfigOption
dco:ChoiceConfigOption
;
dco.availableChoice
dco:availableChoice
null
FamilyEdition
,
null
SportsEdition
,
null
OffroadEdition
.
dco.FamilyEdition
dco:FamilyEdition
a
null
ChoiceValue
.
dco.SportsEdition
dco:SportsEdition
a
null
ChoiceValue
.
dco.OffroadEdition
dco:OffroadEdition
a
null
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
null
ContradictingConstraint
;
null
hasValueA
[
null
option
null
Hitch
;
null
is
null
WithHitch
]
;
null
hasValueB
[
null
option
null
Engine
;
null
is
null
SmallEngine
]
.

Constraint 2 : Family Edition contradict 3 doors#

dco.FamilyConstradicts3Doors
dco:FamilyConstradicts3Doors
a
null
ContradictingConstraint
;
null
hasValueA
[
null
option
null
Edition
;
null
is
null
FamilyEdition
]
;
null
hasValueB
[
null
option
null
NumberOfDoors
;
null
is
"3" ]
.

Constraint 3 : Offroad Edition contradicts Small Engine#

dco.OffroadConstradictsSmallEngine
dco:OffroadConstradictsSmallEngine
a
null
ContradictingConstraint
;
null
hasValueA
[
null
option
null
Edition
;
null
is
null
OffroadEdition
]
;
null
hasValueB
[
null
option
null
Engine
;
null
is
null
SmallEngine
]
.

Car 1#

dco.Car1
dco:Car1
a
null
CarConfigSet
;
null
hasConfiguration
[
null
option
null
Engine
;
null
is
null
MediumEngine
]
,
[
null
option
null
Hitch
;
null
is
null
WithHitch
]
.
No ontology found! The package '' is not used to compile an ontology. Internal error while rendering section: null

Car 2#

dco.Car2
dco:Car2
a
null
CarConfigSet
;
null
hasConfiguration
[
null
option
null
Engine
;
null
is
null
SmallEngine
]
,
[
null
option
null
Edition
;
null
is
null
OffroadEdition
]
,
[
null
option
null
Hitch
;
null
is
null
WithHitch
]
.
No ontology found! The package '' is not used to compile an ontology. Internal error while rendering section: null

Car 3#

dco.Car3
dco:Car3
a
null
CarConfigSet
;
null
hasConfiguration
[
null
option
null
Edition
;
null
is
null
FamilyEdition
]
,
[
null
option
null
NumberOfDoors
;
null
is
"3"]
.
No ontology found! The package '' is not used to compile an ontology. Internal error while rendering section: null

Car 4#

dco.Car4
dco:Car4
a
null
CarConfigSet
;
null
hasConfiguration
[
null
option
null
Edition
;
null
is
null
FamilyEdition
]
,
[
null
option
null
NumberOfDoors
;
null
is
"5"]
.
No ontology found! The package '' is not used to compile an ontology. Internal error while rendering section: null

Ill-defined Car#

dco.CarX
dco:CarX
a
null
CarConfigSet
;
null
hasConfiguration
[
null
option
null
Engine
;
null
is
null
WithHitch
]
,
[
null
option
null
NumberOfDoors
;
null
is
"99" ]
,
[
null
option
null
Hitch
;
null
is
null
SportsEdition
]
.
No ontology found! The package '' is not used to compile an ontology. Internal error while rendering section: null

Assignment Consistency Query #

No ontology found! The package '' is not used to compile an ontology. Internal error while rendering section: null

Constraint Validation Query#

Violated Constraints:

No ontology found! The package '' is not used to compile an ontology. Internal error while rendering section: null
IF (EXISTS(?constraintAssignmentA dco:is ?valueA), BIND( "true" as ?matchA), BIND ("true" as ?matchA)) . if (EXISTS(?constraintAssignmentB dco:is ?valueB), BIND( "true" as ?matchB), BIND ("true" as ?matchB)) .

No ontology found! The package '' is not used to compile an ontology. Internal error while rendering section: null
configOptions