SQuARE Evaluation Test Set (with inconsistencies)
type: Ontology
creator: Sabbir M. Rashid
created: 2020-05-01T12:00:00
modified: 2020-8-01T14:30:00
contributor: Amar K. Das
contributor: Jamie P. McCusker
contributor: Daniel Gruen
contributor: Oshani Seneviratne
contributor: Deborah L. McGuinness
description: The validation ontology include example test cases for each OWL DL axiom. It leverages the Semanticscience Integrated Ontology for existing rule examples, and incorporates its own classes when necessary. For examples that result in inconsistencies, the inconsistencies are commented out in order for the ontology to load properly. The user is recommended to manually uncomment inconsistencies if they wish to test the corresponding axiom.
license: LICENSE-2.0
version IRI: http://purl.org/ontology/validation/ont/0.9

entity
type: Class
description: Every thing is an entity.

attribute
type: Class
subclass of: entity
description: An attribute is a characteristic of some entity.

realizable entity
type: Class
subclass of: attribute
description: A realizable entity is an attribute that is exhibited under some condition and is realized in some process.

quality
type: Class
subclass of: attribute
disjoint with: realizable entity
description: A quality is an attribute that is intrinsically associated with its bearer (or its parts), but whose presence/absence and observed/measured value may vary.

existence quality
type: Class
subclass of: quality
description: existence quality is the quality of an entity that describe in what environment it is known to exist.

virtual
type: Class
subclass of: existence quality
description: virtual is the quality of an entity that exists only in a virtual setting such as a simulation or game environment.

real
type: Class
subclass of: existence quality
disjoint with: fictional
disjoint with: virtual
description: real is the quality of an entity that exists in real space and time.

hypothetical
type: Class
subclass of: existence quality
description: hypothetical is the quality of an entity that is conjectured to exist.

fictional
type: Class
subclass of: hypothetical
description: fictional is the quality of an entity that exists only in a creative work of fiction.

my imaginary friend
type: real
type: fictional

is related to
type: ObjectProperty
type: SymmetricProperty
description: A is related to B iff there is some relation between A and B.

is spatiotemporally related to
type: ObjectProperty
type: SymmetricProperty
sub property of: is related to
description: A is spatiotemporally related to B iff A is in the spatial or temporal vicinity of B

is location of
type: ObjectProperty
type: TransitiveProperty
sub property of: is spatiotemporally related to
description: A is location of B iff the spatial region occupied by A has the spatial region occupied by B as a part.

has part
type: ObjectProperty
type: TransitiveProperty
type: ReflexiveProperty
sub property of: is location of
inverse of: is part of
description: has part is a transitive, reflexive and antisymmetric relation between a whole and itself or a whole and its part

is located in
type: ObjectProperty
type: TransitiveProperty
sub property of: is spatiotemporally related to
description: A is located in B iff the spatial region occupied by A is part of the spatial region occupied by B.

is part of
type: ObjectProperty
type: TransitiveProperty
type: ReflexiveProperty
sub property of: is located in
description: is part of is a transitive, reflexive and anti-symmetric mereological relation between a whole and itself or a part and its whole.

finger nail
type: Individual
is part of: finger

finger
type: Individual
is part of: hand

hand
type: Individual

process
type: Class
subclass of: entity
description: A process is an entity that is identifiable only through the unfolding of time, has temporal parts, and unless otherwise specified/predicted, cannot be identified from any instant of time in which it exists.

workflow
type: process
has part: step

step
type: process

has member
type: ObjectProperty
type: IrreflexiveProperty
sub property of: has attribute
inverse of: is member of
description: has member is a mereological relation between a collection and an item.

is member of
type: ObjectProperty
sub property of: is attribute of
description: is member of is a mereological relation between a item and a collection.

collection
type: Class
subclass of: set
description: A collection is a set for which there exists at least one member, although any member need not to exist at any point in the collection's existence.

set
type: Class
subclass of: mathematical entity
description: A set is a collection of entities, for which there may be zero members.

mathematical entity
type: Class
subclass of: information content entity
description: A mathematical entity is an information content entity that are components of a mathematical system or can be defined in mathematical terms.

information content entity
type: Class
subclass of: object
description: An information content entity is an object that requires some background knowledge or procedure to correctly interpret.

group
type: collection

role
type: Class
subclass of: realizable entity
description: A role is a realizable entity that describes behaviours, rights and obligations of an entity in some particular circumstance.

is attribute of
type: ObjectProperty
description: is attribute of is a relation that associates an attribute with an entity where an attribute is an intrinsic characteristic such as a quality, capability, disposition, function, or is an externally derived attribute determined from some descriptor (e.g. a quantity, position, label/identifier) either directly or indirectly through generalization of entities of the same type.
sub property of: is related to

