Validation ontology

Release 2020-8-01T14:30:00

This version:
http://purl.org/ontology/sets/ont/0.9
Latest version:
http://purl.org/ontology/sets.ttl
Authors:
Sabbir M. Rashid
Contributors:
Amar K. Das
Daniel Gruen
Deborah L. McGuinness
Jamie P. McCusker
Morgan Foreman
Oshani Seneviratne
Download serialization:
JSON-LD RDF/XML N-Triples TTL
License:
http://www.apache.org/licenses/LICENSE-2.0
Visualization:
Visualize with WebVowl
Cite as:
Sabbir M. Rashid. The SQuARE Evaluation Test Set. Retrieved from: http://purl.org/ontology/sets/ont/0.9
Ontology Specification Draft

Abstract

The SQuARE Evaluation Test Set 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.

Introduction back to ToC

This is a place holder text for the introduction. The introduction should briefly describe the ontology, its motivation, state of the art and goals.

Namespace declarations

Table 1: Namespaces used in the document
sets<http://purl.org/ontology/sets.ttl>
licenses<http://www.apache.org/licenses>
ont<http://purl.org/ontology/sets/ont>
owl<http://www.w3.org/2002/07/owl>
rdf<http://www.w3.org/1999/02/22-rdf-syntax-ns>
resource<http://semanticscience.org/resource>
terms<http://purl.org/dc/terms>
kb<http://purl.org/ontology/sets/kb>
xsd<http://www.w3.org/2001/XMLSchema>
rdfs<http://www.w3.org/2000/01/rdf-schema>
error<http://org.semanticweb.owlapi/error>
ontology<http://purl.org/ontology>

The SQuARE Evaluation Test Set: Overview back to ToC

This ontology has the following classes and properties.

Classes

Object Properties

Data Properties

Named Individuals

Validation ontology: Description back to ToC

This is a placeholder text for the description of your ontology. The description should include an explanation and a diagram explaining how the classes are related, examples of usage, etc.

Cross reference for Validation ontology classes, properties and dataproperties back to ToC

This section provides details for each class and property defined by Validation ontology.

Classes

1D extent quantityc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/1DExtentQuantity

has super-classes
spatial quantity c
has sub-classes
height c

3d structure modelc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/3dStructureModel

has super-classes
tertiary structure descriptor c
has members
water molecule ni

agec back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Age

has super-classes
dimensional quantity c
has members
Peter's age ni, Samantha's age ni

alivec back to ToC or Class ToC

IRI: http://purl.org/ontology/sets/ont#Alive

is equivalent to
not (dead c)
has super-classes
vital status c
has members
Pat's Vital Status ni

arrowed line segmentc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/ArrowedLineSegment

has super-classes
directed line segment c
has members
triple arrow line segment ni

attributec back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Attribute

has super-classes
entity c
has sub-classes
quality c, realizable entity c, vital status c
is disjoint with
object c, process c

biological entityc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/BiologicalEntity

has super-classes
heterogeneous substance c
has sub-classes
lobe c, organism c

biomolecular structure descriptorc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/BiomolecularStructureDescriptor

has super-classes
molecular structure descriptor c
has sub-classes
tertiary structure descriptor c

cellular organismc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/CellularOrganism

has super-classes
organism c
has sub-classes
multicellular organism c
is disjoint with
virus c

chemical entityc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/ChemicalEntity

has super-classes
material entity c
has sub-classes
heterogeneous substance c

chemical qualityc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/ChemicalQuality

has super-classes
object quality c
has sub-classes
molecular structure descriptor c

collectionc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Collection

has super-classes
set c
has sub-classes
collection of 3d molecular structure models c, seven deadly sins c, study group c
has members
group ni

collection of 3d molecular structure modelsc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/CollectionOf3dMolecularStructureModels

has super-classes
collection c

computational entityc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/ComputationalEntity

has super-classes
information content entity c
has sub-classes
integer c, namespace c

conical cylinderc back to ToC or Class ToC

IRI: http://purl.org/ontology/sets/ont#ConicalCylinder

has super-classes
has members
coffee container ni

deadc back to ToC or Class ToC

IRI: http://purl.org/ontology/sets/ont#Dead

has super-classes
vital status c
has members
Pat's Vital Status ni

dimensional quantityc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/DimensionalQuantity

has super-classes
quantity c
has sub-classes
age c, spatial quantity c
is disjoint with
dimensionless quantity c

