Input file: file:/C:/Pellet/pellet-1.4/deliveryContext.owl
OWL Species: DL
DL Expressivity: ALCOF(D)
Consistent: Yes
Time: 2243 ms (Loading: 1642 Species Validation: 471 Consistency: 130 )

Non OWL-Lite features used:
Disjoint Classes: owl:disjointWith construct is used DisjointClasses(deliveryContext:Associated_Entity deliveryContext:DeliveryContext_Entity)
Disjoint Classes: owl:disjointWith construct is used DisjointClasses(deliveryContext:DeliveryContext_Entity deliveryContext:Associated_Entity)
Enumerated DataRange: DataRange is defined oneOf("extensible"^^xsd:string "normative"^^xsd:string "examples"^^xsd:string)
Enumerated DataRange: DataRange is defined oneOf("examples"^^xsd:string "normative"^^xsd:string)
Enumerated DataRange: DataRange is defined oneOf("full"^^xsd:string "numeric"^^xsd:string "keypad"^^xsd:string "virtual"^^xsd:string "none"^^xsd:string)
Value Restriction: owl:hasValue construct is used restriction(deliveryContext:hasDCEntityName value("LengthConversionFactorClass"^^xsd:string))
Value Restriction: owl:hasValue construct is used restriction(deliveryContext:hasDCEntityName value("PointingResolutionClass"^^xsd:string))
Value Restriction: owl:hasValue construct is used restriction(deliveryContext:hasDCEntityName value("AspectRatioClass"^^xsd:string))
Value Restriction: owl:hasValue construct is used restriction(deliveryContext:hasDCEntityName value("LengthClass"^^xsd:string))
Value Restriction: owl:hasValue construct is used restriction(deliveryContext:hasDCEntityName value("BluetoothProfileClass"^^xsd:string))
Value Restriction: owl:hasValue construct is used restriction(deliveryContext:hasAssocEntityName value("AlternateNames"^^xsd:string))
Value Restriction: owl:hasValue construct is used restriction(deliveryContext:hasDCEntityName value("LengthUnitClass"^^xsd:string))
Value Restriction: owl:hasValue construct is used restriction(deliveryContext:hasDCEntityName value("TextInputTypeClass"^^xsd:string))
Value Restriction: owl:hasValue construct is used restriction(deliveryContext:hasDCEntityName value("DeviceClass"^^xsd:string))
Value Restriction: owl:hasValue construct is used restriction(deliveryContext:hasDCEntityName value("DeviceNameClass"^^xsd:string))
Value Restriction: owl:hasValue construct is used restriction(deliveryContext:hasDCEntityName value("CameraClass"^^xsd:string))
Value Restriction: owl:hasValue construct is used restriction(deliveryContext:hasDCEntityName value("CPUClass"^^xsd:string))
Value Restriction: owl:hasValue construct is used restriction(deliveryContext:hasDCEntityName value("DeliveryContextClass
"^^xsd:string))
Value Restriction: owl:hasValue construct is used restriction(deliveryContext:hasDCEntityName value("DisplayClass"^^xsd:string))
Value Restriction: owl:hasValue construct is used restriction(deliveryContext:hasAssocEntityName value("AssociatedUAProfEntity"^^xsd:string))
Value Restriction: owl:hasValue construct is used restriction(deliveryContext:hasDCEntityName value("TactileInputTypeClass"^^xsd:string))
Value Restriction: owl:hasValue construct is used restriction(deliveryContext:hasDCEntityName value("CharacterSetClass"^^xsd:string))