has attribute
type: ObjectProperty
description: has attribute is a relation that associates a entity with an attribute where an attribute is an intrinsic characteristic such as a quality, capability, disposition, function, or is an externally derived attribute determined from some descriptor (e.g. a quantity, position, label/identifier) either directly or indirectly through generalization of entities of the same type.
sub property of: is related to

is property of
type: ObjectProperty
type: FunctionalProperty
description: is property of is a relation betweena quality, capability or role and the entity that it and it alone bears.
sub property of: is attribute of

has property
type: ObjectProperty
type: InverseFunctionalProperty
inverse of: is property of
description: has property is a relation between an entity and the quality, capability or role that it and it alone bears.
sub property of: has attribute

has realizable property
type: ObjectProperty
type: InverseFunctionalProperty
sub property of: has property

is realizable property of
type: ObjectProperty
type: FunctionalProperty
sub property of: is property of
inverse of: has realizable property

is role of
type: ObjectProperty
type: FunctionalProperty
domain: role
sub property of: is realizable property of
description: is role of is a relation between a role and the entity that it is a property of.
inverse of: has role

has role
type: ObjectProperty
type: InverseFunctionalProperty
sub property of: has realizable property
description: has role is a relation between an entity and a role that it bears.

human
type: Class
subclass of: multicellular organism
description: A human is a primates of the family Hominidae and are characterized by having a large brain relative to body size, with a well developed neocortex, prefrontal cortex and temporal lobes, making them capable of abstract reasoning, language, introspection, problem solving and culture through social learning.

multicellular organism
type: Class
subclass of: cellular organism
description: A multi-cellular organism is an organism that consists of more than one cell.

cellular organism
type: Class
subclass of: organism
description: A cellular organism is an organism that contains one or more cells.

non-cellular organism
type: Class
subclass of: organism
description: A non-cellular organism is an organism that does not contain a cell.

organism
type: Class
equivalent class: Class
  union of: cellular organism
  union of: non-cellular organism
subclass of: biological entity
description: A biological organisn is a biological entity that consists of one or more cells and is capable of genomic replication (independently or not).

biological entity
type: Class
subclass of: heterogeneous substance
description: A biological entity is a heterogeneous substance that contains genomic material or is the product of a biological process.

heterogeneous substance
type: Class
subclass of: material entity
subclass of: chemical entity
description: A heterogeneous substance is a chemical substance that is composed of more than one different kind of component.

material entity
type: Class
subclass of: object
description: A material entity is a physical entity that is spatially extended, exists as a whole at any point in time and has mass.

chemical entity
type: Class
subclass of: material entity
description: A chemical entity is a material entity that pertains to chemistry.

mother
type: Individual
is role of: Sarah
in relation to: Tim

Sarah
type: human
has age: 12

Tim
type: human

tutor
type: human

teaching role
type: role
is role of: tutor

tutoring role
type: role
is role of: tutor

symbol
type: Class
subclass of: representation
description: A symbol is a proposition about what an entity represents.

representation
type: Class
subclass of: information content entity
description: A representation is a entity that in some way represents another entity (or attribute thereof).

molecular formula
subclass of: symbol

water
has attribute: H2O

hydrogen dioxide
has attribute: H2O

H2O
type: molecular formula

unit of measurement
type: Class
subclass of: quantity
description: A unit of measurement is a definite magnitude of a physical quantity, defined and adopted by convention and/or by law, that is used as a standard for measurement of the same physical quantity.

has unit
type: ObjectProperty
type: FunctionalProperty
inverse of: is unit of
range: unit of measurement
sub property of: has attribute
description: has unit is a relation between a quantity and the unit it is a multiple of.

is unit of
type: ObjectProperty
domain: unit of measurement
sub property of: is attribute of
description: is unit of is a relation between a unit and a quantity that it is a multiple of.

height
type: Class
subclass of: 1D extent quantity
description: Height is the one dimensional extent along the vertical projection of a 3D object from a base plane of reference.

1D extent quantity
type: Class
subclass of: spatial quantity
description: A quantity that extends in single dimension.

spatial quantity
type: Class
subclass of: dimensional quantity
description: A spatial quantity is a quantity obtained from measuring the spatial extent of an entity.

dimensional quantity
type: Class
subclass of: quantity
subclass of: Restriction
  on property: has unit
  some values from: unit of measurement
description: A dimensional quantity is a quantity that has an associated unit.

Tom
type: human
has attribute: HeightOfTom
has age: 23

HeightOfTom
type: height
has unit: meter
has value: 5
has value: 6

meter
type: Individual

has value
type: DatatypeProperty
type: FunctionalProperty
description: A relation between a informational entity and its actual value (numeric, date, text, etc).

has mother
type: ObjectProperty
sub property of: has attribute
property disjoint with: has father