dimensionless quantityc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/DimensionlessQuantity

has super-classes
quantity c
has sub-classes
probability measure c
has members
efficiency ni
is disjoint with
dimensional quantity c

directed line segmentc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/DirectedLineSegment

has super-classes
line segment c
has sub-classes
arrowed line segment c

entityc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Entity

has sub-classes
attribute c, object c, process c

error1c back to ToC or Class ToC

IRI: http://org.semanticweb.owlapi/error#Error1

is equivalent to
lobe c

existence qualityc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/ExistenceQuality

has super-classes
quality c
has sub-classes
hypothetical c, real c, virtual c

fakec back to ToC or Class ToC

IRI: http://purl.org/ontology/sets/ont#Fake

is equivalent to
fictional c
has members
Hubert ni

fictionalc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Fictional

has super-classes
hypothetical c
has members
my imaginary friend ni
is disjoint with
real c

friendly talking dogc back to ToC or Class ToC

IRI: http://purl.org/ontology/sets/ont#FriendlyTalkingDog

is equivalent to
can talk c and dog c and friendly c

heightc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Height

has super-classes
1D extent quantity c
has members
height of tom ni

heterogeneous substancec back to ToC or Class ToC

IRI: http://semanticscience.org/resource/HeterogeneousSubstance

has super-classes
chemical entity c, material entity c
has sub-classes
biological entity c

humanc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Human

has super-classes
multicellular organism c
has sub-classes
person c
has members
Jackson ni, Jordan ni, Pat ni, Peter ni, Samantha ni, Sarah ni, Steve ni, Susan ni, Tim ni, Tom ni, ali ni, luis ni, tutor ni

hypotheticalc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Hypothetical

has super-classes
existence quality c
has sub-classes
fictional c

information content entityc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/InformationContentEntity

has super-classes
object c
has sub-classes
computational entity c, mathematical entity c, representation c

integerc back to ToC or Class ToC

IRI: http://purl.org/ontology/sets/ont#Integer

has super-classes
computational entity c
has members
ten ni

line segmentc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/LineSegment

has super-classes
line c
has sub-classes
directed line segment c, polygon edge c
has members
line segment ni, line segment instance ni

lobec back to ToC or Class ToC

IRI: http://purl.org/ontology/sets/ont#Lobe

has super-classes
biological entity c

material entityc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/MaterialEntity

has super-classes
object c
has sub-classes
chemical entity c, heterogeneous substance c

mathematical entityc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/MathematicalEntity

has super-classes
information content entity c
has sub-classes
number c, set c

measurement valuec back to ToC or Class ToC

IRI: http://semanticscience.org/resource/MeasurementValue

has super-classes
number c
has sub-classes
quantity c

molecular formulac back to ToC or Class ToC

IRI: http://purl.org/ontology/sets/ont#MolecularFormula

has super-classes
symbol c
has members
H2O ni

molecular structure descriptorc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/MolecularStructureDescriptor

has super-classes
chemical quality c
has sub-classes
biomolecular structure descriptor c

moleculec back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Molecule

has members
protein receptor ni

multicellular organismc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/MulticellularOrganism

has super-classes
cellular organism c
has sub-classes
human c

namespacec back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Namespace

has super-classes
computational entity c
has members
namespace instance ni

non-cellular organismc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Non-cellularOrganism

has super-classes
organism c
is disjoint with
virus c

numberc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Number

has super-classes
mathematical entity c
has sub-classes
measurement value c

objectc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Object

has super-classes
entity c
has sub-classes
information content entity c, material entity c
is disjoint with
attribute c, process c

object qualityc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/ObjectQuality

has super-classes
quality c
has sub-classes
chemical quality c

organismc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Organism

is equivalent to
cellular organism c or non-cellular organism c
has super-classes
biological entity c
has sub-classes
cellular organism c, non-cellular organism c, virus c

percentagec back to ToC or Class ToC

IRI: http://purl.org/ontology/sets/ont#Percentage

has super-classes
unit of measurement c

personc back to ToC or Class ToC

IRI: http://purl.org/ontology/sets/ont#Person

has super-classes
human c
has members
Erik ni, Jack ni, John ni, Katie ni
has keys
unique identifier dp

polygon edgec back to ToC or Class ToC

IRI: http://semanticscience.org/resource/PolygonEdge

