Capability: Can construct a process based on differing control flow?
Capability: Has support for the construction of complex structures composed of several types allowing existing structures to mimicked?
Capability: Has the ability to apply universal time across the ontology?
Capability: Has the ability to assign expected types to individuals allowing automatic classification using the reasoner with a fallback?
Capability: Has the ability to assign qualities to data type?
Capability: Has the ability to assign units of measure to data captured?
Capability: Has the ability to re-classify existing data?
Counting: What is the amount of captured aggregates?
Selection: Can query based on data type and by data structure?
Selection: Has the ability to query based on time?
The Data Collection Ontology (DCO) is an ontology designed for data collection providing classes and relations on top of the Basic Formal Ontology (BFO) to facilitate data collection processes, subjects, and data anaylsis through the use of classifiers.
DCO is based on the notion of reasoning to validate incoming data through their definitions based on classifiers.
Relates an entity in the ontology to the name of the variable that is used to represent it in the code that generates the BFO OWL file from the lispy specification.
Really of interest to developers only
BFO OWL specification label
Relates an entity in the ontology to the term that is used to represent it in the the CLIF specification of BFO2
Person:Alan Ruttenberg
Really of interest to developers only
BFO CLIF specification label
editor preferred term
definition
term editor
alternative term
definition source
curator note
imported from
has associated axiom(nl)
has associated axiom(fol)
has axiom label
protoge:defaultLanguage
Used to define competency questions for the ontology design
competency question
Used to provide examples of where a term or relation should be used.
branch of
object control to
An if statement branches to a function call
Represents a point where some object may branch to another object based on a particular condition
branches to
Vehicle production contains processes such as assembly and painting
Allows composition of processes within classes
contains process
Links data entities to respective objects
data entity to
Data entities are objects that exist only to store data typically this will be used to store things like meta data which includes some unit type and the values expected.
has data entity
Links a measurement taken to a particular instance
has measure
Links a measurement datum individual to another individual. Measurement datums are designed to capture one or more measures as well as the measurement units as opposed to linking only values. Expected to be used with both complex and scalar measurement datum instances.
has measurement datum
Represents the unit of measure for a particular complex or scalar measure
has measurement unit
Represents controls such as looping, repeating, branching etc that may take place in data collection such as things like a process or survey
has object control
The inverse of part_to i.e. a person has_part arm or a vehicle has_part engine
has part
Represents a quality that a particular class has such as being bounded, numerical etc
has quality
If a Subject was a 2017 Ford Mustang that represents things common to all 2017 Mustangs we may collect data on a particular 2017 Ford Mustang that is occurrent as it is a particular vehicle that will exists in time and space and we can say it's subject type is that of 2017 Ford Mustangs.
Used to denote that this individual has a type of some subject. It links objects that are occurrents to their continuant definition. This is because an occurrent is disjoint from a continuant.
has subject type
Represents a time stamp with a particular time unit allowing one to specify time along with domain dependent time units
has time stamp
Links a particular individual to a location individual i.e. a person to a place
located in
Links a particular location individual to another individual
location of
measurement datum to
Links a measurement individual to a individual
measurement to
measurement unit to
Links an individual back to its composed object
part to
process to
realized in
realizes
time stamp to
Can repeat is a boolean value that dictates whether a process_part or process can repeat, this may be used for data collection that reoccurs over a period of time.
can repeat
Represents a sequence value relative to other objects in the same process to provide either order or unique reference
has sequence
provides control flow properties for objects such as repeating, sequencing etc
has control
Represents a coordinate in physical space such as a x, y, or z coordinate in 3D space for a particular objects location
has coordinate value
A class may expect to have several string properties which this may be used to represent
Provides the ability for external applications to read for expected properties of particular classes
has expected property
Links to a Java class of a known type must be some URI that allows for this class to be uniquely established
Designed to be used with classifiers to establish type expected by annecdotal data or expected ranges based on best known values currently. This will then be used in conjunction with the classifier type assigned by the reasoner which if the URIs do not match one can determine if that instance is an error or the ontologies view (and your anecdotal estimate) is incorrect and needs to be adjusted.
Represents a type either internal or external to the ontology such as class or representing a database entity, or language class to link the individual to for processing.
has expected type
a percentage has a maximum value of 100, a 5 star rating has a maximum value of 5
represents a maximum value expected for a particular class or individual data point
has maximum
vehicle_length_meta_object has_measure 172.3
A value representing a measurement of some concrete entity.
has measurement value
an unsigned integer has a minimum value of 0
represents a minimum expected value for a particular class or individual data point
has minimum
0.0
100.0
student_grade_meta has_percentage 78
Used for any individual that captures some percentage value (0 - 100) such as confidence, a grade etc.
Todays date as an epoch long integer
Allows a time value (an epoch time) that represents sequentially when something has occured
has time value
Used for particular entities that contain a value
has value
ns4:BFO_0000001
entity
Entity
entity
ns4:BFO_0000002
continuant
Continuant
if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001])
if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002])
if b is a material entity, then there is some temporal interval (referred to below as a one-dimensional temporal region) during which b exists. (axiom label in BFO2 Reference: [011-002])
(forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002]
(forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001]
(forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002]
(forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002]
continuant
(forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002]
(forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001]
(forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002]
(forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002]
if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001])
if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002])
if b is a material entity, then there is some temporal interval (referred to below as a one-dimensional temporal region) during which b exists. (axiom label in BFO2 Reference: [011-002])
ns4:BFO_0000003
occurrent
Occurrent
Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001])
b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001])
(forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001]
(forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001]
occurrent
Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001])
b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001])
(forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001]
(forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001]
ns4:BFO_0000004
ic
IndependentContinuant
b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])
For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001])
For every independent continuant b and time t during the region of time spanned by its life, there are entities which s-depends_on b during t. (axiom label in BFO2 Reference: [018-002])
(forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001]
(forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002]
(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002]
independent continuant
b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])
For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001])
For every independent continuant b and time t during the region of time spanned by its life, there are entities which s-depends_on b during t. (axiom label in BFO2 Reference: [018-002])
(forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001]
(forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002]
(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002]
ns4:BFO_0000006
s-region
SpatialRegion
All continuant parts of spatial regions are spatial regions.(axiom label in BFO2 Reference: [036-001])
(forall (x y t) (if (and (SpatialRegion x) (continuantPartOfAt y x t)) (SpatialRegion y))) // axiom label in BFO2 CLIF: [036-001]
(forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001]
spatial region
All continuant parts of spatial regions are spatial regions.(axiom label in BFO2 Reference: [036-001])
(forall (x y t) (if (and (SpatialRegion x) (continuantPartOfAt y x t)) (SpatialRegion y))) // axiom label in BFO2 CLIF: [036-001]
(forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001]
ns4:BFO_0000008
t-region
TemporalRegion
All parts of temporal regions are temporal regions.(axiom label in BFO2 Reference: [101-001])
Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002])
(forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002]
(forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001]
(forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001]
temporal region
All parts of temporal regions are temporal regions.(axiom label in BFO2 Reference: [101-001])
Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002])
(forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002]
(forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001]
(forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001]
ns4:BFO_0000009
2d-s-region
TwoDimensionalSpatialRegion
(forall (x) (if (TwoDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [039-001]
two-dimensional spatial region
(forall (x) (if (TwoDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [039-001]
ns4:BFO_0000011
st-region
SpatiotemporalRegion
All parts of spatiotemporal regions are spatiotemporal regions.(axiom label in BFO2 Reference: [096-001])
Each spatiotemporal region at any time t projects_onto some spatial region at t. (axiom label in BFO2 Reference: [099-001])
Each spatiotemporal region projects_onto some temporal region. (axiom label in BFO2 Reference: [098-001])
Every spatiotemporal region occupies_spatiotemporal_region itself.
Every spatiotemporal region s is such that s occupies_spatiotemporal_region s. (axiom label in BFO2 Reference: [107-002])
(forall (r) (if (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion r r))) // axiom label in BFO2 CLIF: [107-002]
(forall (x t) (if (SpatioTemporalRegion x) (exists (y) (and (SpatialRegion y) (spatiallyProjectsOntoAt x y t))))) // axiom label in BFO2 CLIF: [099-001]
(forall (x y) (if (and (SpatioTemporalRegion x) (occurrentPartOf y x)) (SpatioTemporalRegion y))) // axiom label in BFO2 CLIF: [096-001]
(forall (x) (if (SpatioTemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [095-001]
(forall (x) (if (SpatioTemporalRegion x) (exists (y) (and (TemporalRegion y) (temporallyProjectsOnto x y))))) // axiom label in BFO2 CLIF: [098-001]
spatiotemporal region
All parts of spatiotemporal regions are spatiotemporal regions.(axiom label in BFO2 Reference: [096-001])
Each spatiotemporal region at any time t projects_onto some spatial region at t. (axiom label in BFO2 Reference: [099-001])
Each spatiotemporal region projects_onto some temporal region. (axiom label in BFO2 Reference: [098-001])
Every spatiotemporal region s is such that s occupies_spatiotemporal_region s. (axiom label in BFO2 Reference: [107-002])
(forall (r) (if (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion r r))) // axiom label in BFO2 CLIF: [107-002]
(forall (x t) (if (SpatioTemporalRegion x) (exists (y) (and (SpatialRegion y) (spatiallyProjectsOntoAt x y t))))) // axiom label in BFO2 CLIF: [099-001]
(forall (x y) (if (and (SpatioTemporalRegion x) (occurrentPartOf y x)) (SpatioTemporalRegion y))) // axiom label in BFO2 CLIF: [096-001]
(forall (x) (if (SpatioTemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [095-001]
(forall (x) (if (SpatioTemporalRegion x) (exists (y) (and (TemporalRegion y) (temporallyProjectsOnto x y))))) // axiom label in BFO2 CLIF: [098-001]
ns4:BFO_0000015
process
Process
p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])
(iff (Process a) (and (Occurrent a) (exists (b) (properTemporalPartOf b a)) (exists (c t) (and (MaterialEntity c) (specificallyDependsOnAt a c t))))) // axiom label in BFO2 CLIF: [083-003]
process
p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])
(iff (Process a) (and (Occurrent a) (exists (b) (properTemporalPartOf b a)) (exists (c t) (and (MaterialEntity c) (specificallyDependsOnAt a c t))))) // axiom label in BFO2 CLIF: [083-003]
ns4:BFO_0000016
disposition
Disposition
If b is a realizable entity then for all t at which b exists, b s-depends_on some material entity at t. (axiom label in BFO2 Reference: [063-002])
(forall (x t) (if (and (RealizableEntity x) (existsAt x t)) (exists (y) (and (MaterialEntity y) (specificallyDepends x y t))))) // axiom label in BFO2 CLIF: [063-002]
(forall (x) (if (Disposition x) (and (RealizableEntity x) (exists (y) (and (MaterialEntity y) (bearerOfAt x y t)))))) // axiom label in BFO2 CLIF: [062-002]
disposition
If b is a realizable entity then for all t at which b exists, b s-depends_on some material entity at t. (axiom label in BFO2 Reference: [063-002])
(forall (x t) (if (and (RealizableEntity x) (existsAt x t)) (exists (y) (and (MaterialEntity y) (specificallyDepends x y t))))) // axiom label in BFO2 CLIF: [063-002]
(forall (x) (if (Disposition x) (and (RealizableEntity x) (exists (y) (and (MaterialEntity y) (bearerOfAt x y t)))))) // axiom label in BFO2 CLIF: [062-002]
ns4:BFO_0000017
realizable
RealizableEntity
All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])
(forall (x t) (if (RealizableEntity x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (bearerOfAt y x t))))) // axiom label in BFO2 CLIF: [060-002]
(forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002]
realizable entity
All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])
(forall (x t) (if (RealizableEntity x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (bearerOfAt y x t))))) // axiom label in BFO2 CLIF: [060-002]
(forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002]
ns4:BFO_0000018
0d-s-region
ZeroDimensionalSpatialRegion
(forall (x) (if (ZeroDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [037-001]
zero-dimensional spatial region
(forall (x) (if (ZeroDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [037-001]
ns4:BFO_0000019
quality
Quality
If an entity is a quality at any time that it exists, then it is a quality at every time that it exists. (axiom label in BFO2 Reference: [105-001])
(forall (x) (if (Quality x) (SpecificallyDependentContinuant x))) // axiom label in BFO2 CLIF: [055-001]
(forall (x) (if (exists (t) (and (existsAt x t) (Quality x))) (forall (t_1) (if (existsAt x t_1) (Quality x))))) // axiom label in BFO2 CLIF: [105-001]
quality
If an entity is a quality at any time that it exists, then it is a quality at every time that it exists. (axiom label in BFO2 Reference: [105-001])
(forall (x) (if (Quality x) (SpecificallyDependentContinuant x))) // axiom label in BFO2 CLIF: [055-001]
(forall (x) (if (exists (t) (and (existsAt x t) (Quality x))) (forall (t_1) (if (existsAt x t_1) (Quality x))))) // axiom label in BFO2 CLIF: [105-001]
ns4:BFO_0000020
sdc
SpecificallyDependentContinuant
b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of bs existence. (axiom label in BFO2 Reference: [050-003])
(iff (SpecificallyDependentContinuant a) (and (Continuant a) (forall (t) (if (existsAt a t) (exists (b) (and (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t))))))) // axiom label in BFO2 CLIF: [050-003]
specifically dependent continuant
b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of bs existence. (axiom label in BFO2 Reference: [050-003])
(iff (SpecificallyDependentContinuant a) (and (Continuant a) (forall (t) (if (existsAt a t) (exists (b) (and (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t))))))) // axiom label in BFO2 CLIF: [050-003]
ns4:BFO_0000023
role
Role
(forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001]
role
(forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001]
ns4:BFO_0000024
fiat-object-part
FiatObjectPart
(forall (x) (if (FiatObjectPart x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y) (and (Object y) (properContinuantPartOfAt x y t)))))))) // axiom label in BFO2 CLIF: [027-004]
fiat object part
(forall (x) (if (FiatObjectPart x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y) (and (Object y) (properContinuantPartOfAt x y t)))))))) // axiom label in BFO2 CLIF: [027-004]
ns4:BFO_0000026
1d-s-region
OneDimensionalSpatialRegion
(forall (x) (if (OneDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [038-001]
one-dimensional spatial region
(forall (x) (if (OneDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [038-001]
ns4:BFO_0000027
object-aggregate
ObjectAggregate
ISBN:978-3-938793-98-5pp124-158#Thomas Bittner and Barry Smith, 'A Theory of Granular Partitions', in K. Munn and B. Smith (eds.), Applied Ontology: An Introduction, Frankfurt/Lancaster: ontos, 2008, 125-158.
(forall (x) (if (ObjectAggregate x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y z) (and (Object y) (Object z) (memberPartOfAt y x t) (memberPartOfAt z x t) (not (= y z)))))) (not (exists (w t_1) (and (memberPartOfAt w x t_1) (not (Object w)))))))) // axiom label in BFO2 CLIF: [025-004]
object aggregate
ISBN:978-3-938793-98-5pp124-158#Thomas Bittner and Barry Smith, 'A Theory of Granular Partitions', in K. Munn and B. Smith (eds.), Applied Ontology: An Introduction, Frankfurt/Lancaster: ontos, 2008, 125-158.
(forall (x) (if (ObjectAggregate x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y z) (and (Object y) (Object z) (memberPartOfAt y x t) (memberPartOfAt z x t) (not (= y z)))))) (not (exists (w t_1) (and (memberPartOfAt w x t_1) (not (Object w)))))))) // axiom label in BFO2 CLIF: [025-004]
ns4:BFO_0000028
3d-s-region
ThreeDimensionalSpatialRegion
(forall (x) (if (ThreeDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [040-001]
three-dimensional spatial region
(forall (x) (if (ThreeDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [040-001]
ns4:BFO_0000029
site
Site
(forall (x) (if (Site x) (ImmaterialEntity x))) // axiom label in BFO2 CLIF: [034-002]
site
(forall (x) (if (Site x) (ImmaterialEntity x))) // axiom label in BFO2 CLIF: [034-002]
ns4:BFO_0000030
object
Object
object
ns4:BFO_0000031
gdc
GenericallyDependentContinuant
b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001])
(iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001]
generically dependent continuant
b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001])
(iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001]
ns4:BFO_0000034
function
Function
(forall (x) (if (Function x) (Disposition x))) // axiom label in BFO2 CLIF: [064-001]
function
(forall (x) (if (Function x) (Disposition x))) // axiom label in BFO2 CLIF: [064-001]
1
ns4:BFO_0000035
p-boundary
ProcessBoundary
p is a process boundary =Def. p is a temporal part of a process & p has no proper temporal parts. (axiom label in BFO2 Reference: [084-001])
Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002])
(forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085-002]
(iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084-001]
process boundary
p is a process boundary =Def. p is a temporal part of a process & p has no proper temporal parts. (axiom label in BFO2 Reference: [084-001])
Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002])
(forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085-002]
(iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084-001]
2
ns4:BFO_0000038
1d-t-region
OneDimensionalTemporalRegion
(forall (x) (if (OneDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [103-001]
one-dimensional temporal region
(forall (x) (if (OneDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [103-001]
ns4:BFO_0000040
material
MaterialEntity
Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002])
every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002])
(forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002]
(forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt x y t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [021-002]
(forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt y x t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [020-002]
material entity
Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002])
every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002])
(forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002]
(forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt x y t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [021-002]
(forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt y x t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [020-002]
ns4:BFO_0000140
cf-boundary
ContinuantFiatBoundary
b is a continuant fiat boundary = Def. b is an immaterial entity that is of zero, one or two dimensions and does not include a spatial region as part. (axiom label in BFO2 Reference: [029-001])
Every continuant fiat boundary is located at some spatial region at every time at which it exists
(iff (ContinuantFiatBoundary a) (and (ImmaterialEntity a) (exists (b) (and (or (ZeroDimensionalSpatialRegion b) (OneDimensionalSpatialRegion b) (TwoDimensionalSpatialRegion b)) (forall (t) (locatedInAt a b t)))) (not (exists (c t) (and (SpatialRegion c) (continuantPartOfAt c a t)))))) // axiom label in BFO2 CLIF: [029-001]
continuant fiat boundary
b is a continuant fiat boundary = Def. b is an immaterial entity that is of zero, one or two dimensions and does not include a spatial region as part. (axiom label in BFO2 Reference: [029-001])
(iff (ContinuantFiatBoundary a) (and (ImmaterialEntity a) (exists (b) (and (or (ZeroDimensionalSpatialRegion b) (OneDimensionalSpatialRegion b) (TwoDimensionalSpatialRegion b)) (forall (t) (locatedInAt a b t)))) (not (exists (c t) (and (SpatialRegion c) (continuantPartOfAt c a t)))))) // axiom label in BFO2 CLIF: [029-001]
ns4:BFO_0000141
immaterial
ImmaterialEntity
immaterial entity
ns4:BFO_0000142
1d-cf-boundary
OneDimensionalContinuantFiatBoundary
(iff (OneDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (OneDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [032-001]
one-dimensional continuant fiat boundary
(iff (OneDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (OneDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [032-001]
ns4:BFO_0000144
process-profile
ProcessProfile
b is a process_profile =Def. there is some process c such that b process_profile_of c (axiom label in BFO2 Reference: [093-002])
(forall (x y) (if (processProfileOf x y) (and (properContinuantPartOf x y) (exists (z t) (and (properOccurrentPartOf z y) (TemporalRegion t) (occupiesSpatioTemporalRegion x t) (occupiesSpatioTemporalRegion y t) (occupiesSpatioTemporalRegion z t) (not (exists (w) (and (occurrentPartOf w x) (occurrentPartOf w z))))))))) // axiom label in BFO2 CLIF: [094-005]
(iff (ProcessProfile a) (exists (b) (and (Process b) (processProfileOf a b)))) // axiom label in BFO2 CLIF: [093-002]
process profile
b is a process_profile =Def. there is some process c such that b process_profile_of c (axiom label in BFO2 Reference: [093-002])
(forall (x y) (if (processProfileOf x y) (and (properContinuantPartOf x y) (exists (z t) (and (properOccurrentPartOf z y) (TemporalRegion t) (occupiesSpatioTemporalRegion x t) (occupiesSpatioTemporalRegion y t) (occupiesSpatioTemporalRegion z t) (not (exists (w) (and (occurrentPartOf w x) (occurrentPartOf w z))))))))) // axiom label in BFO2 CLIF: [094-005]
(iff (ProcessProfile a) (exists (b) (and (Process b) (processProfileOf a b)))) // axiom label in BFO2 CLIF: [093-002]
ns4:BFO_0000145
r-quality
RelationalQuality
b is a relational quality = Def. for some independent continuants c, d and for some time t: b quality_of c at t & b quality_of d at t. (axiom label in BFO2 Reference: [057-001])
(iff (RelationalQuality a) (exists (b c t) (and (IndependentContinuant b) (IndependentContinuant c) (qualityOfAt a b t) (qualityOfAt a c t)))) // axiom label in BFO2 CLIF: [057-001]
relational quality
b is a relational quality = Def. for some independent continuants c, d and for some time t: b quality_of c at t & b quality_of d at t. (axiom label in BFO2 Reference: [057-001])
(iff (RelationalQuality a) (exists (b c t) (and (IndependentContinuant b) (IndependentContinuant c) (qualityOfAt a b t) (qualityOfAt a c t)))) // axiom label in BFO2 CLIF: [057-001]
ns4:BFO_0000146
2d-cf-boundary
TwoDimensionalContinuantFiatBoundary
(iff (TwoDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (TwoDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [033-001]
two-dimensional continuant fiat boundary
(iff (TwoDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (TwoDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [033-001]
ns4:BFO_0000147
0d-cf-boundary
ZeroDimensionalContinuantFiatBoundary
(iff (ZeroDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (ZeroDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [031-001]
zero-dimensional continuant fiat boundary
(iff (ZeroDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (ZeroDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [031-001]
0
ns4:BFO_0000148
0d-t-region
ZeroDimensionalTemporalRegion
temporal instant.
(forall (x) (if (ZeroDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [102-001]
zero-dimensional temporal region
(forall (x) (if (ZeroDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [102-001]
v1:Basic_State
A basic state represnts the restriction that one must state must finish before another state begins, the probability of another state happening is 100% and is not based around any particular parameters or functions.
basic state
v1:DataRole
A role a particular piece of data has i.e. a field in a program, a form, a attribute etc.
data role
1
v1:Dependent_Process
A dependent process places restrictions on state transitions such that there are restrictions on concurrent events, this model is deterministic in that all states and sub processes must come to an end.
dependent process
v1:Exclusive_State_Driven_Process
Exclusive State Driven Process
v1:Independent_Process
""\"\"\""An independent process is defined as one which can overlap infinetly many times with some other process or process state at any given point in time. Thus a process is considered concurrent.
An example would be a multi core processor running several threads at a time."\\\"\"\"""
independent process
v1:Nested_Process
A nested process represents a process that allows other processes to concurrently run but end when the parent process (outside process) terminates.
nested process
v1:OWLClass_1d2299fa_f478_4421_ad84_15d765ed157c
approximate
v1:OWLClass_20cfe3d6_b9bf_43af_a299_a906982d1e36
exact
v1:OWLClass_2c4397b1_1461_4c39_9026_a63c17619e1e
uncountable
v1:OWLClass_49a47c21_5fc1_4e7f_8559_4bd318376bda
datatype property
v1:OWLClass_66b7cc01_fbb4_44e0_b8ff_5d4a52878143
finite
v1:OWLClass_66eddafd_b562_47f7_8dd1_0824f5c9a805
bounded
v1:OWLClass_725be624_3f6f_4cd1_8572_d5f4aa102946
numericalness
v1:OWLClass_93d4c7cf_65d2_4323_90bc_42150dd91497
cardinality
v1:OWLClass_a3edb151_8bf7_419e_9f17_1a31a5aa9481
exactness
1
v1:OWLClass_a7a0d05a_5751_4a9b_9690_7eb12c92257b
non numerical
v1:OWLClass_a80cdeb5_5258_4c9d_a892_e1f2f3772bc6
boundedness
v1:OWLClass_ecb32c7f_9a86_4e4e_a7d7_e86c68487b09
unbounded
v1:Probabilstic_State
A probabilistic state represnts a state transition that is based around some probability or function that determines the likelyhood of a particular transformation happening.
Probabilistic State
v1:classifier
Used to group data elements that are related but not necessairly the same in key attributes. Examples include EPA size classification which goes by interior volume but this can vary widely depending on vehicle configuration.
Classifiers should be used to group subjects and their instances via larger catch-bags.
classifier
v1:complex_measurement_datum
Measurement Datums for complex types involving multiple fields
v1:countable
countable
v1:equal
v1:equality
equality
v1:geographic_location
This represents some geographic location on the earth where an entity is located, it may represent the coordinates of a building or an address of a house.
geographic location
v1:inequal
v1:length_measurement_datum
Length measures are used for dimensions of something or someone
length measurement datum
v1:length_unit
A unit of distance between two points i.e. cm, mm, in, m etc.
length unit
v1:measurement
Capture a persons height in cm
IndividualPerson hasHeight heightDatum(hasValue 176, hasValue 'cm')
Measurements seek to capture some numeric or statistical measure of a particular entity
measurement datum
v1:measurement_unit_label
Provides the ability to label datatypes as particular units rather than simply numbers or letters.
measurement unit label
v1:meta_data_content_entity
When capturing a persons height one may want to capture the value in feet and in cm and will use meta data to capture the unit as well.
These entities represent descriptors about universals they describe like metadata in a file that captures time and size.
Metadata is also used for capturing units along with the data itself.
meta data
1
v1:numerical
2
0
0
v1:process_part
""\"\"\""A part of a process such as a step or stage
Each process has at last two boundaries a start boundary and stop boundary that represents when it occured in time
A sequence represents the order of which the process_part exists in a process allowing branches to occur to a specified processSequence"\\\"\"\"""
v1:scalar_measurement_datum
Scalar Measurement Datums capture a single data point along with the unit it is captured in. This is the most common case of measurement datum and should be used whenever possible.
scalar measurement datum
v1:subject
Note a subject is not disjoint with material entity or immaterial entity meaning your subject can be material (a person) or immaterial (an organization)
The universal for which we are capturing data for or about. It defines the entity for which we want to relate captured content to. i.e a car, a person, an animal etc.
1
v1:time_measurement_datum
Represents an epoch time
time measurement datum
v1:time_unit
A measurement unit of time i.e. seconds, minutes etc.
time unit
owl:Thing
en
1
1
Person:Alan Ruttenberg
Capability: Can construct a process based on differing control flow?
Capability: Has the ability to re-classify existing data?
Selection: Has the ability to query based on time?
Capability: Has the ability to assign units of measure to data captured?
Capability: Has support for the construction of complex structures composed of several types allowing existing structures to mimicked?
Capability: Has the ability to assign qualities to data type?
Counting: What is the amount of captured aggregates?
Selection: Can query based on data type and by data structure?
The Data Collection Ontology (DCO) is an ontology designed for data collection providing classes and relations on top of the Basic Formal Ontology (BFO) to facilitate data collection processes, subjects, and data anaylsis through the use of classifiers.
DCO is based on the notion of reasoning to validate incoming data through their definitions based on classifiers.
Capability: Has the ability to assign expected types to individuals allowing automatic classification using the reasoner with a fallback?
Capability: Has the ability to apply universal time across the ontology?