has father
type: ObjectProperty

Jordan
type: human

Susan
type: human
has father: Jordan
has mother: Jordan

Peter
type: human
is related to: Samantha

Samantha
type: human
has property: Samantha's age

is proper part of
type: ObjectProperty
type: AsymmetricProperty
type: IrreflexiveProperty
sub property of: is part of
description: is proper part of is an asymmetric, irreflexive (normally transitive) relation between a part and its distinct whole.

nose
type: Individual
is proper part of: face

face
type: Individual
is proper part of: nose

age
type: Class
subclass of: dimensional quantity
description: Age is the length of time that a person has lived or a thing has existed.

dimensionless quantity
type: Class
subclass of: quantity
subclass of: Class
  complement of: Restriction
    on property: has unit
    some values from: unit of measurement
disjoint with: dimensional quantity
description: A dimensionless quantity is a quantity that has no associated unit.
subclass of: Class
  complement of: Restriction
    on property: has unit
    some values from: unit of measurement

quantity
type: Class
equivalent class: Class
  union of: dimensionless quantity
  union of: dimensional quantity
subclass of: measurement value
description: A quantity is an informational entity that gives the magnitude of a property.
equivalent class: Class
  union of: dimensionless quantity
  union of: dimensional quantity

measurement value
type: Class
subclass of: number
description: A measurement value is a quantitative description that reflects the magnitude of some attribute.
subclass of: Class
  union of: Restriction
    on property: has value
    some values from: dateTime
  union of: Restriction
    on property: has value
    some values from: double
  union of: Restriction
    on property: has value
    some values from: float
  union of: Restriction
    on property: has value
    some values from: integer

number
type: Class
subclass of: mathematical entity
description: A number is a mathematical object used to count, label, and measure.

Samantha's age
type: age
has exact value: 25.82
has unit: meter

has exact value
type: DatatypeProperty
sub property of: has value

fake
type: Class
equivalent class: fictional

Hubert
type: fake

has value
type: DatatypeProperty
equivalent property: has value

farmer
type: role

reliable
type: quality

NDPA
type: NegativePropertyAssertion
source individual: Peter's age
assertion property: has value
target value: 10

Peter's age
type: age
has value: 10

unique identifier
type: DatatypeProperty

person
type: Class
subclass of: human
has key: unique identifier
subclass of: Restriction
  on property: has age
  max cardinality: 1
subclass of: Restriction
  on property: has birth year
  cardinality: 1

John
type: person
unique identifier: 101D
different from: Jack

Jack
type: person
unique identifier: 101D

collection of 3d molecular structure models
type: Class
subclass of: collection
subclass of: Restriction
  on property: has member
  some values from: 3d structure model
description: A collection of 3D molecular structure models is just that.

3d structure model
type: Class
subclass of: tertiary structure descriptor
description: A 3D structure model is a representation of the spatial arrangement of one or more chemical entities.

tertiary structure descriptor
type: Class
subclass of: biomolecular structure descriptor
description: A tertiary structure descriptor describes 3D topological patterns in a biopolymer.

biomolecular structure descriptor
type: Class
subclass of: molecular structure descriptor
description: A biomolecular structure descriptor is structure description for organic compounds.

molecular structure descriptor
type: Class
subclass of: chemical quality
description: A molecular structure descriptor is data that describes some aspect of the molecular structure (composition) and is about some chemical entity.

chemical quality
type: Class
subclass of: object quality
description: Chemical quality is the quality of a chemical entity.

object quality
type: Class
subclass of: quality
description: An object quality is quality of an object.

molecular collection
type: Individual
has member: WaterMolecule

Question
type: Text
has value: 4

SelfAttributing
type: Class
subclass of: Restriction
  on property: has attribute
  has self: true

Unliked
type: Class
equivalent class: Restriction
  on property: has age
  has value: 23

has age
type: DatatypeProperty
range: DataRange
  one of: 13
  one of: 14
  one of: 15
  one of: 16
  one of: 17
  one of: 18
  one of: 19

namespace
type: Class
subclass of: computational entity
subclass of: Restriction
  on property: has member
  all values from: Identifier
description: A namespace is an informational entity that defines a logical container for a set of symbols or identifiers.

computational entity
type: Class
subclass of: information content entity
description: A computational entity is an information content entity operated on using some computational system.

integer
type: Class
subclass of: computational entity
subclass of: Restriction
  on property: has value
  all values from: integer

Ten
type: integer
has value: 10.1

seven deadly sins
type: Class
subclass of: collection
subclass of: Restriction
  on property: has member
  max cardinality: 7

study group
type: Class
subclass of: collection
subclass of: Restriction
  on property: has member
  min cardinality: 3

Steve
type: human
unique username: SteveTheGamer
unique username: ScubaSteve508

