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
  • realizable entity ID: realizable_entity
  • process
  • spatial region ID: spatial_region
  • independent continuant ID: independent_continuant
  • specifically dependent continuant ID: specifically_dependent_continuant
  • generically dependent continuant ID: generically_dependent_continuant
  • occurrent
  • process boundary ID: process_boundary
  • site
  • material entity ID: material_entity
  • entity
  • temporal region ID: temporal_region
  • disposition
  • spatiotemporal region ID: spatiotemporal_region
  • continuant
  • history
  • temporal instant ID: temporal_instant
  • immaterial entity ID: immaterial_entity
  • two-dimensional spatial region ID: two-dimensional_spatial_region
  • zero-dimensional spatial region ID: zero-dimensional_spatial_region
  • one-dimensional spatial region ID: one-dimensional_spatial_region
  • role
  • quality
  • fiat object part ID: fiat_object_part
  • object aggregate ID: object_aggregate
  • three-dimensional spatial region ID: three-dimensional_spatial_region
  • continuant fiat boundary ID: continuant_fiat_boundary
  • object
  • function
  • one-dimensional temporal region ID: one-dimensional_temporal_region
  • zero-dimensional temporal region ID: zero-dimensional_temporal_region
  • fiat line ID: fiat_line
  • fiat point ID: fiat_point
  • relational quality ID: relational_quality
  • fiat surface ID: fiat_surface
  • temporal interval ID: temporal_interval
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))