Analysis History

Ontology Analysis History
File Name Size Upload Date Analysis Count Source Actions
LegalFacts_3.owl 0.9 KB 2025-08-02 15:23 1 Sandbox
DigitalObjects.owl 0.9 KB 2025-08-02 15:23 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-02 15:23 1 Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-02 15:23 1 Sandbox
OntologyIDAnonymous-275165.owl 0.9 KB 2025-08-02 14:25 1 Sandbox
legal_ontology_cleaned.owl 12.7 KB 2025-08-02 14:25 1 Sandbox
OntologyIDAnonymous-275165.owl 0.9 KB 2025-08-02 14:24 1 Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-02 14:24 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-02 14:24 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-02 14:24 1 Sandbox
converter.owl 0.9 KB 2025-08-02 14:24 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-02 14:24 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-02 14:23 1 Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-02 14:23 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-02 14:16 1 Sandbox
DigitalObjects.owl 0.9 KB 2025-08-02 13:53 1 Sandbox
LegalFacts.owl 0.9 KB 2025-08-02 13:53 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-02 13:52 1 Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-02 13:52 1 Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-02 13:52 1 Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-02 13:52 1 Sandbox
LegalFacts_2_1.owl 0.9 KB 2025-08-02 13:52 1 Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-02 13:52 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-02 13:51 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-02 13:51 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-02 13:51 1 Sandbox
legal_ontology_cleaned.owl 0.9 KB 2025-08-02 13:51 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-02 13:51 1 Sandbox
LegalFacts_1.owl 0.8 KB 2025-08-02 13:51 1 Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-02 13:51 1 Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-02 13:50 1 Sandbox
DigitalObjects.owl 0.9 KB 2025-08-02 13:44 1 Sandbox
converter.owl 0.9 KB 2025-08-02 13:44 1 Sandbox
legal_ontology_cleaned.owl 12.7 KB 2025-08-02 13:44 1 Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-02 13:44 1 Sandbox
LegalFacts.owl 0.9 KB 2025-08-02 13:43 0 Sandbox
LegalFacts.owl 0.9 KB 2025-08-02 12:49 1 Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-02 12:48 1 Sandbox
DigitalObjects.owl 0.9 KB 2025-08-02 11:07 1 Sandbox
integrated_ontology_cyberspace_1.owl 0.9 KB 2025-08-02 11:06 1 Sandbox
integrated_ontology_cyberspace_1.owl 0.9 KB 2025-08-02 11:05 1 Sandbox
ontology_contract.owl 0.8 KB 2025-08-02 11:03 1 Sandbox
Democracy.owl 0.8 KB 2025-08-02 11:03 1 Sandbox
integrated_ontology_cyberspace_1.owl 0.8 KB 2025-08-02 11:02 1 Sandbox
LegalFacts_1.owl 0.8 KB 2025-08-02 11:02 1 Sandbox
DigitalObjects.owl 0.8 KB 2025-08-02 11:01 1 Sandbox
integrated_ontology_cyberspace_1.owl 0.8 KB 2025-08-02 11:01 1 Sandbox
Litigation_Ontology_1.owl 0.8 KB 2025-08-02 11:01 1 Sandbox
bfo.owl 0.8 KB 2025-08-02 11:00 1 Sandbox
integrated_ontology_cyberspace_1.owl 0.8 KB 2025-08-02 10:45 1 Sandbox
DigitalObjects.owl 0.8 KB 2025-08-02 10:44 1 Sandbox
DigitalObjects.owl 0.8 KB 2025-08-02 10:44 1 Sandbox
LegalFacts_1.owl 0.8 KB 2025-08-02 10:41 1 Sandbox
full_corporate_ontology_structured.owl 10.4 KB 2025-08-02 05:07 1 Sandbox
FOL Expression Test History
Expression Test Date Valid Classes Used Non-BFO Terms
forall x forall t (instance_of(x, continuant, t) -... 2025-07-10 11:37 Valid 1 0
forall x forall t (instance_of(x,continuant,t) -> ... 2025-07-03 14:31 Valid 1 0
forall p forall t (instance_of(p,process,t) -> occ... 2025-05-28 19:00 Valid 1 0
forall x (instance_of(x,continuant,t) -> exists_at... 2025-05-27 03:34 Invalid 0 0
forall x forall t (instance_of(x,continuant,t) -> ... 2025-05-22 01:12 Valid 1 0
forall x forall t (instance_of(x,continuant,t) -> ... 2025-05-21 22:58 Valid 1 0
forall x forall t (instance_of(x,continuant,t) -> ... 2025-05-21 22:52 Valid 1 0
forall x forall t (instance_of(x,continuant,t) -> ... 2025-05-21 22:50 Invalid 1 0
forall x forall t (instance_of(x,continuant,t) -> ... 2025-05-21 22:49 Invalid 1 0
forall x forall t (instance_of(x,continuant,t) -> ... 2025-05-21 22:49 Invalid 1 0
forall x forall t (instance_of(x,continuant,t) -> ... 2025-05-21 22:48 Invalid 1 0
forall p forall t (instance_of(p,process,t) -> occ... 2025-05-21 20:14 Invalid 1 0
forall x forall t (instance_of(x,continuant,t) -> ... 2025-05-21 20:14 Invalid 1 0
exists a (occurs_in(a,a)) 2025-05-19 17:40 Valid 0 0
exists a exists occurs_in (a, a) 2025-05-19 17:38 Invalid 0 0
occurs_in(a, a) 2025-05-19 17:38 Invalid 0 0
exists a occurs_in(a, a) 2025-05-19 17:36 Invalid 0 0
P(x) -> Q(y) 2025-05-12 12:30 Invalid 0 0
forall x forall t (instance_of(x, custom_class, t)... 2025-05-12 12:19 Invalid 0 1
"forall x forall t (instance_of(x, custom_class, t... 2025-05-12 12:19 Invalid 0 0