has super-classes
line segment c
has members
triple vertexed polygon edge ni

polylinec back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Polyline

has super-classes
geometric entity c
has members
polyline segment ni

probability measurec back to ToC or Class ToC

IRI: http://semanticscience.org/resource/ProbabilityMeasure

has super-classes
dimensionless quantity c
has sub-classes
probability value c

probability valuec back to ToC or Class ToC

IRI: http://semanticscience.org/resource/ProbabilityValue

has super-classes
probability measure c
has members
effort exerted ni

processc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Process

has super-classes
entity c
has members
step ni, therapy ni, workflow ni
is disjoint with
attribute c, object c

qualityc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Quality

has super-classes
attribute c
has sub-classes
existence quality c, object quality c
has members
reliable ni
is disjoint with
realizable entity c

quantityc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Quantity

is equivalent to
dimensional quantity c or dimensionless quantity c
has super-classes
measurement value c
has sub-classes
dimensional quantity c, dimensionless quantity c, unit of measurement c

realc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Real

has super-classes
existence quality c
has members
my imaginary friend ni
is disjoint with
fictional c, virtual c

realizable entityc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/RealizableEntity

has super-classes
attribute c
has sub-classes
role c
is disjoint with
quality c

representationc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Representation

has super-classes
information content entity c
has sub-classes
symbol c

rolec back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Role

has super-classes
realizable entity c
is in domain of
is role of op
has members
farmer ni, teaching role ni, tutoring role ni

self attributingc back to ToC or Class ToC

IRI: http://purl.org/ontology/sets/ont#SelfAttributing

has super-classes
has members
blue ni

setc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Set

has super-classes
mathematical entity c
has sub-classes
collection c

seven deadly sinsc back to ToC or Class ToC

IRI: http://purl.org/ontology/sets/ont#DeadlySins

has super-classes
collection c
has members
seven deadly sins ni

spatial quantityc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/SpatialQuantity

has super-classes
dimensional quantity c
has sub-classes
1D extent quantity c

study groupc back to ToC or Class ToC

IRI: http://purl.org/ontology/sets/ont#StudyGroup

has super-classes
collection c
has members
study group instance ni

symbolc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Symbol

has super-classes
representation c
has sub-classes
molecular formula c

targetc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Target

is equivalent to
molecule c and (is target in op some process c)

tertiary structure descriptorc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/TertiaryStructureDescriptor

has super-classes
biomolecular structure descriptor c
has sub-classes
3d structure model c

textc back to ToC or Class ToC

IRI: http://purl.org/ontology/sets/ont#Text

has super-classes
has members
question ni

trianglec back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Triangle

has super-classes
polygon c
has members
first arrow ni, second arrow ni, third arrow ni

trioc back to ToC or Class ToC

IRI: http://purl.org/ontology/sets/ont#Trio

has super-classes
has members
stooges ni

typec back to ToC or Class ToC

IRI: http://purl.org/ontology/sets/ont#Type

is equivalent to
{ boolean , double , float , integer , string }
has members
tuple ni

unit of measurementc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/UnitOfMeasurement

has super-classes
quantity c
has sub-classes
percentage c
is in domain of
is unit of op
is in range of
has unit op

unlikedc back to ToC or Class ToC

IRI: http://purl.org/ontology/sets/ont#Unliked

is equivalent to
has age dp value 23

vehiclec back to ToC or Class ToC

IRI: http://purl.org/ontology/sets/ont#Vehicle

has super-classes
has members
car ni

virtualc back to ToC or Class ToC

IRI: http://semanticscience.org/resource/Virtual

has super-classes
existence quality c
is disjoint with
real c

virusc back to ToC or Class ToC

IRI: http://purl.org/ontology/sets/ont#Virus

has super-classes
organism c
is disjoint with
cellular organism c, non-cellular organism c

vital statusc back to ToC or Class ToC

IRI: http://purl.org/ontology/sets/ont#VitalStatus

has super-classes
attribute c
has sub-classes
alive c, dead c

Object Properties

has attributeop back to ToC or Object Property ToC

IRI: http://semanticscience.org/resource/hasAttribute

has super-properties
is related to op
has sub-properties
has member op, has mother op, has property op, has unit op

has component partop back to ToC or Object Property ToC

IRI: http://semanticscience.org/resource/hasComponentPart

has fatherop back to ToC or Object Property ToC

