SQuARE Evaluation Test Set (with inconsistencies)
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.
An attribute is a characteristic of some entity.
A realizable entity is an attribute that is exhibited under some condition and is realized in some process.
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 is the quality of an entity that describe in what environment it is known to exist.
virtual is the quality of an entity that exists only in a virtual setting such as a simulation or game environment.
real is the quality of an entity that exists in real space and time.
hypothetical is the quality of an entity that is conjectured to exist.
fictional is the quality of an entity that exists only in a creative work of fiction.
A is related to B iff there is some relation between A and B.
A is spatiotemporally related to B iff A is in the spatial or temporal vicinity of B
A is location of B iff the spatial region occupied by A has the spatial region occupied by B as a part.
has part is a transitive, reflexive and antisymmetric relation between a whole and itself or a whole and its part
A is located in B iff the spatial region occupied by A is part of the spatial region occupied by B.
is part of is a transitive, reflexive and anti-symmetric mereological relation between a whole and itself or a part and its whole.
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.
has member is a mereological relation between a collection and an item.
is member of is a mereological relation between a item and a collection.
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.
A set is a collection of entities, for which there may be zero members.
A mathematical entity is an information content entity that are components of a mathematical system or can be defined in mathematical terms.
An information content entity is an object that requires some background knowledge or procedure to correctly interpret.
A role is a realizable entity that describes behaviours, rights and obligations of an entity in some particular circumstance.
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.
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.
is property of is a relation betweena quality, capability or role and the entity that it and it alone bears.
has property is a relation between an entity and the quality, capability or role that it and it alone bears.
is role of is a relation between a role and the entity that it is a property of.
has role is a relation between an entity and a role that it bears.
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.
A multi-cellular organism is an organism that consists of more than one cell.
A cellular organism is an organism that contains one or more cells.
A non-cellular organism is an organism that does not contain a cell.
A biological organisn is a biological entity that consists of one or more cells and is capable of genomic replication (independently or not).
A biological entity is a heterogeneous substance that contains genomic material or is the product of a biological process.
A heterogeneous substance is a chemical substance that is composed of more than one different kind of component.
A material entity is a physical entity that is spatially extended, exists as a whole at any point in time and has mass.
A chemical entity is a material entity that pertains to chemistry.
A symbol is a proposition about what an entity represents.
A representation is a entity that in some way represents another entity (or attribute thereof).
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 is a relation between a quantity and the unit it is a multiple of.
is unit of is a relation between a unit and a quantity that it is a multiple of.
Height is the one dimensional extent along the vertical projection of a 3D object from a base plane of reference.
A quantity that extends in single dimension.
A spatial quantity is a quantity obtained from measuring the spatial extent of an entity.
A dimensional quantity is a quantity that has an associated unit.
A relation between a informational entity and its actual value (numeric, date, text, etc).
is proper part of is an asymmetric, irreflexive (normally transitive) relation between a part and its distinct whole.
Age is the length of time that a person has lived or a thing has existed.
A dimensionless quantity is a quantity that has no associated unit.
A quantity is an informational entity that gives the magnitude of a property.
A measurement value is a quantitative description that reflects the magnitude of some attribute.
A number is a mathematical object used to count, label, and measure.
collection of 3d molecular structure models
A collection of 3D molecular structure models is just that.
A 3D structure model is a representation of the spatial arrangement of one or more chemical entities.
A tertiary structure descriptor describes 3D topological patterns in a biopolymer.
A biomolecular structure descriptor is structure description for organic compounds.
A molecular structure descriptor is data that describes some aspect of the molecular structure (composition) and is about some chemical entity.
Chemical quality is the quality of a chemical entity.
An object quality is quality of an object.
A namespace is an informational entity that defines a logical container for a set of symbols or identifiers.
A computational entity is an information content entity operated on using some computational system.
A probability measure is quantity of how likely it is that some event will occur.
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
An object is an entity that is wholly identifiable at any instant of time during which it exists.
A polygon edge is a line segment joining two polygon vertices.
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.
A line segment is a line and a part of a curve that is (inclusively) bounded by two terminal points.
A directed line segment is a line segment that is contained by an ordered pair of endpoints (a start point and an endpoint).
An arrowed line is a directed line segment in which one or both endpoints is tangentially part of a triangle that bisects the line.
A polyline is a connected sequence of line segments.