Trio
type: Class
subclass of: Restriction
  on property: has member
  cardinality: 2

has age
type: DatatypeProperty
sub property of: has value

Katie
type: person
has age: 31
has age: 34

has diameter value
type: DatatypeProperty
sub property of: has value

conical cylinder
type: Class
subclass of: Restriction
  on property: has diameter value
  min cardinality: 2

coffee container
type: conical cylinder
has diameter value: 1

has birth year
type: DatatypeProperty
sub property of: has value

Erik
type: person
has birth year: 1988
has birth year: 1998

vital status
subclass of: attribute

dead
type: Class
subclass of: vital status

alive
type: Class
subclass of: vital status
complement of: dead

Pat's Vital Status
type: alive
type: dead
is attribute of: Pat

Pat
type: human

efficiency
type: dimensionless quantity
has unit: Percentage
  type: percentage

percentage
subclass of: unit of measurement

probability measure
type: Class
subclass of: dimensionless quantity
description: A probability measure is quantity of how likely it is that some event will occur.

probability value
type: Class
subclass of: probability measure
subclass of: Restriction
  on property: has value
  some values from: Datatype
    on datatype: double
    with restrictions:
      min inclusive: 0.0
    with restrictions:
      max inclusive: 1.0
description: A p-value or probability value is the probability of obtaining a test statistic at least as extreme as the one that was actually observed, assuming that the null hypothesis is true

effort exerted
type: probability value
has value: 1.1

object
type: Class
subclass of: entity
description: An object is an entity that is wholly identifiable at any instant of time during which it exists.

has sibling
type: ObjectProperty

virus
type: Class
subclass of: organism
disjoint with: cellular organism
disjoint with: non-cellular organism

date time measurement
type: Individual
has value: 1990-10-14T09:00:00

integer measurement
type: Individual
has value: 12

double measurement
type: Individual
has value: 6.34

float measurement
type: Individual
has value: 3.14

lobe
type: Class
subclass of: biological entity
description: A lobe that is part the brain.
equivalent class: LobeDisjointUnionClass

molecule
type: Class

is target in
type: ObjectProperty

target
type: Class
intersection of: molecule
intersection of: Restriction
  on property: is target in
  some values from: process

protein receptor
type: molecule
is target in: therapy

therapy
type: process

has component part
type: ObjectProperty

polygon edge
type: Class
subclass of: line segment
subclass of: Restriction
  on property: is part of
  some values from: Polygon
subclass of: Restriction
  on property: has component part
  qualified cardinality: 2
  on class: PolygonVertex
description: A polygon edge is a line segment joining two polygon vertices.

triple vertexed polygon edge
type: polygon edge
has component part: vertex one
has component part: vertex two
has component part: vertex three

vertex one
type: PolygonVertex

vertex two
type: PolygonVertex

vertex three
type: PolygonVertex

triangle
type: Class
subclass of: Polygon
description: A triangle is a polygon composed of three points and three line segments, in which each point is fully connected to another point along through the line segment.

line segment
type: Class
subclass of: Line
description: A line segment is a line and a part of a curve that is (inclusively) bounded by two terminal points.

directed line segment
type: Class
subclass of: line segment
description: A directed line segment is a line segment that is contained by an ordered pair of endpoints (a start point and an endpoint).

arrowed line segment
type: Class
subclass of: directed line segment
subclass of: Restriction
  on property: has part
  some values from: triangle
subclass of: Restriction
  on property: has component part
  max qualified cardinality: 2
  on class: triangle
description: An arrowed line is a directed line segment in which one or both endpoints is tangentially part of a triangle that bisects the line.

triple arrow line segment
type: arrowed line segment
has component part: line segment
has component part: first arrow
has component part: second arrow
has component part: third arrow

first arrow
type: triangle

second arrow
type: triangle

third arrow
type: triangle

polyline
type: Class
subclass of: GeometricEntity
subclass of: Restriction
  on property: has component part
  min qualified cardinality: 2
  on class: line segment
description: A polyline is a connected sequence of line segments.

polyline segment
type: polyline
has component part: line segment instance

line segment instance
type: line segment

unique username
type: DatatypeProperty
sub property of: has value

UsernameRestriction
type: Restriction
on property: unique username
qualified cardinality: 1
on data range: string

has polynomial root
type: DatatypeProperty
sub property of: has value

QuadraticPolynomialRootRestriction
type: Restriction
on property: has polynomial root
max qualified cardinality: 2
on data range: decimal

quadratic polynomial instance
type: ConceptualEntity
has polynomial root: 1.23
has polynomial root: 3.45
has polynomial root: 5.67

has name
type: DatatypeProperty
sub property of: has value

NameRestriction
type: Restriction
on property: has name
min qualified cardinality: 2
on data range: string

Jackson
type: human
has name: Jackson