IRI: http://purl.org/ontology/sets/ont#hasFather

has memberop back to ToC or Object Property ToC

IRI: http://semanticscience.org/resource/hasMember

has characteristics: irreflexive

has super-properties
has attribute op
is inverse of
is member of op

has motherop back to ToC or Object Property ToC

IRI: http://purl.org/ontology/sets/ont#hasMother

has super-properties
has attribute op

has partop back to ToC or Object Property ToC

IRI: http://semanticscience.org/resource/hasPart

has characteristics: transitive, reflexive

has super-properties
is location of op
is inverse of
is part of op

has propertyop back to ToC or Object Property ToC

IRI: http://semanticscience.org/resource/hasProperty

has characteristics: inverse functional

has super-properties
has attribute op
has sub-properties
has realizable property op
is inverse of
is property of op

has realizable propertyop back to ToC or Object Property ToC

IRI: http://semanticscience.org/resource/hasRealizableProperty

has characteristics: inverse functional

has super-properties
has property op
has sub-properties
has role op
is inverse of
is realizable property of op

has roleop back to ToC or Object Property ToC

IRI: http://semanticscience.org/resource/hasRole

has characteristics: inverse functional

has super-properties
has realizable property op
is inverse of
is role of op

has siblingop back to ToC or Object Property ToC

IRI: http://purl.org/ontology/sets/ont#hasSibling

has unitop back to ToC or Object Property ToC

IRI: http://semanticscience.org/resource/hasUnit

has characteristics: functional

has super-properties
has attribute op
has range
unit of measurement c
is inverse of
is unit of op

is attribute ofop back to ToC or Object Property ToC

IRI: http://semanticscience.org/resource/isAttributeOf

has super-properties
is related to op
has sub-properties
is member of op, is property of op, is unit of op

is located inop back to ToC or Object Property ToC

IRI: http://semanticscience.org/resource/isLocatedIn

has characteristics: transitive

has super-properties
is spatiotemporally related to op
has sub-properties
is part of op

is location ofop back to ToC or Object Property ToC

IRI: http://semanticscience.org/resource/isLocationOf

has characteristics: transitive

has super-properties
is spatiotemporally related to op
has sub-properties
has part op

is member ofop back to ToC or Object Property ToC

IRI: http://semanticscience.org/resource/isMemberOf

has super-properties
is attribute of op
is inverse of
has member op

is part ofop back to ToC or Object Property ToC

IRI: http://semanticscience.org/resource/isPartOf

has characteristics: transitive, reflexive

has super-properties
is located in op
has sub-properties
is proper part of op
is inverse of
has part op

is proper part ofop back to ToC or Object Property ToC

IRI: http://semanticscience.org/resource/isProperPartOf

has characteristics: asymmetric, irreflexive

has super-properties
is part of op

is property ofop back to ToC or Object Property ToC

IRI: http://semanticscience.org/resource/isPropertyOf

has characteristics: functional

has super-properties
is attribute of op
has sub-properties
is realizable property of op
is inverse of
has property op

is realizable property ofop back to ToC or Object Property ToC

IRI: http://semanticscience.org/resource/isRealizablePropertyOf

has characteristics: functional

has super-properties
is property of op
has sub-properties
is role of op
is inverse of
has realizable property op

is related toop back to ToC or Object Property ToC

IRI: http://semanticscience.org/resource/isRelatedTo

has characteristics: symmetric

has sub-properties
has attribute op, is attribute of op, is spatiotemporally related to op

is role ofop back to ToC or Object Property ToC

IRI: http://semanticscience.org/resource/isRoleOf

has characteristics: functional

has super-properties
is realizable property of op
has domain
role c
is inverse of
has role op

is spatiotemporally related toop back to ToC or Object Property ToC

IRI: http://semanticscience.org/resource/isSpatiotemporallyRelatedTo

has characteristics: symmetric

has super-properties
is related to op
has sub-properties
is located in op, is location of op

is target inop back to ToC or Object Property ToC

IRI: http://semanticscience.org/resource/isTargetIn

is unit ofop back to ToC or Object Property ToC

IRI: http://semanticscience.org/resource/isUnitOf

has super-properties
is attribute of op
has domain
unit of measurement c
is inverse of
has unit op

Data Properties

has agedp back to ToC or Data Property ToC

IRI: http://purl.org/ontology/sets/ont#hasAge

