Birte Glimm

Jump to:navigation, search

Birte Glimm

Contributed test cases (32)	Contributed import ontologies (1)	TODOs (8)
Inconsistent Disjoint Dataproperties Consistent-dateTime Consistent owl:real range with DataOneOf Inconsistent String Pattern with Disjoint Dataproperties New-Feature-Rational-001 New-Feature-Rational-002 New-Feature-Rational-003 inconsistent-integer-filler string-integer-clash inconsistent_datatypes functionality-clash datatype-restriction-min-max-inconsistency consistent-integer-filler consistent-dataproperty-disjointness Plus and Minus Zero are Distinct Plus and Minus Zero Integer Minus Infinity is not in owl:real Inconsistent Byte Filler Inconsistent Data Complement with the Restrictions Different types in Datatype Restrictions and Complement … more	My test ontology	Numeric-ranges-not-disjoint (EL status, QL status, RL status) Rationals-plus-doubles (EL status, QL status, RL status) Owlreal-plus-float-restrictions (EL status, QL status, RL status) Owlreal-no-infinity (EL status, QL status, RL status) Different-types (EL status, QL status, RL status) Restrictions-different-type (EL status, QL status, RL status) Double-ranges (EL status, QL status, RL status) Numeric-restrictions-different-type (EL status, QL status, RL status)