FOL-BFO-OWL Expression Tester

Upload Ontology

Upload OWL files for analysis and validation

Upload File
Build Ontology

Create ontologies in the interactive sandbox

Open Sandbox
View History

Browse your analysis history and results

View History
Learn More

About FOL-BFO-OWL testing and syntax

Learn More
Test Your FOL Expression
Use BFO standard syntax with instance_of(x,Class,t) format for class membership. Note: Both formats are supported: instance_of(x,Class,t) and traditional Class(x). View full syntax guide
Analyze Ontology

Want to analyze a complete OWL file instead? Upload your ontology to:

  • Extract all axioms
  • Check for consistency
  • Identify contradictions
  • Generate a complete report
Upload OWL File
Test Results
Expression:
Format detected:
Issues:
BFO Classes Used
BFO Relations Used
Non-BFO Terms
Available BFO Classes
  • Entity
  • Continuant
  • Occurrent
  • Independent Continuant ID: independent_continuant
  • Specifically Dependent Continuant ID: specifically_dependent_continuant
  • Generically Dependent Continuant ID: generically_dependent_continuant
  • Process
  • Material Entity ID: material_entity
  • Immaterial Entity ID: immaterial_entity
  • Spatial Region ID: spatial_region
  • Quality
  • Realizable Entity ID: realizable_entity
  • Role
  • Disposition
  • Function
  • Site
  • Object
  • Object Aggregate ID: object_aggregate
  • Fiat Object Part ID: fiat_object_part
  • Process Boundary ID: process_boundary
  • Temporal Region ID: temporal_region
  • Continuant Fiat Boundary ID: continuant_fiat_boundary
  • Zero Dimensional Spatial Region ID: zero_dimensional_spatial_region
  • One Dimensional Spatial Region ID: one_dimensional_spatial_region
  • Two Dimensional Spatial Region ID: two_dimensional_spatial_region
  • Three Dimensional Spatial Region ID: three_dimensional_spatial_region
  • History
  • Relational Quality ID: relational_quality
  • Spatiotemporal Region ID: spatiotemporal_region
  • Temporal Instant ID: temporal_instant
  • Connected Temporal Region ID: connected_temporal_region
  • Scattered Temporal Region ID: scattered_temporal_region
  • Process Profile ID: process_profile
Available BFO Relations
  • Part Of ID: part_of
  • Has Part ID: has_part
  • Located In ID: located_in
  • Location Of ID: location_of
  • Contained In ID: contained_in
  • Contains
  • Participates In ID: participates_in
  • Has Participant ID: has_participant
  • Bearer Of ID: bearer_of
  • Inheres In ID: inheres_in
  • Realized In ID: realized_in
  • Realizes
  • Exists At ID: exists_at
  • Instance Of ID: instance_of
  • Occurs In ID: occurs_in
  • Has Quality ID: has_quality
  • Quality Of ID: quality_of
  • Has Material Basis ID: has_material_basis
  • Material Basis Of ID: material_basis_of
  • Concretizes
  • Concretization Of ID: concretization_of
  • Has First Instant ID: has_first_instant
  • Has Last Instant ID: has_last_instant
  • Preceded By ID: preceded_by
  • Precedes
  • Spatially Contains ID: spatially_contains
  • Spatially Contained In ID: spatially_contained_in
  • Temporally Contains ID: temporally_contains
  • Temporally Contained In ID: temporally_contained_in
  • Temporal Part Of ID: temporal_part_of
  • Has Temporal Part ID: has_temporal_part
Example Expressions

forall x,t (instance_of(x,continuant,t) -> exists_at(x,t))

forall p,t (instance_of(p,process,t) -> occurs_in(p,t))

forall x,t (instance_of(x,material_entity,t) -> instance_of(x,independent_continuant,t))