has super-properties
has value dp

has agedp back to ToC or Data Property ToC

IRI: http://purl.org/ontology/sets/ont#hasTeenAge

has range
{ "13" , "14" , "15" , "16" , "17" , "18" , "19" }

has birth yeardp back to ToC or Data Property ToC

IRI: http://purl.org/ontology/sets/ont#hasBirthYear

has super-properties
has value dp

has diameter valuedp back to ToC or Data Property ToC

IRI: http://purl.org/ontology/sets/ont#hasDiameterValue

has super-properties
has value dp

has exact valuedp back to ToC or Data Property ToC

IRI: http://purl.org/ontology/sets/ont#hasExactValue

has super-properties
has value dp

has namedp back to ToC or Data Property ToC

IRI: http://purl.org/ontology/sets/ont#hasName

has super-properties
has value dp

has polynomial rootdp back to ToC or Data Property ToC

IRI: http://purl.org/ontology/sets/ont#hasPolynomialRoot

has super-properties
has value dp

has valuedp back to ToC or Data Property ToC

IRI: http://purl.org/ontology/sets/ont#hasValue

has equivalent properties
has value dp

has valuedp back to ToC or Data Property ToC

IRI: http://semanticscience.org/resource/hasValue

has characteristics: functional

has equivalent properties
has value dp
has sub-properties
has age dp, has birth year dp, has diameter value dp, has exact value dp, has name dp, has polynomial root dp, unique username dp

unique identifierdp back to ToC or Data Property ToC

IRI: http://purl.org/ontology/sets/ont#uniqueID

unique usernamedp back to ToC or Data Property ToC

IRI: http://purl.org/ontology/sets/ont#uniqueUsername

has super-properties
has value dp

Named Individuals

alini back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Ali

belongs to
human c

blueni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Blue

belongs to
self attributing c

brianni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Brian

belongs to
can talk c
dog c
friendly c

carni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Car

belongs to
vehicle c
has facts
has part op mirror

coffee containerni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#CoffeeContainer

belongs to
conical cylinder c
has facts
has diameter value dp "1"^^integer

date time measurementni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#DateTimeMeasurement

belongs to
individual c
has facts
has value dp "1990-10-14T09:00:00"^^date time

double measurementni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#DoubleMeasurement

belongs to
individual c
has facts
has value dp "6.34"^^double

efficiencyni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Efficiency

belongs to
dimensionless quantity c
has facts
has unit op ""

effort exertedni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#EffortExerted

belongs to
probability value c
has facts
has value dp "1.1"^^double

Erikni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Erik

belongs to
person c
has facts
has birth year dp "1988"^^integer
has birth year dp "1998"^^integer

faceni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Face

belongs to
individual c
has facts
is proper part of op nose

farmerni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Farmer

belongs to
role c

fingerni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Finger

belongs to
individual c
has facts
is part of op hand

finger nailni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Fingernail

belongs to
individual c
has facts
is part of op finger

first arrowni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#FirstArrow

belongs to
triangle c

float measurementni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#FloatMeasurement

belongs to
individual c
has facts
has value dp "3.14"^^float

groupni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Group

belongs to
collection c
has facts
has member op group

H2Oni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#H2O

belongs to
molecular formula c

handni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Hand

belongs to
individual c

height of tomni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#HeightOfTom

belongs to
height c
has facts
has unit op meter
has value dp "5"^^integer
has value dp "6"^^integer

Hubertni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Hubert

belongs to
fake c

hydrogen dioxideni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#HyrdogenDioxide

has facts
has attribute op H2O

integer measurementni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#IntegerMeasurement

belongs to
individual c
has facts
has value dp "12"^^integer

Jackni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Jack

belongs to
person c
has facts
unique identifier dp "101D"

Jacksonni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Jackson

belongs to
human c
has facts
has name dp "Jackson"

Johnni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#John

belongs to
person c
has facts
unique identifier dp "101D"

Jordanni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Jordan

belongs to
human c

Katieni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Katie

belongs to
person c
has facts
has age dp "31"^^integer
has age dp "34"^^integer

line segment ni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#LineSegment

belongs to
line segment c

line segment instanceni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#LineSegmentInstance

belongs to
line segment c

luisni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Luis

belongs to
human c

meterni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Meter

belongs to
individual c

molecular collectionni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#MolecularCollection

belongs to
individual c
has facts
has member op water molecule

motherni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Mother

belongs to
individual c
has facts
is role of op Sarah

my imaginary friendni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#ImaginaryFriend

belongs to
fictional c
real c

namespace instanceni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#NamespaceInstance

belongs to
namespace c
has facts
has member op namespace i d

noseni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Nose

belongs to
individual c
has facts
is proper part of op face

Patni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Pat

belongs to
human c

Pat's Vital Statusni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#VitalStatusOfPat

belongs to
alive c
dead c
has facts
is attribute of op Pat

peteni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Pete

is same as
Peter

Peterni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Peter

belongs to
human c
is same as
pete
has facts
is related to op Samantha

Peter's ageni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#AgeOfPeter

belongs to
age c
has facts
has value dp "10"

polyline segment ni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#PolylineSegment

belongs to
polyline c
has facts
has component part op line segment instance

protein receptorni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#ProteinReceptor

belongs to
molecule c
has facts
is target in op therapy

quadratic polynomial instanceni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#QuadraticPolynomialInstance

belongs to
conceptual entity c
has facts
has polynomial root dp "1.23"^^decimal
has polynomial root dp "3.45"^^decimal
has polynomial root dp "5.67"^^decimal

questionni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Question

belongs to
text c
has facts
has value dp "4"^^integer

reliableni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Reliable

belongs to
quality c

samni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Sam

is same as
Samantha

Samanthani back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Samantha

belongs to
human c
is same as
sam
has facts
has property op Samantha's age

Samantha's ageni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#AgeOfSamantha

belongs to
age c
has facts
has unit op meter
has exact value dp "25.82"^^decimal

Sarahni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Sarah

belongs to
human c
has facts
has age dp "12"^^integer

second arrowni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#SecondArrow

belongs to
triangle c

seven deadly sinsni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#SevenDeadlySins

belongs to
seven deadly sins c
has facts
has member op envy
has member op gluttony
has member op greed
has member op lust
has member op pride
has member op redundancy
has member op sloth
has member op wrath

stepni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Step

belongs to
process c

Steveni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Steve

belongs to
human c
has facts
unique username dp "ScubaSteve508"
unique username dp "SteveTheGamer"

stoogesni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Stooges

belongs to
trio c
has facts
has member op curly
has member op larry
has member op moe

study group instanceni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#StudyGroupInstance

belongs to
study group c
has facts
has member op ali
has member op Steve

Susanni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Susan

belongs to
human c
has facts
has father op Jordan
has mother op Jordan

teaching roleni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#TeachingRole

belongs to
role c
has facts
is role of op tutor

tenni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Ten

belongs to
integer c
has facts
has value dp "10.1"^^float

therapyni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Therapy

belongs to
process c

third arrowni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#ThirdArrow

belongs to
triangle c

Timni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Tim

belongs to
human c

Tomni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Tom

belongs to
human c
has facts
has attribute op height of tom
has age dp "23"^^integer

triple arrow line segmentni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#TripleArrowLineSegment

belongs to
arrowed line segment c
has facts
has component part op first arrow
has component part op line segment
has component part op second arrow
has component part op third arrow

triple vertexed polygon edgeni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#TripleVertexedPolyEdge

belongs to
polygon edge c
has facts
has component part op vertex one
has component part op vertex three
has component part op vertex two

tupleni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Tuple

belongs to
type c

tutorni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Tutor

belongs to
human c

tutoring roleni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#TutoringRole

belongs to
role c
has facts
is role of op tutor

vertex oneni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#VertexOne

belongs to
polygon vertex c

vertex threeni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#VertexThree

belongs to
polygon vertex c

vertex twoni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#VertexTwo

belongs to
polygon vertex c

waterni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Water

has facts
has attribute op H2O

water moleculeni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#WaterMolecule

belongs to
3d structure model c

workflowni back to ToC or Named Individual ToC

IRI: http://purl.org/ontology/sets/kb#Workflow

belongs to
process c
has facts
has part op step

Legend back to ToC

c: Classes
op: Object Properties
dp: Data Properties
ni: Named Individuals

References back to ToC

Add your references here. It is recommended to have them as a list.

Acknowledgements back to ToC

The authors would like to thank Silvio Peroni for developing LODE, a Live OWL Documentation Environment, which is used for representing the Cross Referencing Section of this document and Daniel Garijo for developing Widoco, the program used to create the template used in this documentation.